Potential Maximal Clique Algorithms for Perfect Phylogeny Problems
Kloks、Kratsch和Spinrad展示了树宽和最小填充、与最小三角剖分相关的NP-难组合优化问题如何通过由最小分隔符定义的块子图分解成子问题。这些想法被Bouchitté和Todinca扩展,他们使用潜在的最大团来解决这些问题,使用动态规划方法在图的最小分隔符的数量的时间多项式中。众所周知,完美共生问题、最大相容问题和唯一完美共生问题的解都是由划分交图的最小三角剖分刻画的。在本文中,我们证明了类似于Bouchitté和Todinca提出的技术可以用来解决缺失数据的完美共生问题,缺失数据的两状态最大相容问题,以及在时间多项式中缺失数据的唯一完美共生问题。
2013-03-16 cs.CE cs.DM cs.DS
Coarse Balanced Separators in Biclique-Induced-Minor-Free Graphs
Princeton University(普林斯顿大学)
针对双团诱导子式无图且团数有界的一类图,证明了粗树宽猜想的一个加强版本:存在半径r'使得图有树分解,每个袋可被有界个半径为r'的球覆盖。
2026-07-03 math.CO
Finding non-bisimplicial and triad-free minimal separators
Princeton University(普林斯顿大学)
该研究针对图论中极小分离集相关问题,解决了k=2情形下双单纯极小分离集判定及无三元组u-v分离集寻找的多项式时间算法问题,填补了复杂度缺口。
2026-10-15 cs.DS math.CO
Clique-Stable Set separation in perfect graphs with no balanced skew-partitions
受Yannakakis关于完美图的顶点填充多面体问题的启发,本文研究了完美图的一个非遗传子类的顶点稳定集分离问题。G的割(B,W)(V(G)的二分划)分离团K和稳定集S,如果$K\subseteq B$和$S\subseteq W$ .一个团稳定集分离子是一个割族,使得对于每个团K,以及对于每个与K不相交的稳定集S,在这个族中存在一个分离K和S的割。给定一个图类,问题是要知道是否每一个图类允许一个C-稳定集分离器只包含多项式许多削减。它对所有图的类是开放的,也对完美图是开放的,这是Yannakakis的原始问题。本文研究了不具有平衡斜划分的完美图,平衡斜划分是在强完美图定理的证明中引入的。最近,Chudnovsky,Trotignon,Trunck和Vuskovic证明了禁止这种不友好的分解允许使用2-连接和补2-连接递归分解Berge图,直到达到基本图,并且他们发现了一种有效的组合算法来着色这些图。利用2-join在这一性质上的良好行为,我们应用他们的分解结果证明了没有平衡斜划分的完美图允许二次大小的Cx-Stable集分离子.然后我们推广了这个结果,并证明了强Erdos-Hajnal性质在这类图中成立,这意味着每个这样的图都有一个线性大小的biclique或补biclique。这个性质并不适用于所有的完美图(Fox 2006),而且当强Erdos-Hajnal性质在一个遗传类的…
2016-02-15 cs.DM math.CO
Independent sets in edge-clique graphs II
我们证明了鸡尾酒会图的边团图具有无界的秩宽。这一点和其他观察使我们猜想,边团覆盖问题是NP-完全的cographs。证明了余图的边团图的独立集问题。证明了无奇轮图的边团图的独立集问题是NP-完全的。我们提出了一个可平面图的PTAS,并证明了对于不含三角形分隔符的可平面图,该问题是多项式的。
2013-05-06 cs.DM math.CO
On the Number of Minimal Separators in Graphs
我们考虑一个n阶图最多能有多少个最小分隔符。给出了这个数在$O( ((1+\sqrt{5})/2)^n n )$中的一个新的证明。我们证明了这个数字是在$ω( 1.4521^n )$,以前的最佳下界$Ω(3^{n/3}) \subseteq ω( 1.4422^n )$的改进。这也给出了一个改进的下界图中的潜在的最大团的数量。我们要强调的是,我们的证明是简短、简单和基本的。
2015-04-02 cs.DM cs.DS math.CO
Clique-dependent strongly sublinear treewidth and strongly sublinear tree-independence number
Department of Mathematical, Physical and Computer Sciences, University of Parma(帕尔马大学数学、物理与计算机科学学院)
该论文证明遗传图类的强次线性树独立数与团数依赖的强次线性树宽等性质等价,并给出计算强次线性独立数树分解的亚指数时间算法。
2026-09-22 cs.DS math.CO
Bisimplicial separators
本文研究极小分隔子可由 $k$ 个团覆盖的图类 $\mathcal{G}_k$,证明其诱导子式封闭性、禁阻结构与结构性质,并给出相关优化和识别问题的复杂度结果及算法。
2023-12-17 cs.CC cs.DM cs.DS
Largest reduced neighborhood clique cover number revisited
设$G$是一个图,而$t\ge 0$ .由${\hatβ}_t(G)$表示的$G$的最大缩减邻域团覆盖数是可以覆盖$H$中顶点的任何闭合邻域的最小数目的团中的最大的、$G$的总体$t$ -浅子$H$。已知${\hatβ}_t(G)\le s_t$,其中$G$是一个不可比图,$s_t$是同构于$s_t$叶上诱导星的最大$t-$浅子图中的叶数.在本文中,我们给出了一个概述的性质${\hatβ}_t(G)$,包括连接到最大约化平均密度的$G$,或$\bigtriangledown_t(G)$,介绍了一类图的有界邻域团覆盖数,并推导出一个简单的下限和上界这个重要的图参数。我们宣布两个apturtures,一个值的${\hatβ}_t(G)$,另一个分离定理(相对于一定的措施)的一类有趣的图,即类的不可比图,我们怀疑有一个多项式有界的邻域集团覆盖数,当最大的诱导星的大小是有界的。
2017-05-07 math.CO
On tree-decompositions for infinite chordal graphs
University of Hamburg(汉堡大学)
研究无限弦图的树分解条件,证明无严格clique梳的弦图可分解为最大clique,并刻画允许有限clique分解的弦图特征。
2026-03-25 math.CO
On the largest reduced neighborhood clique cover number of a graph
设$G$是一个图,而$t\ge 0$.引入了一个新的图参数--$G$的最大约化邻域团覆盖数,记作${\hatβ}_t(G)$.具体地,${\hatβ}_t(G)$是最大的,整体$t$-浅子$H$的$G$,最小数目的团,可以覆盖$H$中的顶点的任何封闭邻域。我们验证${\hatβ}_t(G)=1$时,$G$是弦,和,${\hatβ}_t(G)\le s$,其中$G$是一个不可比图,没有一个$t-$浅未成年人是同构的诱导星$s$叶。此外,${\hatβ}_t(G)$的一般性质,包括连接到最大约化平均密度的$G$,或$\bigtriangledown_t(G)$的研究和调查。例如,我们展示了${{\hatβ}_t(G)\over 2}\le \bigtriangledown_t(G)\le p.{\hatβ}_t(G),$,其中$p$是最大完全图的大小,该图是$G$的$t-minor$。此外,我们证明了任何最小团覆盖的最大比例的最大独立集采取的整体$t-$子式的$G$是一个下界的${\hatβ}_t(G)$。我们进一步引入一类有界邻域团覆盖数,其中${\hatβ}_t(G)$对每个$t\ge 0$具有有限值,并验证了肥胖对象的几何相交图(深度没有限制)对该类的成员资格。这些结果支持了关于邻域团覆盖数为多项式有界的类图在一定测度下可能存在分离器定理的猜想。
2016-12-11 math.CO
Induced subgraphs and tree decompositions XV. Even-hole-free graphs with bounded clique number have logarithmic treewidth
本文证明了无偶洞图在团数有界时树宽至多为对数级,解决了 Sintiari 和 Trotignon 的猜想,并由此为若干 NP-难问题在该图类上给出多项式时间算法。
2024-05-03 math.CO
The optimal binding function for (cap, even hole)-free graphs
本文研究(cap, even hole)-free图的色数上界,通过团膨胀的等价条件,证明χ(G)≤⌈5/4ω(G)⌉,并进一步得到χ(G)≤⌈7/6ω(G)⌉的可达界。
2025-06-24 math.CO
Sharp quadratic $χ$-binding functions for powers of bipartite graphs
Indian Institute of Technology, Dharwad(印度理工学院达尔瓦德分校);Indian Institute of Science, Bengaluru(印度科学学院班加罗尔分校)
该研究构造二部图的r次幂,证明其色数为团数的二次函数,确立二部图平方的二次χ-绑定界的严格性,解决了相关开放问题。
2026-08-28 math.CO
Algorithmic Aspects of Switch Cographs
本文引入了对合模的概念,它是2-结构模分解的第一个推广,具有唯一的线性分解树。我们得到了一个O(n^2)的分解算法,我们利用对合模分解树来陈述几个算法结果。余图是模分解完全可分解的图。以类似的方式,我们引入了开关余图类,这类图是完全可分解的w.r.t对合模分解。这类图是上图类的推广,也是(Bull,Gem,Co-Gem,C_5)-free图类。我们使用我们的新的分解工具,设计了三个实用的算法的最大割,顶点覆盖和顶点分离器的问题。对于这类图,这些问题的复杂性仍然是未知的。利用分解树,给出了最大团、最大独立集、色数和最大团覆盖问题的有效算法,从而提高了问题的复杂度。最后,我们证明了这类图的CX-Width至多为4,并且CX-Width表达式可以在线性时间内计算。
2013-10-03 cs.DM math.CO
$χ$-binding function for a superclass of $2K_2$-free graphs
无$2K_2$图类在过去的各种背景下已经得到了很好的研究。本文研究了无$2K_2$图的一个超类--无$\{butterfly, hammer\}$图的色数,证明了具有$ω(G)\neq 2$的连通无$\{butterfly, hammer\}$图$G$允许$\binom{ω+1}{2}$作为$χ$ -结合函数,该函数也是无$2K_2$图子类的最佳$χ$ -结合函数.此外,我们证明了如果$H\in\{C_4+K_p, P_4+K_p\}$,则任何没有团大小为2的分量的无$\{butterfly, hammer, H\}$图$G$都允许线性$χ$ -结合函数.此外,我们还证明了任何连通无$\{butterfly, hammer, H\}$图$G$,其中$H\in \{(K_1\cup K_2)+K_p, 2K_1+K_p\}$,是$ω(G)\geq 2p$的完美图.
2022-07-17 math.CO
Polynomial $χ$-binding functions for $t$-broom-free graphs
对于任何正整数$t$,\emph{$t$-broom}是通过将边细分一次而从$K_{1,t+1}$获得的图。本文证明了:对于没有导出$t$ -簇的图$G$,我们有$χ(G) = o(ω(G)^{t+1})$,其中$χ(G)$和$ω(G)$分别是$G$的色数和团数.当$t=2$,这回答了Schiermeyer和Randerath的问题。此外,对于$t=2$,我们将$χ(G)$上的界加强到$7ω(G)^2$,证实了Sivaraman的一个猜想。对于$t\geq 3$和\{ $t$ -broom,$K_{t,t}$ \}-free图,我们将其界改进为$o(ω^{t})$ .
2022-11-29 math.CO
On $H$-Topological Intersection Graphs
Biró等人(1992)引入了$H$ -图,即图$H$的一个细分的连通子图的交图。它们与许多类几何交图有关,例如,区间图、圆弧图、分裂图和弦图。我们否定地回答了Biró等人25年前提出的一个问题,即对于一个固定的图$H$,$H$ -图是否可以在多项式时间内被识别。证明了如果$H$包含钻石图作为子图,则它是NP-完全的.对于每棵固定树$T$,我们提供了一个识别$T$ -图的多项式时间算法。当$T$是次数为$d$的星形$S_d$时,我们有一个$O(n^{3.5})$ -时间算法。分别给出了求解以$d$和$H$为参数的$S_d$ -图和$H$ -图的最小支配集问题的FPT-时间算法和XP-时间算法. $H$ -图的算法适用于$H$ -图的独立集和独立控制集问题的XP-时间算法。如果$H$包含双三角形作为子图,我们证明了$H$ -图是GI-完全的,团问题是APX-困难的.如果$H$是一个仙人掌图,那么团问题可以在多项式时间内得到解决.当图$G$具有Helly $H$ -表示时,团问题可以在多项式时间内得到解决.我们证明了在$H$ -图(由$k$和$H$的树宽参数化)上,$k$ -团和列表$k$ -着色问题都是FPT-时间可解的.事实上,这些结果适用于图类的树宽有界的一个函数的团数。我们观察到$H$ -图最多有$n^{O(\|H\|)}$最小分隔符,这允许我们应用Fomin et al.(2…
2021-06-10 cs.DM math.CO
Nearly optimal coloring of some C4-free graphs
该研究针对不含C₄及特定禁用子图的图类,通过刻画无团割集和泛团的相关图结构、建立其与Petersen图的关联,证明这类图是χ-polydet的且有近似最优线性绑定函数。
2024-09-11 math.CO
Odd clique minors and chromatic bounds of {3$K_1$, paraglider}-free graphs
本文研究独立数为 2 的图的奇团 minor 猜想,并针对不含 {3$K_1$, paraglider} 的图给出改进的最优线性色数界。
2025-08-31 math.CO
Moderately beyond clique-width: reduced component max-leaf and related parameters
Univ Lyon, CNRS, ENS de Lyon, Université Claude Bernard Lyon 1(里昂大学、法国国家科学研究中心、巴黎高等师范学院里昂分校、克洛德·贝尔纳里昂大学);Institute of Informatics, University of Warsaw(华沙大学信息学研究所);Department of Mathematics and Research Institute for Natural Sciences, Hanyang University(汉阳大学数学系与自然科学研究所);Discrete Mathematics Group, Institute for Basic Science (IBS)(基础科学研究院离散数学组)
本文引入缩减组件最大叶数参数,介于团宽与缩减带宽之间,探讨其在图类中的应用及扩展,证明了在稀疏类中,有限最大度数与有限树宽的关系,以及K_{t,t}-子图自由类与有限树宽的关系。
2026-04-21 cs.DM cs.DS math.CO
Chromatic bounds for some classes of $2K_2$-free graphs
一个图的遗传类$\mathcal{G}$是$χ$ -有界的,如果存在一个$χ$ -结合函数,比如说$f$,使得对于每个$G \in \cal{G}$,有$χ(G) \leq f(ω(G))$,其中$χ(G)$($ω(G)$)表示$G$的色(团)数.已知对每个$2K_2$ -free图,$G$,$χ(G) \leq \binom{ω(G)+1}{2}$,以及($2K_2, 3K_1$)-free图类不允许线性$χ$ -binding函数.在本文中,我们感兴趣的类$2K_2$ -自由图,承认一个线性$χ$ -绑定功能。我们证明了一类($2K_2, H$)-free图,其中$H\in \{K_1+P_4, K_1+C_4, \overline{P_2\cup P_3}, HVN, K_5-e, K_5\}$允许一个线性$χ$ -binding函数.另外,我们还证明了一些$2K_2$ -free图的超类是$χ$ -有界的.
2018-02-13 cs.DM math.CO
Product Structure and Treewidth of Hyperbolic Uniform Disk Graphs
Karlsruhe Institute of Technology(卡尔斯鲁厄理工学院)
本文研究了超几何均匀盘图的乘积结构与树宽,证明了具有常数团数的HUDGs不具有乘积结构,且当半径随顶点数增长时,HUDGs具有乘积结构。
2026-03-19 cs.CG cs.DM math.CO
The $χ$-binding function of $d$-directional segment graphs
本文研究至多d个斜率的线段交图的色数上界,构造了偶数团数下达到dω的图,并完全确定了d-DIR类的χ-绑定函数,推广了d=2的已有结果。
2025-02-05 cs.CG cs.DM math.CO
Colouring ($P_2\cup P_4$, diamond)-free graphs with $ω$ colours
Hong Kong University of Science and Technology(香港科技大学)
本文研究了($P_2\cup P_4$, diamond)-自由图的着色问题,证明了色数与 clique 数的关系,并改进了现有色数界限。
2026-08-11 math.CO
Coloring graph classes with no induced fork via perfect divisibility
对于图$G$,$χ(G)$表示它的色数,而$ω(G)$表示它的团数。一个图$G$被称为完全可分的,如果对于$G$的所有导出子图$H$,$V(H)$可以被划分为两个集合$A$,$B$,使得$H[A]$是完全的,并且$ω(H[B]) < ω(H)$ .一个整数值函数$f$称为遗传图类$\cal C$的$χ$ -结合函数,如果对每个图$G\in \cal C$都有$χ(G) \leq f(ω(G))$.叉是完全二部图$K_{1,3}$的一条边细分一次得到的图。找到一个多项式$χ$绑定功能的类fork-free图的问题是开放的。本文研究了几类无叉图的结构,特别是在完全可除性的背景下研究了无(fork,$F$)图类$\cal G$,其中$F$是一个稳定集为3的五点图,并证明了每个$G\in \cal G$都满足$χ(G)\leq ω(G)^2$ .我们还注意到类$\cal G$不允许线性$χ$绑定函数.
2021-04-06 cs.DM math.CO
Optimal chromatic bound for ($P_2\cup P_4$, HVN)-free graphs
Hong Kong University of Science and Technology(香港科技大学)
本文确定了当团数不小于4时,($P_2\bigcup P_4$, HVN)-无图的色数上界为团数的4/3向上取整,证明该界最优并统一了若干图类的χ-绑定函数结果。
2025-11-18 math.CO
On the chromatic number of some ($P_3\cup P_2$)-free graphs
本文研究不含$(P_3\cup P_2)$的图的$\u03c7$-有界性,分别给出不含kite、不含hammer、不含$C_5$的三类该类图的$\u03c7$-绑定函数上界,并探讨不含$K_4$的该类图的相关问题。
2023-08-29 math.CO
Linearly $χ$-Bounding $(P_6,C_4)$-Free Graphs
给定两个图$H_1$和$H_2$,一个图$G$是$(H_1,H_2)$ -free的,如果它不包含与$H_1$或$H_2$同构的子图.令$P_t$和$C_s$分别为$t$顶点上的路径和$s$顶点上的循环。本文证明了对任何无$(P_6,C_4)$的图$G$,有$χ(G)\le \frac{3}{2}ω(G)$,其中$χ(G)$和$ω(G)$分别是$G$的色数和团数. %我们的界限是由$C_5$和Petersen图得到的。我们的界限是由几个图,例如,五圈,彼得森图,彼得森图与一个额外的通用顶点,和所有$4$ -关键$(P_6,C_4)$ -自由图以外的$K_4$(见\cite{HH17})。新的结果统一了以前已知的结果存在的线性$χ$绑定功能的几个图形类。我们的证明是基于一个新的结构定理的$(P_6,C_4)$ -自由图,不包含团割集。利用这个结构定理,我们还设计了一个多项式时间的$3/2$ -近似算法,用于$(P_6,C_4)$ -free图的着色.我们的算法在$O(n^2m)$时间内计算任何$(P_6,C_4)$ -free图$G$的$\frac{3}{2}ω(G)$颜色的着色。
2019-02-13 cs.DM math.CO
Families of Linearly $χ$-bounded Graphs without Chair or its Induced Sub-graphs
本文研究不含Chair图或其诱导子图的图族,证明在多种诱导子图对限制下,色数可由最大团大小线性界定,并给出紧的线性χ-界。
2023-12-27 math.CO
Structure and coloring of a family of ($P_7, C_5$)-free graphs
本文研究了无 $(P_7, C_5$, kite, paraglider) 图的结构,证明了满足特定最小度条件的唯一连通非完美图的存在性,并得出该图族是 $χ$-polydet 的结论。
2024-07-29 math.CO
An optimal chromatic bound for ($P_2+P_3$, gem)-free graphs
本文研究($P_2+P_3$, gem)-free图的色数上界,构造并证明了一个分段线性函数是该图类的最小χ-绑定函数,给出了最优色数界。
2024-05-28 cs.DM math.CO
$χ$-binding functions for squares of bipartite graphs and its subclasses
本文研究二分图及其子类平方图的χ-有界性,证明凸二分图平方图的线性χ-绑定函数并给出3/2-近似着色算法,引入部可测试性质概念并证明双凸二分图平方图的完美性。
2023-12-14 cs.DM math.CO
An Optimal $χ$-Bound for ($P_6$, diamond)-Free Graphs
给定两个图$H_1$和$H_2$,如果一个图$G$不包含同构于$H_1$或$H_2$的导出子图,则它是$(H_1,H_2)$ -free图.设$P_t$是$t$顶点上的路,$K_t$是$t$顶点上的完全图.菱形是从$K_4$中去掉一条边后得到的图形。本文证明了每一个($P_6$,diamond)-free图$G$都满足$χ(G)\le ω(G)+3$,其中$χ(G)$和$ω(G)$分别是$G$的色数和团数.我们的界限是由著名的27-顶点Schläfli图的补图得到的。我们的结果统一了以前已知的结果存在的线性$χ$绑定功能的几个图形类。我们的证明是基于减少通过强完美图定理不完美($P_6$,钻石)免费的图形,仔细分析这些图形的结构,和计算机搜索,依赖于一个众所周知的3-colorphine $(P_6,K_3)$免费的图形的特征。
2018-09-03 cs.DM math.CO
(Theta, triangle)-free and (even hole, $K_4$)-free graphs. Part 2 : bounds on treewidth
本文证明了无(theta,三角形)图与无(偶洞,pyramid,$K_t$)图在排除特定导出子图后具有有界树宽,并通过证明大树宽图必含大团或大基数极小分离集来界定树宽。
2020-10-27 cs.DM math.CO
On algorithmic applications of sim-width and mim-width of $(H_1, H_2)$-free graphs
研究sim-width和mim-width有界图类上的算法应用,证明List k-Colouring在sim-width有界且可快速计算的图类上多项式可解,并推进(H1,H2)-free图的mim-width分类。
2023-03-15 cs.DM cs.DS math.CO
Tree-independence number VI. Thetas and pyramids
本文研究不含金字塔、theta及六边形网格线图细分图族的图类,证明其具有团规模对数依赖的树分解、独立数对数依赖的树分解及平衡分离子,并推广了此前关于此类图结构的主要定理。
2025-09-18 cs.DM cs.DS math.CO