Monochromatic Clique Decompositions of Graphs
设$G$是一个边用$k$颜色着色的图,$\mathcal H=(H_1,\dots , H_k)$是图的$k$ -元组.单色$\mathcal H$ -$G$的分解是$G$的边缘集的划分,使得对于某些$1\le i\le k$,每个部分是单个边缘或形成彩色$i$中的$H_i$的单色副本。设$ϕ_{k}(n,\mathcal H)$是最小数$ϕ$,使得对于每一阶$n$图和每一$k$边着色,存在一个至多含有$ϕ$元素的单色$\mathcal H$分解.扩展Liu和Sousa [“Monochromatic $K_r$ -decompositions of graphs”,Journal of Graph Theory },76:89- 100,2014]的先前结果,当$\mathcal H$中的每个图是团并且$n\ge n_0(\mathcal H)$足够大时,我们解决了这个问题。
2014-12-18 math.CO
Fractional Clique Decompositions of Dense Graphs and Hypergraphs
我们的主要结果是:在$n\ge 10^4r^3$个顶点上具有最小度$δ(G) \ge (1 - 1 / 10^4 r^{3/2} ) n$的图$G$都有一个分数$K_r$ -分解.结合Barber,Kühn,Lo和Osthus的最新工作,我们得到了一类广泛的图~ $F$(包括大集团)的精确(非分数)$F$ -分解的最小度阈值。对于一般的$k$ -一致超图,我们给出了一个简短的论证,证明了存在一个常数$c_k>0$使得每个$k$ -一致超图$G$在$n$顶点上的最小余度至少为$(1- c_k /r^{2k-1}) n $,都有一个分数$K^{(k)}_r$ -分解,其中$K^{(k)}_r$是$r$顶点上的完全$k$ -一致超图.(三角形的相关分数分解结果由Dross获得,超图团的相关分数分解结果由Dukes和Yuster获得。所有上述新结果涉及纯组合参数。特别地,这产生了威尔逊定理的组合证明,每个大的$F$ -可分完全图有一个$F$ -分解。
2017-06-19 math.CO
Clique decompositions and covers for large graphs
Yau Mathematical Sciences Center, Tsinghua University(丘成桐数学科学中心,清华大学)
本文针对大图的团分解与覆盖问题,解决了Erdős等人提出的两个团相关猜想,确定了等号成立的情况,采用线性规划对偶性、图删除引理等方法完成证明。
2026-08-27 math.CO
Fractional clique decompositions of dense graphs
对于每个$r\ge 4$,我们证明了任何最小度至少为$(1-1/100r)|G|$的图$G$都有一个分数$K_r$ -分解。这改进了Dukes(对于小的$r$)和Barber、Kühn、Lo、Montgomery和Osthus(对于大的$r$)给出的保证分数$K_r$ -分解所需的最小度的最佳前界,给出了紧到$r$的常数倍的第一界(例如,通过考虑Turán图)。结合Glock、Kühn、Lo、Montgomery和Osthus的工作,这表明,对于任何具有色数$χ(F)\ge 4$的图$F$,以及任何$\varepsilon>0$,任何最小度至少为$(1-1/100χ(F)+\varepsilon)|G|$的足够大的图$G$,在满足一些进一步的简单必要可除性条件的情况下,都有一个(精确的)$F$ -分解。
2018-09-27 math.CO
On tree-decompositions for infinite chordal graphs
University of Hamburg(汉堡大学)
研究无限弦图的树分解条件,证明无严格clique梳的弦图可分解为最大clique,并刻画允许有限clique分解的弦图特征。
2026-03-25 math.CO
Beyond Nash-Williams: Counterexamples to Clique Decomposition Thresholds for All Cliques Larger than Triangles
Toronto Metropolitan University(多伦多都会大学);UNSW Sydney(新南威尔士大学悉尼分校);University of Waterloo(滑铁卢大学)
该研究推翻了关于所有大于三角形的 clique 分解的猜想,展示了存在无限多个无法分解的 clique 图,且不满足分数分解条件。
2026-03-17 math.CO
Proof of the 1-factorization and Hamilton decomposition conjectures IV: exceptional systems for the two cliques case
在一系列的四篇论文中,我们证明了以下结果(通过一个统一的方法),所有足够大的$n$:(i)[1-因子分解猜想]假设$n$是偶数和$D\geq 2\lceil n/4\rceil -1$。则每一个在$n$顶点上的$D$ -正则图$G$都分解为完美匹配.等同物,$χ'(G)=D$。(ii)[Hamilton分解猜想]假设$D \ge \lfloor n/2 \rfloor $ .则每一个在$n$顶点上的$D$ -正则图$G$都有一个Hamilton圈的分解和至多一个完美匹配. (iii)本文证明了一个关于给定最小度的图中边不交Hamilton圈个数的最优结果。根据狄拉克的说法,(i)最早是在20世纪50年代提出的。(ii)(3)回答1970年Nash-Williams提出的问题。上述边界是最好的可能。在目前的文件中,我们证明了稀疏图分解成路径系统的结果。当$G$接近于两个不相交的团的并集时,这些用于证明(i)和(ii)。
2014-10-23 math.CO
Counting Cliques in Finite Distant Graphs
给出并证明了有限环上射影直线远图中团的计数公式。作为一个初步的,我们证明了一个分解定理的图的直积分解的环。
2016-12-23 math.AG math.CO
Classes of graphs with small rank decompositions are chi-bounded
一类图G是chi-有界的,如果G中图的色数由团数的函数有界.我们证明了,如果一个类G是chi-有界的,那么每一类图允许一个分解沿切割的小秩图从G是chi-有界的。作为推论,我们得到了每一类具有有界秩宽度(或等价地,秩宽度)的图都是chi-有界的。
2011-07-11 math.CO
Clique-partitioned graphs
$nv$阶的图$G$,其中$n\geq 2$和$v\geq 2$被称为弱$(n,v)$ -团划分的,如果其顶点集可以以唯一的方式分解为$n$顶点不相交的$v$ -团。它是强$(n,v)$ -团划分的,如果另外,$G$的唯一$v$ -团是分解中的$n$团。我们确定这样的图的结构,具有最大可能的边数。
2022-04-01 math.CO
Fractional clique decompositions in random hypergraphs
本文证明了随机超图在临界概率下以高概率允许分数团分解,改进了已有界,并推广到一般均匀超图,达到最优性。
2026-09-25 math.CO
Decomposition techniques applied to the Clique-Stable set Separation problem
在图中,团-独立集分隔符(CS-分隔符)是割集(顶点集的二分划)的族$\mathcal{C}$,使得对于每个团$K$和具有$K \cap S = \emptyset$的每个独立集$S$,在$\mathcal{C}$中存在割$( W,W')$,使得$K \subseteq W$和$S \subseteq W'$。从一个关于独立集多面体的扩展公式和相关的复杂性通信问题的问题开始,Yannakakis [17]在1991年提出了以下问题:每个图都允许多项式大小的CS-分隔符吗?如果不是,那么每一个完美的图都是这样吗?最近,与这个问题有关的一些积极和消极的结果。在这里,我们展示了如何图分解可以用来证明一类图承认一个多项式CS-分离。我们将此方法应用于无苹果图和无帽图。
2017-07-26 cs.DM math.CO
Spectral radius and clique partitions of graphs
我们给出了一个图的团划分的大小和总大小的下界,根据其谱半径和最小度,并推导出一个谱上界的最大数目的边不相交$t$ -团。达到界的极图分别是Steiner $2$ -设计的块图和具有$K_t$ -分解的正则图。
2021-11-04 math.CO
Fractional clique decompositions of dense balanced multipartite graphs
School of Mathematics and Statistics, Beijing Jiaotong University(北京交通大学数学与统计学院);Hebei Provincial Key Laboratory of Mathematical Theory and Analysis for Network and Data Science, Beijing Jiaotong University(北京交通大学网络与数据科学数学理论与分析河北省重点实验室)
研究密集平衡多部图的分数 clique 分解条件,提出新的度数阈值,适用于多于 s 部的多部图。
2026-06-25 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
Decomposition of Cliques into $k$-Star-Forests
本文研究完全图分解为 $k$-星森林的最小数量问题,确定了 $F_3(n)=5n/9$($n$ 为 27 的倍数)及 $k\ge 4$ 时 $F_k(n)=n/2+2$ 的条件,从而否定了 Pach 等人的猜想。
2025-09-23 math.CO
Clique Decompositions in Random Graphs via Refined Absorption
本文利用精细吸收法,在稀疏随机图和随机正则图中建立了三角形及一般 K_q 填充、分解与分数分解的近最优阈值结果。
2024-02-27 math.CO
Distance graphs having large chromatic numbers and not containing cliques or cycles of given size
本文研究了处于组合几何和图论边缘的经典Nelson-Hadwiger问题。它涉及$ {\mathbb R}^n $中距离图的着色,即,图,使得它们的顶点是向量,它们的边是距给定的正数集合一定距离的向量对。在团数和围长的不同限制条件下,得到了这类图的色数的一系列新的下界。
2012-02-14 math.CO
Well-Quasi-Order for Permutation Graphs Omitting a Path and a Clique
我们考虑了一类既不含路又不含团的置换图的好拟序。我们的主要结果是,类的置换图省略$P_5$和团的任何大小是良好的准有序。这是证明了相应的排列的结构分解。我们还展示了三个无限反链,以表明类的置换图省略$\{P_6,K_6\}$,$\{P_7,K_5\}$,和$\{P_8,K_4\}$不是良好的准序。
2015-04-27 math.CO
The (theta, wheel)-free graphs Part III: cliques, stable sets and coloring
本文进一步利用无theta和wheel图的分解定理,为最大权团、最大权稳定集和着色问题提出了多项式时间算法,并证明了该图类的色数界及3-团可着色性。
2019-07-25 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
The threshold for fractional clique decompositions of random hypergraphs, via matrix scaling
University of Science and Technology of China(中国科学技术大学)
本文通过概率矩阵缩放方法,证明了在最小余度条件下,随机保留边的超图以高概率存在分数团分解,并确认了最优阈值阶。
2026-10-02 math.CO math.PR
Canonical tree-decompositions of chordal graphs
Universität Hamburg(汉堡大学)
本文研究了弦图的规范树分解,证明了其可被选择为规范分解,并展示了该分解在判断 r-局部弦图性质中的应用。
2026-01-23 math.CO
The $f$--vector of the clique complex of chordal graphs and Betti numbers of edge ideals of uniform hypergraphs
本文给出了一致超图$G$的边理想$I(G)$的贝蒂数,使得$I(G)$具有线性分次自由分解.本文给出了任意弦图团复形的$f$ -向量的分支的代数方程组和一些不等式。最后给出了弦图边理想的Stanley-Reisner环的重数的一个显式公式。
2011-01-25 math.AC math.CO
The existence of designs
该研究证明组合设计存在性猜想(解决Steiner 1853年问题),并将结果推广到满足伪随机性条件的单纯复形团分解,进一步扩展至仅需可扩展性和鲁棒分数团分解的情况。
2024-11-27 math.CO
On maximal cliques of Cayley graphs over fields
我们描述了一类新的极大团,具有向量空间结构,凯莱图定义在一个域的加法群。特别地,我们证明了在阶为$q^3$的三次Paley图中,含有$q$元素的子域构成一个极大团.类似的陈述也适用于四重Paley图和具有四次阶的Peisert图。
2021-05-23 math.CO
The Erdős--Faber--Lovász Conjecture revisited
1972年提出的Erdens-Faber-Lovász猜想指出,如果一个图$G$是$n$阶的$n$团的并集(称为定义$n$ -团),使得两个团最多可以共享一个顶点,那么$G$的顶点可以用$n$颜色适当地着色。虽然在近50年后仍然开放,但可以很容易地证明,当每个共享顶点恰好属于两个定义$n$ -团时,该猜想是正确的。在这种情况下,我们提供了一个快速而简单的算法来着色$G$的顶点,并讨论了与图的顶点分解和边着色的连接。
2021-12-07 math.CO
(Treewidth, Clique)-Boundedness and Poly-logarithmic Tree-Independence
Department of Computer Science, University of California Santa Barbara(加州大学圣塔芭芭拉分校计算机科学系);Princeton University(普林斯顿大学)
研究了具有有限树独立数的图类,提出了一种树独立数与树宽相关的新猜想,并引入了独立容器概念。
2026-04-05 math.CO
Transducing Linear Decompositions of Tournaments
Institute for Basic Science(基础科学研究院);LACL, Université Paris-Est Créteil(拉克莱特实验室,巴黎东克雷泰伊大学);Université Clermont Auvergne, Clermont Auvergne INP, LIMOS, CNRS(克莱蒙奥弗涅大学,克莱蒙奥弗涅理工学院,LIMOS实验室,法国国家科学研究中心)
本文证明,对于有界线性团宽的竞赛图,可以通过一阶转导产生有界宽度的团分解,从而得出CMSO与存在性MSO在竞赛图上等价。
2026-06-16 cs.DM cs.LO math.CO
Fractional Clique Decompositions of Dense Hypergraphs
本文证明稠密超图分数团分解的最小度界限可改进至$(1-\ rac{C}{q^{r-1+o(1)}})n$,并由此推出近似$K_q^r$-分解的存在性。
2025-10-08 math.CO
Excluding a clique or a biclique in graphs of bounded induced matching treewidth
本文研究有界诱导匹配树宽图类的组合性质,证明排除固定双团可推出有界树独立数,排除固定团可推出有界色数,从而证实 Lima 等人提出的两个猜想。
2024-10-22 math.CO
Kruskal--Katona type theorems for clique complexes arising from chordal and strongly chordal graphs
森林是强弦图的团复形,拟森林是弦图的团复形。Kruskal-Katona型定理的森林,拟森林,纯森林和纯拟森林。此外,还证明了一个拟森林是可壳的当且仅当它的$h$ -向量$(h_0, h_1, h_2, ...)$对于$i > 1$满足$h_i = 0$.
2008-12-01 math.CO
$b$-vectors of chordal graphs
图$G$的$b$ -向量$(b_1,b_2\ldots,b_d)$根据其团向量$(c_1,c_2\ldots,c_d)$由等式$\sum^d_{i=1}b_i(x+1)^{i-1}=\sum^d_{i=1} c_i x^{i-1},$定义,其中$d$是$G$中团的最大基数。研究了弦图$G$的$b$ -向量与$G$的一些结构性质之间的关系.特别是,我们表明,$b$ -载体编码不同方面的连接和集团优势的$G$。进一步,我们将$b$ -向量与$G$的团单纯复形所对应的Stanley-Reisner环的贝蒂数联系起来.
2017-09-01 math.AC math.CO
The (theta, wheel)-free graphs Part II: structure theorem
本文针对无 (theta, wheel) 图类提出了首个仅使用团割集和 2-连接组合的分解定理,并据此构建了完整的结构定理和 $\mathcal{O}(n^4m)$ 时间复杂度的识别算法。
2019-07-25 math.CO
Supersolvable saturated matroids and chordal graphs
一个拟阵是超可解的,如果它有一个极大的平坦链,每个平坦链都是模的。一个拟阵是饱和的,如果每个圆平坦是模的。在这篇文章中,我们提出了超可解饱和拟阵类似的弦图,我们表明,弦图的几个结果在此拟阵的上下文中。特别是,我们认为拟阵类似物的减少团图和团树的弦图。后者是前者的最大权生成树。我们还表明,拟阵类似的团树是一个最佳分解的拟阵参数的树宽度。
2023-01-11 math.CO
The class of $(P_7,C_4,C_5)$-free graphs: decomposition, algorithms, and $χ$-boundedness
通常,$P_n$($n \geq 1$)表示$n$顶点上的路径,$C_n$($n \geq 3$)表示$n$顶点上的循环。对于图族$\mathcal{H}$,如果$G$的导出子图都不同构于$\mathcal{H}$中的任何图,则称图$G$是$\mathcal{H}$ -free的.我们提出了一类$(P_7,C_4,C_5)$ -free图的分解定理,事实上,我们给出了一个完整的结构特征的$(P_7,C_4,C_5)$ -free图,不承认一个cumber-cutset。我们利用这个分解定理证明了无$(P_7,C_4,C_5)$图类是由一个线性函数$χ$ -有界的(更精确地说,每个无$(P_7,C_4,C_5)$图$G$满足$χ(G) \leq \frac{3}{2} ω(G)$).我们还使用分解定理来构造一个$O(n^3)$算法的最小着色问题,一个$O(n^2m)$算法的最大重量稳定集的问题,和一个$O(n^3)$算法的最大重量团的问题,这类,其中$n$表示的顶点数和$m$的边数的输入图。
2018-03-08 math.CO
A Spinorial Formulation of the Maximum Clique Problem of a Graph
本文给出了复空间中图的最大团问题的一个新形式。我们开始观察到,一个图的邻接矩阵A总是可以写成A = B B的形式,其中B是一个复杂的,由零长度向量(零向量)形成的对称矩阵,最大团问题可以转化为这些向量的几何问题。这个问题,反过来,被翻译成spinorial语言,我们表明,每个图唯一地确定一组纯旋量,即向量的自同态空间的Clifford代数,和最大团问题是正式在这种设置,使这一研究问题,可以利用纯旋量几何的最新进展。
2006-03-27 cs.DM math-ph math.CO
Structural Parameterizations of Clique Coloring
一个图的团染色是指给它的顶点分配颜色,使得没有最大团是单色的。我们开始研究团染色问题的结构参数化,这个问题是问一个给定的图是否有一个团染色与$q$颜色。对于固定的$q \ge 2$,当输入图与其宽度为$tw$的树分解一起给定时,我们给出了一个$\mathcal{O}^{\star}(q^{tw})$ -时间算法。我们补充这个结果与匹配的下界下的强指数时间假设。我们还表明,(当颜色的数量是无界的)团染色是XP参数化的团宽度。
2020-05-10 cs.CC cs.DS math.CO
Vector spaces and Grassmann graphs over residue class rings
设$\mathbb{Z}_{p^s}$是整数模$p^s$的剩余类环,其中$p$是素数,$s$是正整数.利用矩阵表示和矩阵的内秩,研究了$\mathbb{Z}^n_{p^s}$的向量子空间的交、并、维数公式和对偶子空间。在此基础上,研究了$\mathbb{Z}_{p^s}$上的Grassmann图$G_{p^s}(n,m)$. $G_{p^s}(n,m)$是一个连通的点传递图,我们确定了它的价、团数和最大团数。最后,我们刻画了$G_{p^s}(n,m)$的自同构。
2017-05-12 math.CO
Algorithmic methods of finite discrete structures. Graph clique problem
本研究针对不可分离图的最大长度团求解问题,提出一种基于3-环表示与环和性质的迭代算法,可通过构建边环主向量找团,并分析了其计算复杂度。
2024-10-29 cs.CC cs.DM math.CO
Anti-Ramsey numbers of graphs with some decomposition family sequences
对于一个给定的图$H$,$H$的反Ramsey数是不含$H$彩虹拷贝的完全图的边染色的最大颜色数.本文将图的分解族推广到图的分解族序列,并证明了$K_5$是由它的分解族序列决定的。基于这种新的图表示法,我们确定了新的图族的反Ramsey数,包括Petersen图,顶点不相交的团并等,并刻画了极值着色。
2019-03-25 math.CO
Induced subgraphs and tree decompositions VIII. Excluding a forest in (theta, prism)-free graphs
本文证明在充分大树宽的无(theta, prism)图中,包含大团或同构于任意给定森林$H$的导出子图,当且仅当$H$为森林。
2023-01-28 math.CO
Treewidth versus clique number. III. Tree-independence number of graphs with a forbidden structure
该研究针对(tw,ω)-有界图类的独立集问题,刻画了六种图包含关系下使禁H图具有有界树独立数的H的特征,给出构造性证明并推导出无穷多图类的多项式时间算法,解决了1-完美可定向图相关的公开问题。
2023-12-18 cs.DM cs.DS math.CO
Unit Incomparability Dimension and Clique Cover Width in Graphs
对于无向图$G$中的团覆盖$C$,$C$的{ \it团覆盖图}是通过将$C$中的每个团的顶点收缩为单个顶点而获得的图。$G$的{ \it团覆盖宽度},用$CCW(G)$表示,是$G$中所有团覆盖图的带宽的最小值。已知任何具有$CCW(G)=1$的$G$是不可比较图,因此称为{ \it单位不可比较图}。我们引入{ \it单位不可比维数$G$ },记为$Udim(G)$,使其为最小整数$d$,使得存在具有$V(H_i)=V(G), i=1,2,...,d$的单位不可比图$H_i$,使得$E(G)=\cap_{i=1}^d E(G_i)$ .我们证明了一个建立不等式$Udim(G)\le CCW(G)$的分解定理。具体地说,给定任何$G$,都有单位不可比图$H_1,H_2,...,H_{CC(W)}$与$V(H_i)=V(G)$,使得和$E(G)=\cap_{i=1}^{CCW} E(H_i)$。此外,$H_i$是共二分的,对于$i=1,2,...,CCW(G)-1$。此外,我们观察到,$CCW(G)\ge s(G)/2-1$,其中$s(G)$是在一个最大的诱导星的$G$的叶数,并使用拉姆齐理论给出一个上界$s(G)$,当$G$表示为一个交叉图使用我们的分解定理。最后,当$G$是不可比较图时,证明了$CCW (G)\le s(G)-1$ .
2017-05-11 cs.DS math.CO
The Metric Dimension of The Tensor Product of Cliques
设$G$是连通图,$W=\{ w_1, w_2, \ldots, w_k \} \subseteq V(G)$是有序集.对于每个顶点$v$,$v$相对于$W$的度量表示是定义为$r(v|W):=(d(v,w_1), d(v,w_2), \ldots, d(v,w_k))$的有序$k$ -向量,其中$d(x,y)$是顶点$x$和$y$之间的距离。如果$G$的不同顶点相对于$W$具有不同的表示,则集合$W$称为$G$的解析集。$G$的分解集的最小基数是它的度量维数,用$dim(G)$表示。本文研究团的张量积的度量维数,并证明了一些界。然后确定了两个团的张量积的度量维数。
2015-05-21 math.CO
The global structure of locally chordal graphs
本文研究了局部弦图的全局结构,通过图分解理论揭示其特征化方法,并证明了相关分解的高效计算性。
2025-12-22 math.CO
Edge ideals of clique clutters of comparability graphs and the normality of monomial ideals
设(P,<)是一个有限偏序集,G是它的可比较图.若cl(G)是G的极大团的杂波,则证明了cl(G)满足极大流极小割性质,且它的边理想通常是无挠的.证明了完全容许均匀杂波的边理想通常是无挠的。用分块多面体和整数分解性质来表示单项理想的正规性。对于杂波的边理想,这个性质完全决定了它们的正规性
2008-12-03 math.AC math.CO
Erdős-Ko-Rado theorem for vector spaces over residue class rings
令$h=\prod_{i=1}^{t}p_i^{s_i}$是它分解成不同素数的幂的乘积,$\mathbb{Z}_{h}$是模$h$的剩余类环.设$\mathbb{Z}_{h}^{n}$是$\mathbb{Z}_{h}$上的$n$维行向量空间. $\mathbb{Z}_{h}^n$的一个广义Grassmann图,记为$G_r(m,n,\mathbb{Z}_{h})$(简称$G_r$),它以$\mathbb{Z}_{h}^n$的所有$m$ -子空间为顶点,如果两个不同的顶点的交维数为$>m-r$,则它们相邻,其中$2\leq r\leq m+1\leq n$ .本文确定了$G_r$的团数和最大团的几何结构。结果得到了$\mathbb{Z}_{h}^{n}$的Erdens-Ko-Rado定理.
2022-01-03 math.CO
Treewidth versus clique number. II. Tree-independence number
本文提出树独立数这一新不变量,证明具有有界独立数树分解的图可在多项式时间内求解最大权重独立打包问题,部分回答了$(\text{tw},\omega)$-有界性对独立集问题的算法意义。
2023-10-17 cs.DM cs.DS math.CO
The structure of graphs not admitting a fixed immersion
对于不允许完全图浸入的图,我们给出了一个简单的结构定理。该定理激发了基于边割而不是顶点割的树分解的变体的定义,我们称之为树割分解。我们给出了树割分解的宽度的定义,并使用这个定义与排除团浸入的结构定理,我们证明了每个图要么有界树割宽度或承认一个大的浸入墙。
2014-07-01 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
Homogeneous sets, clique-separators, critical graphs, and optimal $χ$-binding functions
给定一个图的集合$\mathcal{H}$,设$f_\mathcal{H}^\star\colon \mathbb{N}_{>0}\to \mathbb{N}_{>0}$是$\mathcal{H}$ -free图类的最优$χ$ -binding函数,即$$f_\mathcal{H}^\star(ω)=\max\{χ(G): G\text{ is } \mathcal{H}\text{-free, } ω(G)=ω\}.$$.本文将齐次集分解法和连通-分离器分解法相结合,以确定$P_5$ -free图和$(C_5,C_7,\ldots)$ -free图的子类的最优$χ$ -binding函数.特别是,我们证明了以下每个$ω\geq 1$:(i)$\ f_{\{P_5,banner\}}^\star(ω)=f_{3K_1}^\star(ω)\in Θ(ω^2/\log(ω)),$(ii)$\ f_{\{P_5,co-banner\}}^\star(ω)=f^\star_{\{2K_2\}}(ω)\in\mathcal{O}(ω^2),$(iii)$\ f_{\{C_5,C_7,\ldots,banner\}}^\star(ω)=f^\star_{\{C_5,3K_1\}}(ω)\notin \mathcal{O}(ω),$和(iv)$\ f_{\{P_5,C_4\}}^\star(ω)…
2022-05-18 math.CO
A structure theorem for graphs with no cycle with a unique chord and its consequences
我们给出了一个结构描述类$\cal C$的图,不包含一个周期与一个唯一的弦作为一个诱导子图。我们的主要定理指出,任何连通图在$\cal C$是在一些简单的基本类或有一个分解。基本类是无弦圈,团,二部图的一个侧面只包含度为2的节点和著名的Heawood或Petersen图的诱导子图。分解是由一个或两个节点组成的节点割集和称为1-连接的边割集。我们的分解定理实际上给出了${\cal C}$的完整结构定理,即${\cal C}$中的每个图都可以从可以显式构造的基本图构建,并通过指定的组合操作将它们粘合在一起;并且以这种方式构建的所有图都在${\cal C}$中。这有几个后果:一个${\cal O}(nm)$ -时间算法来决定一个图是否在$\cal C$中,一个${\cal O}(n+m)$ -时间算法来找到一个最大团的任何图在$\cal C$中,和一个${\cal O}(nm)$ -时间着色算法的图在$\cal C$。我们证明了$\cal C$中的每个图都是3-可着色的或者都有一个用$ω$颜色着色的图,其中$ω$是最大团的大小。在$\cal C$中寻找图的最大独立集的问题是NP-困难的。
2013-09-04 math.CO
Coloring Graphs With No Totally Odd Clique Immersion
School of Mathematics, Georgia Institute of Technology(佐治亚理工学院数学学院)
证明无完全奇K_t浸入的图是O(t)-可着色的,并给出固定参数可解算法找到分解。
2026-07-03 cs.DM math.CO