Induced subgraphs and tree decompositions VIII. Excluding a forest in (theta, prism)-free graphs
本文证明在充分大树宽的无(theta, prism)图中,包含大团或同构于任意给定森林$H$的导出子图,当且仅当$H$为森林。
2023-01-28 math.CO
Polynomial bounds for chromatic number VIII. Excluding a path and a complete multipartite graph
本文证明了对任意的路H和任意的整数d,存在多项式f使得任意的色数大于f(t)的图G或者包含H作为诱导子图,或者包含部分基数为t的完全d-部图作为子图.对于t = 1和一般d这是一个经典的定理Gyárfás,并为d = 2和一般t这是一个定理Bonamy等人。
2023-03-21 math.CO
Graphs Excluding a Minor in Blowups of Treewidth 3 Graphs
本文改进无K_h小度图的树宽上界,证明其可表示为树宽3图的O_h(√n)-膨胀,优于此前树宽4的结果。
2025-10-10 math.CO
Excluding disjoint Kuratowski graphs
本文研究不含 k 个互不相交 Kuratowski 子图的图结构,证明删除有界多个顶点后,剩余图可嵌入一个排斥所有 k-Kuratowski 图的曲面。
2024-05-08 math.CO
Pure pairs. V. Excluding some long subdivision
图$G$中的纯对是$V(G)$的不相交子集的对$A,B$,使得$A$是$B$的完全或反完全。Jacob Fox证明了对于所有的$ε>0$,存在一个具有$n$顶点的可比图$G$,其中$n$很大,其中没有纯对$A,B$与$|A|,|B|\ge εn$。他还证明了对于所有的$c>0$存在$ε>0$,使得对于每一个具有$n>1$顶点的可比图$G$,存在一个具有$|A|,|B|\ge εn^{1-c}$的纯对$A,B$;并证明了这同样适用于每一个完美图$G$。我们证明这个猜想,并加强它在几个方面。特别地,我们证明了,对于所有的$c>0$,和所有的$\ell_1, \ell_2\ge 4c^{-1}+9$,存在$ε>0$,使得,如果$G$是一个图与$n>1$顶点和没有洞的长度正好$\ell_1$和没有反洞的长度正好$\ell_2$,那么有一个纯对$A,B$在$G$与$|A|\ge εn$和$|B|\ge εn^{1-c}$。这是进一步加强,取代排除洞排除一些长的细分一般图。
2022-10-09 math.CO
Excluding long paths
Ding(1992)证明了对任意整数${m} \geqslant 0$和任意有限单图的无穷序列$G_1, G_2, \ldots$,如果这些图中没有一个包含长度为${m}$的路作为子图,则存在指数$i < j$使得$G_i$同构于$G_j$的诱导子图.我们将这一结果推广到无限图,可能与平行的边缘和循环。
2015-03-28 math.CO
Chi-boundedness of graph classes excluding wheel vertex-minors
一类图是$χ$ -有界的,如果存在一个函数$f:\mathbb N\rightarrow \mathbb N$,使得对于该类中的每个图$G$和$G$的诱导子图$H$,如果$H$没有大小为$q+1$的团,则$H$的色数小于或等于$f(q)$ .我们用$W_n$表示$n+1$顶点上的轮图。我们证明了不具有与$W_n$同构的顶点子式的图类是$χ$ -有界的.这推广了以前的几个结果; $χ$有界圆图,图没有$W_5$顶点未成年人,图没有风扇顶点未成年人。
2018-03-14 math.CO
Pure pairs. II. Excluding all subdivisions of a graph
证明了对任意图H,存在a>0使得对任意至少有两个顶点的图G,如果G的诱导子图都不是H的剖分,则G的某个顶点至少有一个|G|邻点,或者存在两个至少有一个|G|顶点的不相交集合A,B使得A和B之间没有边连接.由此得出,对于每个图H,存在c>0使得对于每个图G,如果G的诱导子图或其补图都不是H的细分,则G有一个团或稳定的基数集至少为|G| ^c。这与Erdos-Hajnal猜想有关。
2020-06-02 math.CO
Defective and Clustered Graph Colouring
考虑以下两种方法来给图的顶点着色,其中放松了邻顶点获得不同颜色的要求。如果每个单色分量的最大度数至多为$d$,则着色具有“缺陷”$d$。如果每个单色分量最多有$c$顶点,则着色具有“聚类”$c$。本文调查研究这些类型的着色,其中的第一要务是尽量减少颜色的数量,小缺陷或小集群作为次要目标。列表着色变体也被考虑。研究了以下图形类:外可平面图、可平面图、可嵌入曲面中的图、具有给定最大度的图、具有给定最大平均度的图、不包括给定子图的图、具有线性交叉数的图、无链接或无链接可嵌入图、具有给定Colin de Verdière参数的图、具有给定周长的图、不包括作为浸入的固定图的图、具有给定厚度的图、具有给定堆叠数或堆叠数的图、不包括$K_t$作为子图的图、不包括$K_{s,t}$作为子图的图、以及不包括任意图$H$作为子图的图。几个开放的问题进行了讨论。
2018-03-20 math.CO
Excluding subdivisions of bounded degree graphs
设$H$是一个固定图.关于没有子图同构于$H$的一个细分的图$G$,可以说什么?Grohe和Marx证明了这样的图$G$满足一个特定的结构定理,而这个结构定理是包含一个(更大的)图$H_1$的一个细分的图所不满足的。Dvotelák发现了一个聪明的加强-他的结构不满足于包含图$H_2$的细分的图,其中$H_2$与$H$具有“类似的嵌入属性”。基于Dvotelák定理,我们证明了所述图$G$满足相似结构定理.我们的结构是不满足的图,包含一个细分的图$H_3$,具有类似的嵌入性能作为$H$,并具有相同的最大程度作为$H$。这将是重要的,在即将到来的应用良好的准序。
2018-04-27 math.CO
Excluding a full grid minor
在本文中,我们将包含一个$\mathbb{Z} \times \mathbb{Z}$网格小调的图形,以类似的方式,它已经完成了由Halin的图形与$\mathbb{N} \times \mathbb{Z}$网格小调。使用我们的特性,我们描述了树分解方面的$\mathbb{Z} \times \mathbb{Z}$网格未成年人的图的结构。
2015-12-02 math.CO
Polynomial bounds for chromatic number. I. Excluding a biclique and an induced tree
H是一棵树。Rodl证明了不包含H作为诱导子图,也不包含完全二部图$K_{t,t}$作为子图的图有界色数. Kierstead和Penrice加强了这一点,表明这样的图有界退化。这里我们给出了进一步的加强,证明了对于每一棵树H,退化度至多是关于t的多项式。这就回答了Bonamy、Pilipczuk、Rzazewski、Rzarasse和Walczak的一个问题。
2021-07-25 math.CO
A note on circular chromatic number of graphs with large girth and similar problems
在这个简短的说明中,我们扩展了Galluccio,Goddyn和Hell的结果,该结果指出,不包括一个未成年人的大围长图几乎是二分的。我们还证明了一个类似的结果,为定向色数,其中特别是,图的大围长不包括一个小有定向色数最多$5$,并为$p$第色数$χ_p$,其中特别是,图$G$的大围长不包括一个小有$χ_p(G)\leq p+2$。
2014-02-13 math.CO
Excluding induced subdivisions of the bull and related graphs
对于任何图$H$,设${\rm Forb}^*(H)$是不具有$H$的诱导细分的图类。在[A. D. Scott,Induced trees in graphs of large色数,{ \em Journal of图论},24:297- 311,1997]中阐明,对于每个图$H$,存在函数$f_H:\mathbb{N} \rightarrow \mathbb{R}$,使得对于每个图$G \in {\rm Forb}^*(H)$,$χ(G) \leq f_H(ω(G))$。我们证明了这个猜想的几个图$H$,即爪(有下垂边的三角形),公牛(具有两个顶点不相交的悬垂边的三角形),以及我们称之为“项链”的东西,即,通过选择匹配使得匹配的任何边都不与路径的端点相关联而从路径获得的图,并且对于匹配的每个边,添加与该边的端点相邻的顶点。
2013-09-05 math.CO
Excluding a large theta graph
θ图,记为$θ_{a,b,c}$,是一个阶为$a+b+c-1$的图,由一对顶点和它们之间的三条独立路径组成,长度为$a$、$b$和$c$。我们提供了一个完整的表征图,不包含一个大的$θ_{a,b,c}$作为拓扑未成年人。更具体地说,我们描述了结构的$θ_{1,2,t}$ -,$θ_{2,2,t}$ -,$θ_{1,t,t}$ -,$θ_{2,t,t}$ -,和$θ_{t,t,t}$ -自由图,其中$t$是大的。主要结果是对大$t$的无$θ_{t,t,t}$图的一个刻画. $3$ -连通$θ_{t,t,t}$ -自由图是由$3$ -求和图构成的,这些图没有到某些平面图的长路. $2$ -连通的无$θ_{t,t,t}$图也可以用类似的方法通过2-和3-和来构造.这一结果意味着一个著名的定理罗伯逊和Chakravarti的图,没有一个键包含三个指定的边缘。
2016-09-05 math.CO
Excluding Kuratowski graphs and their duals from binary matroids
我们考虑我们的内部4-连通二元拟阵没有M(K3,3)-子矩阵的特性的一些应用。我们将不含子阵的内4连通二元拟阵映射到{M(K3,3),M *(K3,3),M(K5),M *(K5)}的某个子集中,该子集包含M(K3,3)或M *(K3,3).我们还描述了一个实用的算法,用于测试是否一个二元拟阵有一个未成年人的子集。此外,我们还研究了不含M(K3,3)-子式的二元拟阵的增长率,证明了不含M(K3,3)-子式的二元拟阵在GF(2)上的临界指数至多等于4。
2017-03-02 math.CO
Note on the treewidth of graphs excluding a disjoint union of cycles as a minor
Université libre de Bruxelles(布鲁塞尔自由大学);Jagiellonian University(雅盖隆大学)
本文研究了不包含离散环联合作为小世界的图的树宽界限,证明了其与图顶点数和环数的关系,并得出最优结果。
2026-02-05 cs.DM math.CO
Excluding surfaces as minors in graphs
LIRMM, Univ Montpellier, CNRS(拉格朗日力学、信息与数学实验室,蒙彼利埃大学,法国国家科学研究中心);School of Computing, KAIST(韩国科学技术院计算机学院)
本文改进了图极小结构定理,通过明确的欧拉-生成数界限,解决了排除图中表面作为极小的问题,并专注于排除网格状图作为极小。
2026-01-27 math.CO
Excluding the fork and antifork
本文完整刻画了所有不包含fork或antifork作为导出子图的图。
2024-08-27 math.CO
Asymptotic Density of Graphs Excluding Disconnected Minors
对于图$H$,设$$c_{\infty}(H)= \lim_{n \to \infty}\max\frac{|E(G)|}{n},$$,其中最大值取在不包含$H$作为子图的$n$顶点上的所有图$G$上。因此,$c_{\infty}(H)$是不包含$H$作为子图的图的渐近最大密度。利用Eppstein的一个结构引理,证明了不连通图$H$的$c_{\infty}(H)$的新上界.特别地,只要$H$是圈的并集,我们就确定$c_{\infty}(H)$。最后,我们研究了固定$r$的$c_\infty(sK_r)$的行为,其中$sK_r$表示完全图的$s$不相交副本在$r$顶点上的并集。本文改进了Pakason的结果,证明了$$c_\infty(sK_r)=s(r-1)-1 \mathrm{\; for \;} s =Ω\left(\frac{\log{r}}{\log\log{r}}\right),$$和$$c_\infty(sK_r)>s(r-1)-1 \mathrm{\; for \;} s ={o}\left(\frac{\log{r}}{\log\log{r}}\right).$$
2019-03-10 math.CO
Excluding hooks and their complements
著名的Erdos-Hajnal猜想指出,对于每个$n$ -顶点无向图$H$,存在$\eps(H)>0$使得每个不包含$H$作为诱导子图的图$G$包含大小至少为$n^{\eps(H)}$的团或独立集。该猜想的一个较弱的版本指出,多项式大小的集团/独立集现象发生,如果一个排除$H$和它的补充$H^{\compl}$。我们证明了较弱的猜想成立,如果$H$是任何道路的悬垂边在其第三个顶点,从而我们给了一个新的无限族的图猜想成立。
2015-08-05 math.CO
Tree-independence number VII. Excluding a star
Princeton University(普林斯顿大学);University of Warsaw(华沙大学);Warsaw University of Technology(华沙理工大学)
本文证明了对于固定整数 $s$ 和平面图 $H$,$H$-诱导极小数自由且 $K_{1,s}$-诱导子图自由的图类具有对数多项式树独立数,弱化了之前的一个猜想。
2025-12-29 math.CO
Polynomial bounds for chromatic number. IV. A near-polynomial bound for excluding the five-vertex path
一个图G是H-自由的,如果它没有与H同构的诱导子图.证明了团数为$ω\ge 3$的无$P_5$图的色数至多为$ω^{\log_2(ω)}$ .由于Esperet、Lemoine、Maffray和Morel的研究,以前最好的结果是指数上界$(5/27)3^ω$。多项式界意味着著名的Erdos-Hajnal猜想对$P_5$成立,这是最小的开放情况。因此,有很大的兴趣,是否有一个多项式界的$P_5$ -自由图,我们的结果是一个尝试,以接近。
2022-10-02 math.CO
Pure pairs. VI. Excluding an ordered tree
图$G$中的纯对是一对不相交的顶点集$(Z_1,Z_2)$,使得$Z_1$中的每个顶点都与$Z_2$中的每个顶点相邻,或者在$Z_1$和$Z_2$之间没有边。最近,我们与Maria Chudnovsky一起证明了,对于每一个森林$F$,每一个至少有两个顶点的图$G$不包含$F$或其补图作为导出子图,都有一个纯对$(Z_1,Z_2)$,其中$|Z_1|,|Z_2|$在$|G|$中是线性的。在这里,我们调查我们可以说纯对在{ \em有序}图$G$,当我们排除了有序森林$F$和它的补充作为诱导子图。福克斯表明,不需要有一个线性纯对,但帕奇和托蒙表明,如果$F$是一个单调的道路,然后有一个纯对的大小$c|G|/\log |G|$。我们推广到所有的有序森林,在一个稍差的界限的成本:我们证明,对于每一个有序森林$F$,每一个有序图$G$至少有两个顶点,不包含$F$或其补充作为一个诱导子图有一个纯对大小$|G|^{1-o(1)}$。
2021-05-21 math.CO
Excluding 4-wheels
4轮图是由圈C和不在C中的顶点形成的图,该顶点在C中至少有四个邻居。证明了不含4轮子图的图G是4-可着色的,并描述了这类图的一些结构性质。
2012-04-18 cs.DM math.CO
Excluding pairs of tournaments
埃尔德什-哈伊纳尔猜想指出,对于每个给定的无向图$H$,都存在一个常数$c(H)>0$,使得每个不包含$H$作为导出子图的图$G$包含一个团或一个大小至少为$|V(G)|^{c(H)}$的稳定集。此猜想仍未得到解决.其等价的有向版本声明:对于每个给定的竞赛图$H$,存在一个常数$c(H)>0$,使得每个无$H$的竞赛图$T$包含一个传递子竞赛图,其阶至少为$|V(T)|^{c(H)}$。本文证明了无$\{H_{1},H_{2}\}$竞赛图$T$对某些$c(H_{1},H_{2})>0$包含大小至少为$|V(T)|^{c(H_{1},H_{2})}$的可迁子竞赛图和几对竞赛图:$H_{1}$,$H_{2}$ .特别地,我们证明了$\{H,H^{c}\}$ -freeness意味着对于几个竞赛图$H$的多项式大小的传递子竞赛图的存在性,对于这些竞赛图的猜想仍然是开放的($H^{c}$代表\textit{complement of $H$})。据我们所知,这些是这类非平凡的第一结果。
2014-10-26 math.CO
Nowhere-zero 4-flows in graphs excluding a proper minor of the Petersen graph
Budapest University of Technology and Economics(布达佩斯技术与经济大学);HUN-REN–BME Stochastics Research Group(匈牙利研究与创新网络-布达佩斯技术与经济大学随机过程研究组)
研究最小度至少为三且围长至少为五的几乎 4 - 连通非平面图含\(P/e\)子图情况,利用此结构结果证明有限无桥不含\((P/e)\)子图的多重图有无处零 4 - 流,扩展并补充相关定理,结合多种定理证明,部分由计算机辅助。
2026-08-11 math.CO
Product structure of graphs excluding a topological minor
Jagiellonian University(雅盖隆大学);Université Paris-Saclay, CNRS(巴黎萨克雷大学,法国国家科学研究中心);Université Côte d’Azur, CNRS, Inria, I3S(蔚蓝海岸大学,法国国家科学研究中心,法国研究与发展数字创新研究院,I3S实验室)
该研究证明了满足树宽条件且排除特定拓扑子式的图的乘积结构,推广了Ding和Oporowski1995年关于有界最大度树宽图的乘积结构的结果。
2026-08-17 math.CO
Tree-alpha and excluding finitely many graphs
University of Waterloo(滑铁卢大学)
本文证明了由有限个排除诱导子图定义的图类具有有界树-α当且仅当它是(tw,ω)有界。该结论解决了两个猜想,包括排除完全二分图、森林及其组件每个最多有三个叶子的图,以及此类森林的线图。
2026-05-02 math.CO
Clustered Coloring of Graphs Excluding a Subgraph and a Minor
Texas A&M University(德克萨斯农工大学);Monash University(莫纳什大学)
本文研究排除子图和/或子式的图的聚类着色问题,证明了多类图的有界聚类着色数最优界,改进了奇子式相关猜想的现有界值。
2021-12-04 math.CO
Tree-width of a graph excluding an apex-forest or a wheel as a minor
本文研究了无两个不相交环的平面图H在网格minor定理中的极小树宽f(H),证明了apex-forest的f(H)等于顶点数减一,并给出了wheel的f(H)线性上界。
2025-09-11 math.CO
Excluding a clique or a biclique in graphs of bounded induced matching treewidth
本文研究有界诱导匹配树宽图类的组合性质,证明排除固定双团可推出有界树独立数,排除固定团可推出有界色数,从而证实 Lima 等人提出的两个猜想。
2024-10-22 math.CO
Tree-independence number and forbidden induced subgraphs: excluding a $6$-vertex path and a $(2,t)$-biclique
Princeton University(普林斯顿大学);University of Primorska(前斯拉夫尼亚大学)
研究排除6顶点路径和(2,t)-双 clique的图的树独立数上限,推进Dallard等人猜想的进展。
2026-04-02 math.CO
$(2,4)$-Colorability of Planar Graphs Excluding $3$-, $4$-, and $6$-Cycles
针对不含3-、4-、6-环的平面图的缺陷2-着色问题,本文在已有研究证明其为$(0,6)$-可着色和$(3,3)$-可着色的基础上,进一步证明这类图也具有$(2,4)$-可着色性。
2025-01-13 math.CO
Excluding four-edge paths and their complements
我们证明了图G不包含诱导四边路和四边路的诱导补图当且仅当G是由五圈和分裂图通过重复应用以下操作得到的:替换,分裂图统一,分裂图统一在补图中(“分裂图统一”是本文引入的一种新的类保持操作)。
2015-12-07 cs.DM math.CO
Cliques in Odd-Minor-Free Graphs
本文讨论:(1)图中某类团的个数的界;(2)列出图中所有团的算法。我们提出了一个简单的算法,列出所有团在$n$ -顶点图在O(n)时间每个团。对于O(1)-退化图,如不包括一个固定的子图,我们描述了一个O(n)时间算法列出所有团。证明了不含固定奇子图的图有$O(n^2)$团(这是紧的),并给出了列出所有团的$O(n^3)$时间算法.
2012-02-08 math.CO
A global decomposition theorem for excluding immersions in graphs with no edge-cut of order three
一个图$G$包含另一个图$H$作为浸入,如果$H$可以从$G$的一个子图通过分裂边和去除孤立的顶点来获得。浸入包含有一个明显的必要度条件:如果$G$包含$H$作为浸入,则对于每个整数$k$,$G$中度至少为$k$的顶点数至少为$H$中度至少为$k$的顶点数。本文证明了这个明显的必要条件对于没有3阶边割的图是“几乎”充分的:对于每个图$H$,每个没有3阶边割的$H$ -浸入自由图都可以由图的边和得到,其中每个和都是由违反明显度条件的图通过增加有界数目的边得到的.没有3阶边割的条件是必要的。这个定理的一个简单应用是:对于每个最大度为$d \geq 4$的图$H$,存在一个整数$c$,使得对于每个正整数$m$,至多存在$c^m$-无标号$d$ -边连通$H$ -无浸入$m$ -无孤立点边图,而无孤立点的无标号$(d-1)$ -边连通$H$ -无浸入$m$ -边图的个数是超指数的。我们的结构定理将应用于确定一类$H$ -浸入自由图的簇色数的论文中。
2022-01-11 math.CO
Excluding cycles with a fixed number of chords
Trotignon和Vuskovic完全刻画了不包含只有一个弦的圈的图。特别地,证明了这样的图G的色数至多为max(3,w(G)).我们推广这一结果的类图,不包含周期正好有两个和弦和类图,不包含周期正好有三个和弦。更精确地说,我们证明了没有圈的图正好有两个弦的色数最多为6。而不含圈且恰有三条弦的图G的色数至多为max(96,w(G)+1).
2013-04-05 cs.DM math.CO
Polynomial bounds for chromatic number. V. Excluding a tree of radius two and a complete multipartite graph
Gyárfás-Sumner猜想说,对于每一个森林$H$和每一个整数$k$,如果$G$是$H$ -free的,并且在$k$顶点上不包含团,那么它有界色数。(如果图不包含$H$的诱导拷贝,则该图不含$H$。)Kierstead和Penrice证明了半径最多为2的树的猜想,但除此之外,这个猜想只适用于少数简单类型的森林。如果我们排除一个完全的二部子图而不是一个团,我们知道的更多:Rödl证明,对于每一个森林$H$,如果$G$是$H$ -free的,并且不包含$K_{t,t}$作为子图,那么它有界色数。在与Sophie Spirkl的早期论文中,我们加强了Rödl的结果,表明对于每个森林$H$,色数的界可以在$t$中取为多项式。本文证明了Kierstead-Penrice定理的一个相关的加强,证明了对于半径为2的树$H$和整数$d\ge 2$,如果$G$是$H$ -free的,且不包含部分基数为$t$的完全$d$ -部图作为子图,则它的色数至多是$t$中的多项式.
2023-01-10 math.CO
Blow-up structure of graphs excluding a tree or an apex-tree as a minor
Université libre de Bruxelles(布鲁塞尔自由大学);Université Côte d’Azur, CNRS, Inria, I3S(蔚蓝海岸大学、法国国家科学研究中心、法国国家信息与自动化研究所、I3S)
本文证明了排除树或顶点树作为矿的图的爆炸结构定理,改进了现有结果并提供了更优的界。
2026-03-17 cs.DM math.CO
Isomorphism Testing for Graphs Excluding Small Minors
本文针对排除 h 顶点子式的 n 顶点图,提出了运行时间为 n^{polylog(h)} 的图同构测试算法,改进了此前的 n^{poly(h)} 与 n^{polylog(n)} 界,核心贡献在于结合群论图同构机制新进展与新的图论论证。
2022-10-24 cs.DM cs.DS math.CO
Quickly excluding an apex-forest
本文证明了排除apex-forest作为minor的图的layered pathwidth上界,改进了前人结果,并提供了关于rooted minor、treedepth和treewidth的结构性工具及Erdős-Pósa性质的讨论。
2025-04-04 cs.DM math.CO
Low-Congestion Shortcuts for Graphs Excluding Dense Minors
本文证明了任何直径为$D$的$n$ -节点图$G$都允许具有拥塞$O(δD \log n)$和膨胀$O(δD)$的捷径,其中$δ$是$G$的任何子图的最大边密度.我们的证明是简单的,基本的,建设性的-具有$\tildeΘ(δD)$轮分布式构造算法。我们的结果与$\tilde{O}(1)$因子紧密相关,推广、简化、统一和加强了已有的结果.例如,对于不包括固定子图的图,即,对于具有常数$δ$的图,基于依赖于Robertson-Seymour图结构定理的非常技术性的证明,仅知道$\tilde{O}(D^2)$界。我们的研究结果的一个直接后果是,许多图形的家庭,包括任何未成年人排除的,有接近最佳的$\tildeΘ(D)$轮分布式算法的许多基本的通信原语和优化问题,包括最小生成树,最小切割,最短路径近似。
2020-08-07 cs.DC cs.DS math.CO
Excluding Pinched Spheres
该研究对不含捏缩球面$\b S^\tpl{\bigsqcup}_0$-可嵌入图作为子式的图给出结构刻画,证明其存在树分解且躯干可通过等同低二维性顶点集约化为射影平面图,结果最优并讨论了相关推论与变体。
2025-06-17 math.CO
Packing and covering balls in graphs excluding a minor
证明了对任意整数$t\ge 1$,存在一个常数$c_t$,使得对任意$K_t$ -minor-free图$G$,以及$G$中球的集合$S$,$G$中与$S$中所有球相交的顶点集的最小尺寸至多是$c_t$乘以$S$中顶点不相交球的最大数目.这是由Chepoi,Estellon和Vaxès在2007年在可平面图和具有相同半径的球的特殊情况下证明的。
2020-07-28 cs.DM math.CO math.MG
Excluding an apex-forest or a fan as quickly as possible
Université libre de Bruxelles(布鲁塞尔自由大学);Jagiellonian University(雅盖隆大学);Carleton University(卡尔顿大学)
该研究证明了排除顶点森林或扇形作为子图的图的分层路径宽度和树深度的最优界,并改进了相关结果的上界。
2026-10-20 cs.DM math.CO
Dimension of posets with planar cover graphs excluding two long incomparable chains
40多年前,人们就知道存在具有任意大维数的平面覆盖图的偏序集。最近,Streib和Trotter证明了这样的偏序集必须有大的高度。事实上,所有已知的这种偏序集的构造都有两个大的不相交链,其中一个链中的所有点都不能与另一个链中的所有点相比较。Gutowski和Krawczyk认为这个特性是必要的。更正式地说,他们证明了对于每个$k\geq 1$,都有一个常数$d$,使得如果$P$是一个具有平面覆盖图的偏序集,并且$P$不包括$\mathbf{k}+\mathbf{k}$,则$\dim(P)\leq d$。我们对他们的猜测做出了肯定的回答。我们还讨论了通过放宽覆盖图是平面图的条件来推广结果的可能性。
2018-12-19 cs.DM math.CO
Pure pairs. VIII. Excluding a sparse graph
本文研究排除给定图及其补图作为诱导子图的图中纯对的最小尺寸,通过引入拥塞度概念,给出了大小为 n^{1-c} 的纯对存在与否的阈值条件。
2023-10-29 math.CO
Basis Number of Graphs Excluding Minors
Institute for Basic Science(基础科学研究所);Jagiellonian University(雅盖隆大学)
本文研究了排除固定小图H的图的基数问题,证明了此类图的基数有界,并通过结合现有结果将上界改进为多项式形式。
2026-02-12 cs.DM math.CO
Excluding paths and bicliques
Princeton University(普林斯顿大学);University of Primorska(沿海大学)
研究排除路径和双团作为诱导子图的图类,改进了界定路径最大长度函数\(f\)的界,证明其为关于\(\omega^c\)的单指数函数且最优,还得出此类图树深度由团数多项式函数界定及相关遗传图类结论。
2026-07-16 cs.DM math.CO
Excluding an induced star in dense random graphs
Georgia Institute of Technology(佐治亚理工学院)
研究固定 $k\geq3$ 时,无诱导星 $K_{1,k}$ 的稠密图的渐近数量和典型结构,解决了固定边密度和条件 Erdős–Rényi 随机图下的图论变分问题,得到了熵密度和大偏差率函数的显式公式,并刻画了相变和最优图同态。
2026-06-23 math.CO
Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs
本文将Robertson和Seymour关于不包含固定图$H$作为子图的图的结构定理推广到不包含$H$作为拓扑子图的图.我们证明了,对于一个固定的$H$,每个图排除$H$作为一个拓扑子图有树分解,其中每个部分是“几乎嵌入”到一个固定的表面或有界的程度,除了一个有限的顶点数。此外,我们证明了这样的分解是可计算的算法,是固定参数易处理的参数$|H|$。我们提出了我们的结构定理的两个算法应用。为了说明一个“典型”的应用结构定理的力学,我们表明,在图不包括$H$作为一个拓扑子图,部分支配集(找到$k$顶点的封闭邻域具有最大的大小)可以解决时间$f(H,k)\cdot n^{O(1)}$时间。更重要的是,我们表明,在图不包括$H$作为拓扑子图,图同构可以解决的时间$n^{f(H)}$。这一结果统一和推广了两个已知的重要的多项式时间可解的图同构的情况:有界度图和$H$ -小自由图。这个结果的证明需要我们的结构定理的一个推广到不变的树状分解的上下文中。
2014-11-13 cs.DM cs.DS math.CO
Excluding a Planar Matching Minor in Bipartite Graphs
匹配子式是子式的一种特殊化,适合于研究具有完美匹配的图。匹配子图的概念被用来对二部图进行结构描述,在此基础上,McCuaig等人在1999年给出了Little的一个结果.本文将Robertson和Seymour的图子级数的基本思想推广到具有完美匹配的二部图的设置.我们介绍了一个版本的Erdos-Posa属性匹配未成年人,并找到这个属性和平面性之间的直接联系。由此得到一类具有完美匹配的二部图具有有界完美匹配宽度当且仅当它不包含一个平面匹配子图。我们还提出了算法二部图的有界完美匹配宽度的匹配版本的不相交路径问题,匹配未成年人的包容性,并计算完美匹配的数量。从结构上得到了判定二部图G是否含有固定平面图G有匹配子图和计算排除固定可平面图作为匹配子图的二部图的完美匹配数都是多项式时间可解的.
2021-06-01 cs.DM math.CO
Quickly excluding an annotated planar graph
Institute for Basic Science (IBS)(基础科学研究所);University of Warsaw(华沙大学);KAIST(韩国科学技术院)
本文证明了平面图中顶点集结构定理具有多项式界,并展示了其在参数化算法中的应用。
2026-02-09 cs.DM math.CO