Coloring claw-free graphs with Δ-1 colors
证明了在$Δ(G) \geq 9$顶点上不含团的无爪图$G$可以是$Δ(G) - 1$着色的.
2012-12-19 math.CO
Strongly Perfect Claw-free Graphs -- A Short Proof
一个图是强完美图,如果每个诱导子图H都有一个满足H的每个极大团的独立集.一个图是无爪的,如果没有一个顶点有三个两两不相邻的邻居。Ravindra在1990年给出了强完美无爪图的特征,Wang在2006年证明了这一特征。在这里,我们给出了一个较短的证明这个特征。
2020-11-09 math.CO
Local Clique Covering of Graphs
一个单图G的k-团覆盖是指G的一个边被它的团覆盖,使得每个顶点至多包含在k个团中。G允许k-团覆盖的最小k称为G的局部团覆盖数,记为$lcc(G)$。局部团覆盖数可以看作是团覆盖数的局部对应,其等于覆盖所有边的团的最小总数。在本文中,这个问题的几个方面进行了研究,并讨论了它与其他知名问题的关系。此外,我们还研究了无爪图及其子类的局部团覆盖数。特别地,证明了每个无爪图的局部团覆盖数至多为$cΔ/ \logΔ$,其中$Δ$是图的最大度,$c$是泛常数.它还表明,该界是紧的,直到一个常数因子。进一步证明了线性区间图的局部团数是由$\logΔ+ 1/2 \log \logΔ+ O(1)$限定的.最后,作为副产品,得到了一个新的集合系统相交对的Bollobas型不等式。
2012-10-25 math.CO
Covering Bridgeless Claw-Free Cubic Graphs with Perfect Matchings
School of Mathematics and Statistics, Zhengzhou University(郑州大学数学与统计学院)
本文证明Berge猜想对无桥无爪三次图成立,并给出四个完美匹配覆盖至少299/315边数的结果。
2026-10-12 math.CO
A characterization of claw-free CIS graphs and new results on the order of CIS graphs
一个图是CIS,如果它的每个极大团都与它的每个极大独立集相关.目前,没有一个好的特征或识别算法的CIS图是已知的。我们的特征图中,每一个最大的匹配饱和度至少为2的所有顶点,并使用这个结果给无爪CIS图的结构,有效地可测试的表征。我们回答了Dobson,Hujdurović,Milanitary和Verret [Vertex-transitive CIS graphs,European J. Combin. 44(2015)87-98],询问每个CIS图的顶点数是否由其团数和稳定数的乘积从上有界。在积极的一面,我们表明,问题的多布森等人。在无爪图的情况下,有一个肯定的答案。
2018-12-13 cs.DM math.CO
Geometric distance-regular graphs without 4-claws
一个非完全\drg $Γ$称为几何的,如果存在一个Delsarte团的集合$\mathcal{C}$,使得$Γ$的每条边位于$\mathcal{C}$中的唯一团中。本文确定了满足$\max \{3, 8/3}(a_1+1)\}<k<4a_1+10-6c_2$的非完全距离正则图。为了证明这一结果,我们首先通过考虑4-爪的不存在性证明了满足$\max \{3, \8/3}(a_1+1)\}<k<4a_1+10-6c_2$的非完全距离正则图是具有最小特征值-3的几何\drg.此外,我们分类的几何\drg的最小特征值-3。作为应用,排除了\cite [Chapter 14]{bcn}列表中的7个可行相交数组。
2011-01-03 math.CO math.SP
A note on simplicial cliques
基于凝聚态物理和量子信息论中的一个应用,我们证明了每个非零偶无洞无爪图都有一个单纯团,即团$K$,使得对于每个顶点$v \in K$,$v$在$K$之外的邻居集是团.事实上,我们证明了一个单纯团的存在性,在更一般的一类图所定义的禁止诱导子图。
2021-10-01 math.CO
Claw-freeness, 3-homogeneous subsets of a graph and a reconstruction problem
我们描述了图类$Forb\{K_{1,3}, \overline {K_{1,3}}\}$,使得$G$及其补图$ \overline{G}$是无爪的。除了少数例外,它是由图的连通组成部分包括长度至少为4的圈,路径或孤立顶点,以及这些图的补图。考虑由图$G$的顶点集的3元子集构成的超图${\mathcal H} ^{(3)}(G)$,$G$在其上导出一个团或一个独立子集,我们由此推出两个图$G$和$G'$的布尔和$G\dot{+}G'$的描述,给出同一超图.我们表明后一种描述的作用,在重建问题的图形互补。
2008-12-06 math.CO
Hilton-Milner Theorem for the $r$-independent sets in a union of cliques
本文提出了一种针对多个完全子图并集中的 $r$-独立集的希尔顿-米勒定理,扩展了之前对深度二爪图的研究,验证了Holroyd--Talbot猜想。
2025-11-24 math.CO
Compressed Cliques Graphs, Clique Coverings and Positive Zero Forcing
与图相关的迫零参数已经被研究了十多年,并且随着相关应用数量的增长而越来越受欢迎。特别是,众所周知,这些参数与某些顶点覆盖有关。继续沿着这些路线,我们调查的背景下,某些集团覆盖的正零强迫。这里考虑的一个关键对象是压缩团图。我们研究了一些与压缩团图相关的性质,包括:唯一性,禁止子图,连接到约翰逊图,和正迫零。
2015-08-28 math.CO
On Clique Coverings of Complete Multipartite Graphs
图$G$的团覆盖是指图$G$的一组团,使得$G$的任何边都包含在这些团中,团覆盖的权是其中团的大小之和.图$G$的sigma团覆盖数$scc(G)$定义为$G$的团覆盖的最小可能权.令$ K_t(d) $表示完全$ t $ -部图,其中每个部分的大小为$d$。本文证明了对任何固定的PDMATHAMR,都有$$\lim_{t \rightarrow \infty} scc(K_t(d))= \frac{d}{2} t\log t.$$.这证明了Davoodi,Javadi和Omoomi的一个猜想是错误的.
2018-09-05 math.CO
Claw-freeness, 3-homogeneous subsets of a graph and a reconstruction problem
我们描述了图类${\rm Forb}\{K_{1,3}, \bar {K_{1,3}}\}$,使得$G$及其补图$\bar{G}$是无爪的。除了少数例外,它是由图的连通组成部分组成的周期长度至少为4,路径,并补充这些图。考虑由图$G$的顶点集的3元子集构成的超图${\mathcal H}^{(3)}(G)$,$G$在其上导出一个团或一个独立子集,我们由此推出两个图$G$和$G'$的布尔和$G\dot{+}G'$的描述,给出同一超图.我们表明后一种描述的作用,在重建问题的图形互补。
2013-09-22 math.CO
Sigma clique covering of graphs
sigma团覆盖数(分别为sigma团划分数),记为sc(G)(分别为scp(G)),定义为存在G的团的集合的最小整数k,覆盖(分别为划分)G的所有边,使得团的大小之和至多为k。在本文中,在一些结果中,我们提供了一些紧界的SCC和SCP。
2015-03-09 math.CO
Claw-free graphs, skeletal graphs, and a stronger conjecture on $ω$, $Δ$, and $χ$
第二作者的$ω$,$Δ$,$χ$猜想提出每个图都满足$χ\leq \lceil \frac 12 (Δ+1+ω)\rceil$ .在本文中,我们证明了猜想成立的所有无爪图。我们的方法使用Chudnovsky和Seymour的结构定理。一路上,我们讨论了一个更强的局部猜想,并证明了它适用于具有三列补的无爪图。为了证明我们的结果,我们引入了一个非常有用的$χ$保持减少同质对集团,从而限制我们的观点,所谓的“骨架”图。
2012-12-13 cs.DM math.CO
Some results and problems on clique coverings of hypergraphs
对于$k$ -一致超图$F$,我们考虑参数$Θ(F)$,它是$F$的团覆盖的最小尺寸.我们推导出$F$属于不同类别的超图的$Θ(F)$的界。
2022-12-12 math.CO
Generalized covering designs and clique coverings
受Cameron [P. J. Cameron,A generalisation of t-designs,Discrete Math.309(2009),4835--4842]定义的“广义t-设计”的启发,我们定义了一类新的组合设计,其同时提供覆盖设计和覆盖阵列的推广。然后,我们得到了一些界限上的最小尺寸,这些设计,并描述了一些方法来构建它们,在某些情况下,我们证明是最佳的。我们的许多结果是从解释这些设计的图的团覆盖。
2011-03-22 math.CO
Domination, Eternal Domination, and Clique Covering
永恒和m-永恒控制涉及到使用移动卫士来保护图免受无穷序列在顶点的攻击。永恒支配允许一个守卫每次攻击移动,而在m-永恒支配模型中,每次攻击可以移动多个守卫。本文研究了由图的控制数、永恒控制数、m-永恒控制数、独立性和团覆盖数组成的不等式链。在其他结果中,我们刻画了控制和永恒控制数等于2的二部图和无三角图,具有相等m-永恒控制和团覆盖数的树,以及两类具有相等控制、永恒控制和团覆盖数的图。
2014-07-20 math.CO
Clique-coloring of $K_{3,3}$-minor free graphs
给定图$G$的团染色是对$G$的顶点的染色,使得大小至少为2的最大团都不是单色的。$G$的团色数是$G$允许团色的最少颜色数。证明了可平面图是$3$ -团可染的,而不同于奇圈的无爪可平面图是$2$ -团可染的.本文将这些结果推广到$K_{3,3}$ -minor free($K_{3,3}$ -subdivision free)图.
2019-09-15 cs.DM math.CO
Colouring squares of claw-free graphs
是否存在某个绝对$\varepsilon > 0$使得对任何无爪图$G$,$G$的平方色数满足$χ(G^2) \le (2-\varepsilon) ω(G)^2$,其中$ω(G)$是$G$的团数?埃尔德什和Nešethabil问这个问题的具体情况下,$G$线图的一个单图,这是回答肯定的莫洛伊和里德。我们表明,对更一般的问题的答案也是肯定的,而且它基本上简化为Erdos和Nešetziil的原始问题。
2017-07-18 cs.DM math.CO
Covering the edges of a random graph by cliques
图G的团覆盖数是指覆盖图G的边所需的最小团数。本文考虑随机图G(n,p),其中p是常数.证明了在概率为1-o(1)的情况下,G(n,p)的团数为Theta(n^2/ \log^2 n).
2011-03-24 math.CO
Minimum-excess coverings of complete graphs by 3-, 4-, and 5-cliques
VSB–Technical University of Ostrava(俄斯特拉发理工大学);University of Ostrava(俄斯特拉发大学);Charles University(查理大学)
研究用3、4、5阶团完全覆盖K_v的两层优化:第一层最小化边重复次数(过剩),第二层在最小过剩中最小化团数,确定所有v的最小过剩并给出部分精确值。
2026-10-01 math.CO
On the clique covering numbers of Johnson graphs
研究 Johnson 图的顶点团覆盖数,给出小参数情形的恒等式、小图计算值与一般界,并利用恒重 lexicode 构造特定 $J(2k,k)$ 的最优覆盖。
2025-02-20 math.CO
Improving the Delsarte bound
本文研究了具有固定最小特征值的充正则图的极大团的阶,并考虑了极大团的某些(但不是全部)顶点的邻点。因此,我们证明了,如果一个强正则图包含一个Delsarte团,那么参数$μ$是小或大。此外,我们得到了一个三次多项式,确保一个极大团在一个充分的正则图是小或大(在一定的假设下)。结合这三次多项式与爪界,我们排除了一个无限族的可行参数$(v,k,λ,μ)$强正则图。最后,我们提供了不存在的强正则图的参数$(v,k,λ,μ)$的最小特征值$-4, -5, -6$或$-7$。
2020-12-17 math.CO
A fast algorithm to remove proper and homogenous pairs of cliques (while preserving some graph invariants)
我们引入了一族约简,用于从图G中去除真的和齐次的团对。这个家庭概括了文献中提出的一些例程,主要是在无爪图的背景下。这些约简可以嵌入到一个简单的算法中,|E(G)|步骤建立一个新的图G',没有适当的和同质的集团对,并使G和G'同意一些相关的不变量(或属性)的值。
2011-03-14 cs.DM math.CO math.OC
Approximation algorithms on $k-$ cycle covering and $k-$ clique covering
给定一个权值为$\mathbf w: E\rightarrow Z^{|E|}_{+}$的加权图$G(V,E)$。$k-$圈覆盖是$E$的边子集$A$,使得$G-A$没有$k-$圈。$k-$圈覆盖的最小权是$k-$圈上的加权覆盖数,记为$τ_{k}(G_{w})$。本文设计了$k$为奇数时$k-$圈上加权覆盖数的一个$k-1/2$逼近算法。给定一个权值为$\mathbf w: E\rightarrow Z^{|E|}_{+}$的加权图$G(V,E)$。$k-$团覆盖是$E$的边子集$A$,使得$G-A$没有$k-$团。$k-$团覆盖的最小权是$k-$团上的加权覆盖数,记为$\widetilde{τ_{k}}(G_{w})$。本文设计了$k-$团上加权覆盖数的一个$(k^{2}-k-1)/2$逼近算法。最后讨论了完全图$K_{n}$中$k-$团覆盖与$k-$团填充之间的关系。
2018-07-18 cs.DM math.CO
Maximizing the number of vertices of an N-clique cover of the edges of a graph on N vertices
到目前为止,关于按团覆盖图的边的所有工作都集中在寻找覆盖图的最小团数上。在本文中,我们确定了覆盖一个图的团的数目与图的顶点数相同,并给出了在这种覆盖是可能的情况下,这些团的顶点数之和的上界。
2017-03-08 math.CO
On the difference between clique partition and clique covering numbers
College of Computer Science, Nankai University(南开大学计算机学院)
本文证明了图论中团划分数与团覆盖数之差的最大值相关量 \\(d_n\\) 的阶为 \\(\Theta(n^{4/3})\\),否定了 Erdős 等人关于 \\(d_n=O(n)\\) 的猜想。
2026-09-18 math.CO
Isolation partitions in graphs
本文证明最大度至多k的连通图(除k-团外)可划分为k+1个k-团隔离集,无爪次三次图(除3-圈外)可划分为4个圈隔离集,并推论k-正则图可划分为k+1个k-团隔离集。
2024-11-06 math.CO
Bandwidth of graphs resulting from the edge clique covering problem
设$n,k,b$是整数,$1 \le k-1 \le b \le n$是整数,$G_{n,k,b}$是图,其顶点是$\{0,\dots,n\}$的$k$ -元素子集$X$,$\max(X \cup Y) - \min(X \cup Y) \le b$是整数,$n,k,b$是整数,$1 \le k-1 \le b \le n$是整数,$n,k,b$是整数,$1 \le k-1 \le b \le n$是整数,$G_{n,k,b}$是图,其顶点是$\{0,\dots,n\}$的$X$,$\max(X)-\min(X) \le b$是整数,如果$\max(X \cup Y) - \min(X \cup Y) \le b$,则两个这样的顶点$X,Y$由一条边连接.这些图是通过将变换应用于带宽$b$的最大$k$ -均匀超图来生成的,该带宽$b$用于将(弱)边团覆盖问题减少到顶点团覆盖问题。因此,$G_{n,k,b}$的带宽是任何变换的$k$的最大可能带宽-带宽$b$的均匀超图。对于$b\geq \frac{n+k-1}{2}$,确定这些图的精确带宽。对于$b<\frac{n+k-1}{2}$,在$b=o(n)$和$b$在$n$中以因子$β\in (0,0.5]$线性增长的情况下,带宽是渐近确定的,其中有一种情况只能找到界,证明了这种开情况的上界是右渐近值.
2016-05-02 math.CO
Sharp bounds for covering with large cliques and independent sets
University of Oxford(牛津大学)
研究了图中每个顶点同时属于大小k1团和大小k2独立集的最小顶点数,证明了猜想并给出了更一般情况下的最优下界,还扩展到r-边着色完全图中的相关问题。
2026-04-22 math.CO
On the difference between clique partition and clique covering numbers of graphs
本文研究图的团划分数与团覆盖数的差值函数$f(n)$,针对Erdős等人提出的相关问题,通过证明$f(n)=\bigl\rfloor n^2/4\bigl\rfloor-\text{Θ}(n^{4/3})$,给出该问题的否定答案。
2026-08-13 math.CO
Some properties of minimally nonperfectly divisible graphs
Nanjing Normal University(南京师范大学)
本文研究了极小非完美可除图的性质,证明了特定类别的极小非完美可除图不包含团割集,回答了相关问题。
2026-03-05 math.CO
Eternal Domination and Clique Covering
利用大规模计算和解析方法研究了图的永恒控制数与团覆盖数之间的关系。在此过程中,我们回答了克洛斯特迈耶和明哈特的两个开放性问题。我们证明了永远控制数小于团覆盖数的最小图有$10$顶点。确定了永远控制数小于其团覆盖数的$10$ -顶点图和$11$ -顶点图的完全集.我们证明了具有此性质的最小无三角形图的阶为$13$,最小循环图也是如此。我们描述了一种生成无限族无三角形图和无限族永恒控制数小于其团覆盖数的循环图的方法。我们还考虑了可平面图和三次图。最后,我们证明了对任意整数$k \geq 2$,存在无穷多个图的控制数和永恒控制数等于$k$,且含有不是永恒控制集的控制集.
2022-02-21 cs.DM math.CO
Random subcube intersection graphs I: cliques and covering
本文研究了随机子立方体交图,即通过选择一个固定超立方体$Q_d$的子立方体的随机集合作为图的顶点,并在一对子立方体的交不为空时在它们之间设置一条边而得到的图.我们考虑这种图的动机是在一个大的网络中的顶点之间的模型“随机兼容性”。对于本文所考虑的两种模型,我们确定了覆盖底层超立方体$Q_d$和s-团出现的阈值。此外,我们提出了一些开放的问题。
2015-06-03 math.CO math.PR
On Intersection Representations and Clique Partitions of Graphs
有限简单图$G$的多族集合表示是集合的多族$\mathcal{F}$(不一定是不同的),其中每个集合表示$G$中的一个顶点,并且$\mathcal{F}$中的两个集合相交当且仅当两个对应的顶点相邻。对于图$G$,\textit{edge clique covering}(分别为\textit{edge clique partition})$\mathcal{Q}$是一组团,其中每条边都包含在$\mathcal{Q}$的一个成员\textit{at least}(分别为\textit{exactly})中。1966年,P. Erdös,A. Goodman和L. Pósa(The representation of a graph by set intercussions,\textit{Canadian J. Math.},\textbf{18},pp.106-112)指出,对于一个图,多族集合表示$\mathcal{F}$和边集的团覆盖$\mathcal{Q}$之间存在一一对应关系。此外,对于一个图,一个可以类似地具有一对一的对应关系之间的特定的多族集表示与相交大小最多为一和团分区的边缘集。1990年,S. McGuinness和R. Rees(On the number of distinct minimal club partitions and club covers of…
2008-04-29 math.CO
When do graph covers preserve the clique dynamics of infinite graphs?
本文研究无限图在三角覆盖映射下团动力学(收敛/发散)的保持性,给出反例并证明两类局部条件足以保证覆盖稳定性。
2025-03-28 math.CO
Integer round-up property for the chromatic number of some h-perfect graphs
一个图是h-完美的,如果它的稳定集多面体可以用非负性、团和奇洞约束完全描述。它是t-完全的,如果它没有大小为4的团。对于每个图$G$和每个$c\in\mathbb{Z}_{+}^{V(G)}$,$(G,c)$的加权色数是$G$的稳定集的多集$\mathcal{F}$的最小基数,使得每个$v\in V(G)$至少属于$\mathcal{F}$的$c_v$成员。证明了每个h-完美线图和每个t-完美无爪图$G$的色数都具有整数舍入性质:对于$G$的顶点上的每个非负整数权$c$,可以通过舍入其分数松弛得到$(G,c)$的加权色数.换句话说,$G$的稳定集多面体具有整数分解性质。我们的结果表明存在一个多项式时间算法来计算t-完全无爪图和h-完全线图的加权色数。最后,它们给出了Goldberg和Seymour关于边着色猜想的一个新的例子。
2014-06-03 math.CO math.OC
Perfect graphs with polynomially computable kernels
在有向图中,核是稳定且吸收的顶点子集。不是所有的有向图都有核,但Boros和Gurvich的一个定理保证了完美图的每个无圈-无圈定向都有核。然而,一个悬而未决的问题是在这样的有向图的核计算的复杂性状况。我们的主要贡献是证明了完美图的子族的新的多项式性结果,其中包括无爪完美图和弦图。我们的研究结果是基于两个图形操作的核心计算方法的设计:cnc-割集分解和平坦边缘的增强。我们还证明了,决定存在的内核-计算它,如果它存在-是多项式在每个方向的弦或圆弧图,即使不是cyclo-acyclic。
2018-01-07 cs.DM math.CO
Extremal graphs with local covering conditions
本文系统地研究了极值图论中的一个自然问题,即在满足一定的局部条件下,使一个顶点数固定的图中的边数最小化:每个顶点必须在一个固定图$H$的一个副本中.我们完全解决了这个问题时,$H$是一个团,以及更一般地当$H$是任何正则图的度至少约一半的顶点数。当$H$是Erdens-Rényi随机图时,我们也刻画了极图的特征.极值结构的形式与局部约束的极值结构类似,但又是一个复杂的问题:在所有度都有固定上界的图中,最大化固定团的副本数。
2020-03-06 math.CO
Covering minimal separators and potential maximal cliques in $P_t$-free graphs
一个图称为$P_t$ -free},如果它不包含一个$t$ -顶点路作为导出子图。虽然$P_4$ -free图是严格的余图,但对于$t \geq 5$的$P_t$ -free图的结构仍然知之甚少.一方面,经典的计算问题,如最大权独立集(MWIS)和$3$ -着色是不知道是NP-困难的$P_t$ -自由图的任何固定的$t$。另一方面,尽管付出了巨大的努力,但直到最近才发现$P_6$ -free graphs~[SODA 2019]中MWIS的多项式时间算法和$P_7$ -free graphs~[Combinatorica 2018]中的$3$ -Coloring。在这两种情况下,算法都依赖于对所考虑的图类的深入结构洞察。在$P_5$自由图~[SODA 2014]和$P_6$自由图~[SODA 2019]中的MWIS算法中的主要工具之一是所谓的分离器覆盖引理,该引理断言图中的每个最小分离器都可以被恒定数量顶点的邻域的并集覆盖。本文证明了这样一个命题推广到$P_7$ -free图,而在$P_8$ -free图中是假的.我们还讨论了类似的这样一个声明覆盖潜在的最大集团工会的邻域。
2020-03-27 cs.DM math.CO
A SAT-based Filtering Framework for Exact Coverings of K33 by Cliques of Order 3, 4 or 5
VSB – Technical University of Ostrava(俄斯特拉发科技大学);University of Ostrava(俄斯特拉发大学);Charles University(查理大学)
本文提出基于 SAT 的算法框架,用于确定 K33 边的精确覆盖所需 clique 数量,通过分层搜索管道和对称性减少等方法,得出 K33 需要至少 59 个 clique 的结论。
2026-09-23 math.CO
Near-perfect clique-factors in sparse pseudorandom graphs
证明了对任意$t\ge 3$,存在一个常数$c=c(t)>0$,使得任意具有第二大特征值$λ$且满足$λ\le c d^{t-1}/n^{t-2}$的$d$ -正则$n$ -顶点图都包含$K_t$的顶点不相交副本,该副本至多覆盖$n^{1-1/(8t^4)}$顶点.这为Krivelevich、Sudakov和Szábo的猜想[ \emph{Triangle factors in sparse pseudo-random graphs},Combinatorica \textbf{24}(2004),pp.~ 403--426]证明了对于一个适当小的绝对常数~ $c>0$,具有$n\in 3\mathbb{N}$和$λ\leq cd^{2}/n$的$(n,d,λ)$ -图含有三角形因子.
2018-06-01 math.CO
On Greedy Clique Decompositions and Set Representations of Graphs
1994年S. McGuinness证明了n-顶点图的任何贪婪团分解最多有$\lfloor n^2/4 \rfloor$团(图的贪婪团分解,J.图论18(1994)427-430),其中团分解是指边集的团划分,图的贪婪团分解是通过从图中逐个移除最大团直到图为空来获得的。这个结果解决了P. Winkler的一个猜想。一个单图G的多族集表示是一个不一定是相异的集合族,其中每个成员表示G中的一个顶点,并且两个集合的交是非空的当且仅当G中两个相应的顶点相邻。众所周知,对于图G,多族集表示与边集的团覆盖之间存在一一对应关系。此外,对于一个图,一个可以有一个一对一的对应关系之间的特定的多族集表示与相交大小最多为一和团分区的边缘集。本文研究了n-顶点图的不同集合表示的变形,包括求图的边集的相应团划分的贪婪方法。类似地,在这种情况下,我们得到了一个结果,任何贪婪团分解的n-顶点图有最多$\lfloor n^2/4 \rfloor$团。
2008-04-16 math.CO
Clique covers and decompositions of cliques of graphs
本文研究图的边与t顶点团的团覆盖和分解问题,证明了Erdős猜想及Dau等人猜想的分数松弛和渐近最优版本,方法结合Zykov对称化、Frankl-Rödl nibble与Szemerédi正则引理。
2026-09-16 math.CO
Kohayakawa's conjecture and clique coverings of complements of paths and cycles
College of Computer Science, Nankai University(南开大学计算机学院)
该研究证明了小早川关于$w(s)$上确界的猜想,解决了德卡恩等人的团覆盖猜想,还独立证明了路和圈补图团覆盖的阶估计,运用了克内泽尔图性质与Lovász局部引理。
2026-08-12 math.CO
Every fork-free graph is perfectly weight divisible
School of Mathematical Sciences, Shanghai Jiao Tong University(上海交通大学数学科学学院);School of Mathematics and Statistics, Jiangsu Normal University(江苏师范大学数学与统计学院);Department of Mathematics, Hong Kong University of Science and Technology(香港科技大学数学系)
本文证明了无fork图均满足完美权可分性,进而证实了Sivaraman关于无fork图完美可分性的猜想,为多项式χ-有界性研究提供了新结论。
2026-08-14 math.CO
Polynomial Compressibility and Forbidden Oriented Forests
School of Science, Shenyang Aerospace University(沈阳航空航天大学理学院)
该研究构造了有向图反例,反驳了有向团数有界时τ-有界性的多项式猜想,并证明禁止图产生多项式τ-有界类仅当基础图为森林,同时给出若干具体界。
2026-09-29 math.CO
Clique decompositions and covers for large graphs
Yau Mathematical Sciences Center, Tsinghua University(丘成桐数学科学中心,清华大学)
本文针对大图的团分解与覆盖问题,解决了Erdős等人提出的两个团相关猜想,确定了等号成立的情况,采用线性规划对偶性、图删除引理等方法完成证明。
2026-08-27 math.CO
Vertebrate interval graphs
脊椎动物区间图是一个区间图,其中一组独立顶点的最大大小等于最大团的数量。对于任意固定的$v \ge 1$,存在一个多项式时间算法来判定脊椎区间图是否允许顶点划分为爪数至多为$v$的两个诱导子图.特别地,当$v = 2$时,一个脊椎区间图是否可以划分为两个适当的区间图可以在多项式时间内决定。
2021-09-24 cs.DM cs.DS math.CO
Algorithms for square-$3PC(\cdot, \cdot)$-free Berge graphs
考虑一类不含奇洞、奇反洞和两个结点之间不含三条路径的图,使得任意两条路径诱导一个洞,且至少两条路径的长度为2.这类图推广了无爪Berge图和无平方Berge图。我们给出了一个复杂度为$O(n^{7})$的组合算法来寻找这样一个图的最大权团。我们还考虑了几个与此类相关的子图检测问题。
2013-09-03 cs.DM math.CO
A Unified Graph-Theoretic Framework for Free-Fermion Solvability
本文提出统一图论框架,证明当量子自旋系统的挫败图为无爪图且含单纯团时可用自由费米子精确求解,从而统一并推广了广义Jordan-Wigner变换与Fendley四费米子解法。
2023-05-25 cond-mat.str-el math.CO quant-ph
Covering Italian domination in graphs
对于图$G=(V(G),E(G))$,$G$的意大利控制函数(ID函数)是函数$f:V(G)\rightarrow \{0,1,2\}$,使得对于每个顶点$v\in V(G)$具有$f(v)=0$,$f(N(v))\geq2$,即,存在顶点$u \in N(v)$具有$f (u) = 2$,或者存在两个顶点$x,y\in N(v)$具有$f(x)=f(y)=1$。函数$f:V(G)\rightarrow \{0,1,2\}$是$G$的覆盖意大利控制函数(CID函数),如果$f$是ID函数,并且$\{v\in V(G)\mid f(v)\neq0\}$是顶点覆盖集。覆盖意大利控制数(CID数)$γ_{cI}(G)$是在$G$的所有CID函数上采取的最小权重。本文研究了图的CID数。我们表明,这个参数的计算问题是NP-困难的,即使限制到一些著名的家庭的图,并找到一些界限这个参数。我们刻画了图的CID数达到其顶点覆盖数的上界两倍的图族以及CID数达到其阶数的下界一半的所有无爪图。我们也给出了一些具有小或大CID数的图族的特征。
2020-04-06 math.CO
Biclique Coverings and the Chromatic Number
考虑一个图$G$,它的色数为$k$,图中有一组完全二分图或二分图,它们覆盖了图$G$的边。我们证明了以下两个结果:\medskip \noindent $\bullet$如果二分格划分$G$的边,则它们的个数至少为$2^{\sqrt{\log_2 k}}$。这是对$\log_2 k$的易下界的第一次改进,而Alon-Saks-Seymour猜想指出这可以改进为$k-1$。\medskip \noindent $\bullet$双列的阶数之和至少为$(1-o(1))k\log_2 k$。这推广了,在渐近形式,一个结果的卡托纳和Szemerédi谁证明了最低是$k\log_2 k$时,$G$是一个集团。
2009-03-17 math.CO
Revisiting path-type covering and partitioning problems
覆盖问题是图论的基础。在图论中有几种类型的覆盖问题,如用星覆盖顶点集(控制问题),用团覆盖顶点集(团覆盖问题),用独立集覆盖顶点集(着色问题),用路或圈覆盖顶点集。一个类似的概念,即划分问题也同样重要。近年来,由于图论在工程和科学中的广泛应用,使得图论的研究得到了空前的发展。路的覆盖与划分问题本身已经产生了相当数量的文献。对这些问题的研究正在向多个方向扩展,研究论文的数量正在爆炸式增长。现在是时候简化和统一不同类型的覆盖和划分问题的文献。本文考虑的问题有路径覆盖问题、诱导路径覆盖问题、等距路径覆盖问题、路径划分问题、诱导路径划分问题和等距路径划分问题。本文对这些问题的研究进展进行了综述,对相关文献进行了分类,并对相关概念之间的相互关系进行了关联。
2018-07-25 math.CO math.HO