A rainbow blow-up lemma for almost optimally bounded edge-colourings
边着色图的一个子图称为彩虹,如果它的所有边都有不同的颜色。我们证明了彩虹版本的爆破引理的Komlós,Sárközy和Szemerédi,适用于几乎最优有界着色。这一点的一个推论是,存在一个彩虹副本的任何有界度生成子图$H$在准随机主机图$G$,假设边着色$G$满足有界性条件,是渐近最佳可能的。这有许多应用超出彩虹着色,例如图分解,正交双覆盖和图标号。
2019-07-23 math.CO
Transversal designs and induced decompositions of graphs
证明了对于任意的完全多部图$F$,在$n$的顶点上都存在非常稠密的图$G_n$,即对于任意的常数$c=c(F)$,对于所有的$n$都有尽可能多的${n\choose 2}-cn$边,使得$G_n$可以分解为与$F$同构的边不交的诱导子图.这一结果确定和结构上解释了增长率$O(n)$和$Ω(n^{3/2})$之间的差距的最小数量的非边缘图承认诱导的$F$ -分解。
2015-01-14 math.CO
Transversal tilings in k-partite graphs without large holes
Shandong University(山东大学)
该研究证明了在k部图中,满足特定度数和空洞条件的图存在横贯因子,扩展了相关领域的最新成果。
2026-02-11 math.CO
Transversals via regularity
本文将正则性膨胀方法推广到横截图问题,建立适用于可分有界度图的横截膨胀引理,并据此推广线性 3-一致超图的稠密嵌入结果。
2023-06-06 math.CO
Stability of transversal Hamilton cycles and paths
该研究建立了横贯哈密顿圈和路径的稳定性定理,表明当图集合远离极值情形时,可降低保证横贯哈密顿圈所需的最小度,证明采用新正则性-膨胀方法与吸收方法。
2024-03-14 math.CO
Clique cycle-transversals in distance-hereditary graphs
图G的一个圈截线是V(G)的一个子集T,使得T与G的每个圈相交。团圈截线,简称cct,是一个团的圈截线。承认一个cct的图可以在多项式时间内识别出来,然而,这种图的结构特征还不清楚。我们用禁止导出子图刻画了允许有cct的距离遗传图。这推广了弦图和余图的类似结果。
2013-02-07 cs.DM math.CO
Density of small diameter subgraphs in $K_r$-free graphs
我们用$\text{ex}(n, H, F)$表示不包含$F$作为子图的$n$ -顶点图中$H$的最大拷贝数。最近,Grzesik,Gyamri,Salia,Tompkins考虑了在$K_{r-1}$爆破时渐近达到$\text{ex}(n, H, K_r)$的$H$上的条件,并提出了一个猜想.在本文中,我们反驳了他们的猜想。
2022-07-28 math.CO
Complete Intersection Toric Ideals of Oriented Graphs and Chorded-Theta Subgraphs
设$G=(V,E)$是一个有限的简单图。我们考虑每个有向图$G_{\cal O}$与$G$的边的方向${\cal O}$相关联,复曲面理想$P_{G_{\cal O}}$。本文研究了具有$P_{G_{\cal O}}$是二项式完全交的图,对所有的${\cal O}$ .这些图称为$\text{CI}{\cal O}$图。我们证明了这些图可以递归地构造为圈和/或完全图的圈和。引入了弦θ子图及其横截三角形。我们还建立了$\text{CI}{\cal O}$图是由每个弦θ有一个横截三角形的性质所决定的。因此,我们得到的比赛保持这个属性。最后我们明确地给出了刻画这些图的最小禁止诱导子图,这些图族是:棱柱、棱锥、θ和一类特殊的轮族,我们称之为$θ-$部分轮.
2012-12-27 math.AC math.CO
From one to many rainbow Hamiltonian cycles
给定图$G$和$G$的子图族$\mathcal{G} = \{G_1,\ldots,G_n\}$,$\mathcal{G}$的断面是一对$(T,ϕ)$,使得$T \subseteq E(G)$和$ϕ: T \rightarrow [n]$是对每个$e \in T$满足$e \in G_{ϕ(e)}$的双射。如果$T$对应于$G$中哈密尔顿圈的边集,我们称之为横截哈密尔顿算子。证明了在$G$的最大次数和$G_i \in \mathcal{G}$的最小次数满足一定条件下,对每个包含Hamilton断面的$\mathcal{G}$,包含在$\mathcal{G}$中的Hamilton断面的个数由$G$的最大次数的函数有界.这推广了Dahassen的一个定理,即对于$m \geq 300$,没有$m$ -正则图是唯一的Hamilton图.我们还扩展了Joos和Kim最近的结果,即如果$G = K_n$和每个$G_i \in \mathcal{G}$的最小度至少为$\frac{n}{2}$,则$\mathcal{G}$有一个Hamilton断面:我们证明,在这种情况下,$\mathcal{G}$有指数级多个Hamilton断面。最后,我们证明了类似物这两个定理的横截形成完美匹配的$G$。
2021-04-14 math.CO
Exact Counts of $C_{4}$s in Blow-Up Graphs
圈有许多有趣的性质,在许多学科中被广泛研究。在某些领域,最大化$k$-循环的计数是特别感兴趣的。用于最大化图$G$中子图$H$的数目的构造方法的自然候选者是\emph{blow-up}方法。取$n$顶点上的图$G$和$k$顶点上的模式图$H$,使得$n\geq k$,blow-up方法涉及用$k$-顶点图$H$的副本替换$G$中的顶点的迭代过程。在本文中,我们将blow-up方法应用于循环族。然后,我们提出了确切的计数周期的长度为4使用这种爆破方法的周期和广义θ图。
2022-07-26 math.CO
Computing Weighted Subset Transversals in $H$-Free Graphs
对于奇圈transmitting问题,任务是找到一个小的集合$S$的顶点在一个图,相交于每个周期的奇数长度。子集奇循环transmitting问题要求S只与那些包含一个可区分的顶点子集$T$的顶点的奇循环相交。如果我们给顶点的权重,我们要求$S$具有小的权重:这是加权子集奇循环transmitting问题。对于不包含图$H$作为导出子图的图,我们证明了加权子集奇圈变换的几乎完全复杂性二分法。我们的一般方法也可以用于加权子集反馈顶点集,这使我们能够推广Papadopoulos和Tzimas最近的结果。
2021-06-14 cs.DM cs.DS math.CO
A hypergraph bandwidth theorem
Universitat Politècnica de Catalunya(加泰罗尼亚理工大学);Centre de Recerca Matemàtica(数学研究中心);Universidad de Concepción(康塞普西翁大学)
本文扩展了带宽定理到超图,证明了在满足空间、连通性和非周期性条件时,超图中包含特定子图的性质。
2026-03-30 math.CO
Computing Subset Transversals in $H$-Free Graphs
通过将输入限制为无$H$图,即不包含固定图~ $H$作为导出子图的图,研究了两个著名的图的横切问题,即子集反馈顶点集和子集奇圈横切问题的计算复杂性.通过结合已知的和新的结果,我们确定了这两个问题的计算复杂性的$H$ -free图的每一个图$H$,除了当$H=sP_1+P_4$的一些$s\geq 1$。作为我们的方法的一部分,我们介绍了子集顶点覆盖问题,并证明了它是多项式时间可解的$(sP_1+P_4)$ -自由图的每一个$s\geq 1$。
2021-10-26 cs.DM cs.DS math.CO
On Cycle Transversals and Their Connected Variants in the Absence of a Small Linear Forest
一个图是$H$ -free的,如果它不包含同构于$H$的导出子图.我们证明了两个经典的循环遍历问题反馈顶点集和奇循环遍历的新的复杂性结果,通过证明它们可以在多项式时间内解决$(sP_1+P_3)$ -free图的每个整数$s\geq 1$。我们证明了同样的结果的变种连接反馈顶点集和连接奇循环transmittance。我们还证明了后两个问题是多项式时间可解的上图,这是已知的反馈顶点集和奇循环transmittance。我们证明了在$(P_2+P_5,P_6)$ -free图上奇圈变换和连通奇圈变换是NP-完全的,从而补充了这些结果。
2019-08-01 cs.CC cs.DM cs.DS
Transversal Hamilton paths and cycles
本文研究图族中的横截哈密顿路径与圈问题,给出横截哈密顿路径存在的最小度条件,解决已有公开问题,并刻画最小度≥n/2-1时不含横截哈密顿圈(及路径)的所有图族,推动横截极值图论发展。
2024-06-20 math.CO
Independent transversals in bipartite correspondence-covers
本文研究二部图对应覆盖中的独立横截集,证明当各部分大小至少为 $(1+\varepsilon)D/\log D$ 且最大度 $D$ 充分大时存在独立横截集,并给出非对称变体。
2021-12-08 math.CO
Independent transversal blow-up of graphs
本文研究多部图中独立横截的存在性,提出紧的部大小条件并推广已有结果,同时给出最小度条件及Turán型结论,并探讨ITS计数。
2025-02-27 cs.DM math.CO
Feedback Vertex Set and Even Cycle Transversal for H-Free Graphs: Finding Large Block Graphs
证明了$H$ -free图(即不包含固定图$H$作为导出子图的图)的反馈顶点集和偶圈变换的新的复杂性结果.特别是,我们证明了,对于每一个$s\geq 1$,这两个问题是多项式时间可解的$sP_3$ -免费的图形和$(sP_1+P_5)$ -免费的图形,在这里,图形$sP_3$表示$s$路径的不相交的联盟上的三个顶点和图形$sP_1+P_5$表示$s$孤立的顶点和路径上的五个顶点的不相交的联盟。我们关于反馈顶点集的新结果扩展了$H$ -free图上反馈顶点集的所有已知多项式时间结果,即对于$sP_2$ -free图[Chiarelli et al.,TCS 2018],无$(sP_1+P_3)$图[Dabrowski等人,图2020]和无$P_5$的图[Abrishami等人,SODA 2021]。总之,新的结果还表明,这两个问题表现出相同的行为$H$ -免费的图形(受一些开放的情况下)。这在一定程度上是由于我们设计了一个新的通用算法,用于在一个无($sP_3)$)或无$(sP_1+P_5)$的图$G$中找到一个最大的导出子图,该子图的块属于某个有限类${\cal C}$.我们还比较了我们的结果与最先进的奇循环transmittance问题的结果,这是已知的表现不同的$H$ -免费的图形。
2022-01-10 cs.CC cs.DM cs.DS
Kempe Chains and Rooted Minors
一个划分的(最小)断面是一个集合,它只包含来自划分的每个成员的一个元素,没有其他元素。一个图的着色是将它的顶点集划分成若干个反顶点,即两两不相邻的顶点集。我们研究以下问题:给定某个图$G$的一个真染色$\mathfrak{C}$的横截$T$,是否存在将$V(G)$的子集划分为连通集的划分$\mathfrak{H}$,使得$T$是$\mathfrak{H}$,并且如果来自$T$的两组$\mathfrak{H}$的对应顶点在$G$中通过路径连接,仅使用两种颜色?第一作者曾建议研究以下问题:对于某个图$G$的$k$阶着色$\mathfrak{C}$的任何横截$T$,使得任何一对色类诱导连通图,是否存在这样一个具有成对相邻集的划分$\mathfrak{H}$(这将证明唯一最优可着色图类的Hadwiger猜想)?这对于小的$k \geq 5$是开放的,本文给出了$k=5$与由$T$导出的子图连通的证明.此外,我们还证明了对于$k\geq 7$,仅仅强制任意两个横截顶点通过一条2-色路连接是不足以使$\mathfrak{H}$存在的。
2022-11-29 math.CO
Long directed rainbow cycles and rainbow spanning trees
边着色图的一个子图称为彩虹,如果它的所有边都有不同的颜色。彩虹子图的发现问题可以追溯到欧拉关于拉丁方中横截的工作,并从那时起得到了广泛的研究。本文研究了完全边着色图和有向图的彩虹子图的两个相关问题。在第一部分中,我们证明了每一个正常边着色的完全有向图都包含一个长度为$n-O(n^{4/5})$的有向彩虹圈。这是由哈恩的一个老问题激发的,改进了Gyarfas和Sarkozy的一个结果。在第二部分中,我们表明,任何树$T$上的$n$顶点与最大程度的$Δ_T\leq βn/\log n$有一个彩虹嵌入到一个适当的边缘着色$K_n$,只要每一种颜色出现在最多的$αn$时间和$α, β$是足够小的常数。
2017-11-10 math.CO
Variable degeneracy of planar graphs without chorded 6-cycles
本文为无弦 6-环平面图建立了严格 $f$-退化横贯存在的充分条件,并由此推出此类图(不含特定构型)是 DP-$4$-可染色的。
2025-02-25 math.CO
Robust Hamiltonicity in families of Dirac graphs
Institute of Science and Technology Austria (ISTA)(奥地利科学技术研究所);Mathematics Institute, University of Warwick(华威大学数学研究所)
研究随机子图中Dirac图族存在哈密顿遍历的阈值,证明了存在至少(cn)^{2n}种不同的哈密顿遍历,且可构造n/2个边不相交的哈密顿遍历。
2026-04-12 math.CO
Embedding large subgraphs into dense graphs
什么条件保证图G包含某个给定的生成子图H?最著名的例子,结果这类可能是狄拉克定理的汉密尔顿周期和Tutte定理的完美匹配。完美匹配是由完美F-填充推广的,这里不是用不相交的边覆盖G的所有顶点,而是用(小)图F的不相交副本覆盖G。不太可能存在所有包含完美F-填充的图G的特征,因此在狄拉克定理的情况下,研究保证完美F-填充的G的最小度的条件是有意义的。Szemeredi的正则引理和Komlos、Sarkozy和Szemeredi的爆破引理已被证明是攻击此类问题的有力工具,最近,该领域的一些长期存在的问题和问题已被解决。在这次调查中,我们给出了一个大纲的最新进展(我们的主要重点是F-包装,哈密尔顿性问题和树嵌入),并描述了一些涉及的方法。
2009-01-22 math.CO
Minimum Connected Transversals in Graphs: New Hardness Results and Tractable Cases Using the Price of Connectivity
本文系统地研究了三个相关的横截问题:顶点覆盖、反馈顶点集和奇圈横截的连通变体的计算复杂性。就像它们的原始对应物一样,这些变体对于一般图是NP完全的。一个图$G$对某个图$H$是无$H$的,如果$G$不包含与$H$同构的导出子图.如果$H$包含爪或圈,则即使对于无$H$的图,连通点覆盖也是NP-完全的.我们表明,其他两个连接的变种也保持NP完全,如果$H$包含一个周期或爪。在其余情况下,$H$是线性森林。我们证明了对于每个常数$s\geq 1$,$sP_2$ -free图的连通顶点覆盖,连通反馈顶点集和连通奇循环translation是多项式时间可解的。为了证明这些结果,我们使用已知的顶点覆盖,反馈顶点集,奇循环断面的连通性的价格的结果。这是第一个应用程序的价格连接,导致多项式时间算法。
2017-09-21 cs.CC cs.DM cs.DS
Packing subgraphs in regular graphs
University College London(伦敦大学学院);University of Illinois at Urbana–Champaign(伊利诺伊大学厄巴纳-香槟分校);ETH, Zürich(苏黎世联邦理工学院)
研究证明正则图中存在覆盖所有顶点的子图打包方法,解决了Kühn和Osthus提出的双图覆盖问题。
2026-02-02 math.CO
Finding large $k$-colorable induced subgraphs in (bull, chair)-free and (bull,E)-free graphs
针对最大部分k着色问题,研究给出无(bull,chair)诱导子图的n顶点实例可在n^O(kω)时间解决,无(bull,E)诱导子图的实例可在n^O(kωlogn)时间解决,分别推导出k着色在前一类图中多项式时间可解、后一类拟多项式时间可解。
2025-04-07 cs.CC math.CO
The Density Turán problem
令$H$是$n$顶点上的图,并令爆破图$G[H]$定义如下。如果$(v_i,v_j)$是图$H$的一条边,我们用一个簇$A_i$代替$H$的每个顶点$v_i$,并连接$A_i$和$A_j$的一些顶点对.通常,我们将$A_i$和$A_j$之间的边密度定义为$d(A_i,A_j)=\frac{e(A_i,A_j)}{|A_i||A_j|}.$。给定每条边的密度$γ_{ij}$ $(i,j)\in E(H)$。然后判定是否存在一个边密度至少为$γ_{ij}$的爆破图$G[H]$,使得不能从每个簇中选择一个顶点,从而使得到的图与$H$同构,即没有$H$作为横截出现在$G[H]$中.我们称$d_{crit}(H)$为存在边密度为$d(A_i,A_j)=d_{crit}(H)$ $((v_i,v_j)\in E(H))$且不含上述意义下的$H$的爆破图$G[H]$的最大值。我们的主要目标是确定临界边密度和极值图的特征。
2014-07-29 math.CO
Cover and variable degeneracy
设$f$是图的顶点集上的非负整数值函数。一个图是\textbf{strictly $f$-degenerate},如果每个非空子图$Γ$有一个顶点$v$,使得$\mathrm{deg}_Γ(v) < f(v)$。本文定义了严格$f$ -退化断面的概念,它推广了列表染色、符号染色、DP-染色、$L$ -森林染色和$(f_{1}, f_{2}, \dots, f_{s})$ -划分.图$G$的\textbf{cover}是具有顶点集$V(H) = \bigcup_{v \in V(G)} X_{v}$的图$H$,其中$X_{v} = \{(v, 1), (v, 2), \dots, (v, s)\}$ ;边集$\mathscr{M} = \bigcup_{uv \in E(G)}\mathscr{M}_{uv}$,其中$\mathscr{M}_{uv}$是$X_{u}$和$X_{v}$之间的匹配。顶点集$R \subseteq V(H)$是$H$的一个\textbf{transversal},如果每个$v \in V(G)$有$|R \cap X_{v}| = 1$。如果$H[R]$是严格$f$ -简并的,则横截$R$是\textbf{strictly $f$-degenerate transversal}。本文的主要结果是一个度型结果,它推广了Brooks定理、Gallai定理、度可…
2021-12-27 cs.DM math.CO
Local Resilience for Containment of Bounded Degree Spanning Subgraphs
Department of Mathematics, The London School of Economics(伦敦政治经济学院数学系)
本文证明了随机图生成子图在最小度条件下可包含所有满足特定三角形外顶点条件的有界度图,给出了Sauer-Spencer定理的稀疏局部韧性版本,并允许H为扩张图。
2026-09-15 math.CO
Rainbow Turán number of even cycles, repeated patterns and blow-ups of cycles
图$H$的彩虹Turán数$\mathrm{ex}^*(n,H)$是一个没有彩虹子图同构于$H$的正确边着色的$n$ -顶点图的最大可能边数。证明了对任意整数$k\geq 2$,$\mathrm{ex}^*(n,C_{2k})=O(n^{1+1/k})$ .这是紧的,并建立了Keevash,Mubayi,Sudakov和Verstraëte的猜想。我们用同样的方法证明了不同主题中的其他几个命题。首先,我们证明了存在一个常数$c$,使得任何具有多于$cn(\log n)^4$条边的适当边着色的$n$ -顶点图包含一个彩虹圈。已知存在具有$Ω(n\log n)$边且不含彩虹圈的适当边着色$n$ -顶点图.其次,我们证明了在$K_n$的任意一个具有$o(n^{\frac{r}{r-1}\cdot \frac{k-1}{k}})$颜色的真边着色中,存在$C_{2k}$的$r$颜色同构的两两顶点不相交的拷贝。这强有力地证明了Conlon和Tyomkyn的一个猜想,以及Xu,Zhang,Jing和Ge提出的一个强有力的猜想.此外,我们还回答了Jiang和Newman提出的一个问题,证明了存在一个常数$c=c(r)$,使得任何具有多于$cn^{2-1/r}(\log n)^{7/r}$边的$n$ -顶点图都包含一个偶圈的$r$ -爆破.最后,证明了$C_{2k}$的$r$ -爆破具有Turán数…
2021-04-12 math.CO
An Extension of the Blow-up Lemma to arrangeable graphs
Blow-up引理是Komlós,Sárközy,and Szemerédi在1997年建立的一个重要工具,用于嵌入有界最大度的生成子图.在这里,我们证明了这个结果的几个概括关于嵌入的a-可交换的图,其中一个图被称为a-可交换的,如果它的顶点可以排序的方式,任何顶点v的右边的邻居有最多一个邻居的左边v的总数。可分解图的例子包括可平面图,更一般地,对于常数s没有K_s-细分的图。我们的主要结果表明,最大度不超过sqrt(n)/log(n)的a-可嵌入图可以嵌入到相应的超正则对系统中.这是最佳的对数因子。我们还提出了两个应用程序。本文证明了:任意最小度至少为((r-1)/r+γ)n的足够大的图G包含任意a-可交换的r-色图F的F-因子,其中f-可交换的r-色图F的顶点数不超过10 n,最大度不超过sqrt(n)/log(n),只要f-可交换的r-色图F的F-因子与γ/(ar)相比足够小.这推广了Alon和Yuster [J. Combin.理论系列B 66(2),269 -282,1996]。此外,我们证明了对于常数p,随机图G(n,p)对于最大度至多为n/log(n)的a-可交换n-顶点图类H是泛图,只要n/log(n)与p/a相比足够小.
2013-05-09 math.CO
Defective coloring of blowups
本文研究图的$(d+1)$-重团膨胀的$d$-缺陷色数与普通色数的关系,通过构造反例否定了二者相等的猜想,并证明经常数因子修正后该猜想成立。
2025-04-02 math.CO
Maximum list $r$-colorable induced subgraphs in $kP_3$-free graphs
证明了对每个固定的正整数 $r$ 和 $k$,最大权列表 $r$-可着色导出子图问题在 $kP_3$-free 图上有多项式时间算法,并由此推导出关于 $H$-free 图复杂性二分法等三个重要推论。
2025-05-01 cs.DM cs.DS math.CO
Hitting all longest paths in $H$-free graphs and $H$-graphs
该研究提出结构定理细化最长路径横贯,给出无$P_t$图、无(bull, chair)图等遗传图类的最长路径横贯数常数上界,并证明连通$H$-图的最长路径横贯数存在仅依赖$H$的常数上界。
2025-10-21 cs.DM math.CO
Odd Cycle Transversal on $H$-free graphs
Chalmers University of Technology(查尔姆斯理工大学);IT University of Copenhagen(哥本哈根信息技术大学);Norwegian School of Economics(挪威经济学院);University of Parma(帕尔马大学)
本文研究奇环横贯问题,在 $H$-free 图上给出拟多项式时间算法,通过引入 $H$-amiable 族实现复杂度二分法,并改进最大权重独立集归约开销。
2026-09-28 cs.DM cs.DS math.CO
Local resilience for squares of almost spanning cycles in sparse random graphs
1962年,Pósa证明了一个图$G=(V, E)$包含一个哈密尔顿圈的平方,如果$δ(G)\ge 2n/3$ .仅仅过了30多年,科姆洛什、萨尔科奇和塞梅雷迪用所谓的爆破引理证明了这个猜想。在这里,我们将他们的结果扩展到一个随机的图形设置。我们证明了对于每个$ε> 0$和$p=n^{-1/2+ε}$ a.a.s. $G_{n,p}$的每个最小度至少为$(2/3+ε)np$的子图在$(1-o(1))n$的顶点上包含圈的平方。这在三种方式中几乎是最好的可能:(1)对于$p\ll n^{-1/2}$,随机图将不包含长循环的任何平方(2)人们不能希望生成循环的平方的弹性版本(因为删除单个顶点的邻域中的所有边破坏了此属性)以及(3)对于$c<2/3$ a.a.s. $G_{n,p}$包含一个最小度至少为$cnp$的子图,该子图不包含$(1/3+c)n$顶点上的路的平方。
2016-06-09 math.CO
Social Networks: Enumerating Maximal Community Patterns in $c$-Closed Graphs
本文研究了在c-闭图中枚举任意有限图H的最大扩展问题,证明其数目受多项式限制,并探讨了诱导扩展的条件。
2025-12-05 cs.SI math.CO
Strong Forms of Stability from Flag Algebra Calculations
给定一个遗传的容许图族$\mathcal{G}$和一个线性依赖于$G$中的序$κ$子图统计量的函数$λ(G)$,我们考虑了确定$λ(n,\mathcal{G})$的极值问题,即$λ(G)$在所有$n$序的容许图$G$上的最大值.如果存在一个常数$C$,使得每一个$n\ge C$阶的可容许图$G$都可以通过至多改变$C(λ(n,\mathcal{G})-λ(G)){n\choose2}$的邻接关系而成为$B$的爆破,我们称这个问题是$B$ -完美稳定的.作为特殊情况,该性质描述了$o(n^2)$边内的所有$n$阶几乎极图,并证明了每一个$n\ge n_0$阶极图都是$B$的爆破图.我们开发的一般方法,建立稳定型的结果从旗代数计算,并将其应用到具体的例子。事实上,我们的完美稳定性的充分条件之一是以允许计算机自动验证的方式陈述的。这给出了一个统一的方法来获得许多新结果的计算机辅助证明。
2018-02-22 math.CO
Partite Saturation Problems
我们看几个饱和问题的完全平衡爆破图。我们让$H[n]$表示$H$在大小为$n$的部分上的放大,并且如果在$H[n]$的每个部分中有一个顶点,则将$H[n]$中的$H$的副本称为“partite”。然后,我们问有多少边的子图$G$的$H[n]$可以使$G$没有$H$的partite副本,但从$H[n]$的任何新的边缘添加创建一个partite $H$。当$H$是一个三角形时,该值由Ferrara、Jacobson、Pfender和Wenger确定。我们的主要结果是当$n$很大时计算$H=K_4$的这个值。我们也给出了确切的结果,路径和明星,并表明,$2$连通图的答案是线性的$n$,而对于图形不$2$连接的答案是二次的$n$。我们还调查了一个类似的问题,$G$是允许包含$H$的partite副本,但我们要求从$H[n]$添加任何新的边缘创建一个额外的partite副本$H$。这个问题变得简单得多,我们得到了所有集团和树的精确答案。
2015-06-08 math.CO
Random embeddings of bounded degree trees with optimal spread
本文针对有界度树在高最小度图中的随机嵌入,提出无需正则性引理的黑箱构造,利用常数大小子图继承线性最小度的性质得到最优散布分布。
2024-09-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
Beyond chromatic threshold via the $(p,q)$-theorem, and a sharp blow-up phenomenon
本文将极值组合学的色数阈值问题与离散几何的$(p,q)$-定理建立联系,证明超极大$K_r$-free图的$χ$-有界性,并揭示同态阈值问题的决定性因素是顶点共邻域的团密度条件,得出最优的单指数爆炸界。
2024-08-27 math.CO math.MG
NP-hardness of additive approximation for generalized Turán problems
University of Science and Technology of China(中国科学技术大学);East China Normal University(华东师范大学);Shaanxi Normal University(陕西师范大学);Tsinghua University(清华大学);Fuzhou University(福州大学)
本文证实了Alon与Shikhelman关于广义Turán问题加性近似NP-难解性的猜想,针对二分图T和团T,采用迭代叶子添加等归约方法完成证明。
2026-11-03 cs.CC math.CO
Supports for Outerplanar and Bounded Treewidth Graphs
本文研究非穿刺子图导出超图的稀疏支撑,证明外可平面图存在外可平面支撑,并给出有界树宽图上原始、对偶与交超图的树宽界及多项式构造算法。
2025-06-08 cs.DM math.CO
The typical structure of oriented graphs and digraphs with forbidden blow-up of transitive tournaments
School of Mathematics and Statistics, Guangdong University of Foreign Studies(广东外语外贸大学数学与统计学院)
研究禁止传递竞赛图爆破的有向图与有向图的典型结构,证明几乎所有此类图都具有特定r-划分,并给出计数渐近公式。
2026-05-23 math.CO math.OC
A survey on constructive methods for the Oberwolfach problem and its variants
本文综述了Oberwolfach问题及其变体的构造性方法,重点介绍放大构造、二部因子情形、循环图方法及具有良好自同构性质的解。
2023-08-08 math.CO
Robustness of the Sauer-Spencer Theorem
本文证明了Sauer-Spencer图嵌入定理的鲁棒版本,在更一般的最小度条件下,确定随机子图包含给定最大度图的概率阈值,并引入扩展阈值概念,将其与Bollobás-Eldridge-Catlin猜想联系起来。
2025-07-04 math.CO
On Hypergraph Supports
本文研究超图支撑的存在性,针对宿主图满足亏格或树宽条件且超边满足交叉自由或非穿刺条件时,构造受限族的原始和对偶支撑,并应用于几何超图的打包、覆盖与着色问题。
2026-09-18 cs.DM math.CO
The Linear Arboricity Conjecture for Graphs with Large Girth
本文证明了大环长图的线性林度上界,通过分解图并构造流网络来验证猜想。
2025-12-12 cs.DM math.CO
Turán H-densities for 3-graphs
给定$r$ -图$H$在$h$顶点上,以及一族$\mathcal{F}$禁止子图,我们定义$\ex_{H}(n, \mathcal{F})$为$r$ -图在$n$顶点上的无$\mathcal{F}$的$r$ -图中$H$的最大诱导拷贝数.则$\mathcal{F}$的\emph{Turán $H$-density}是极限\[π_{H}(\mathcal{F})= \lim_{n\rightarrow \infty}\ex_{H}(n, \mathcal{F})/\binom{n}{h}. \]。这概括了\emph{Turán density}(当$H$是$r$ -边时)和\emph{inducibility}(当$\mathcal{F}$为空时)的概念。虽然这类问题已经受到一些关注,但已知的结果很少。本文利用Razborov半定方法研究了3-图的Turán $H$ -密度。特别是,我们表明,\[π_{K_4^-}(K_4) = 16/27,\]与图兰的建设是最佳的。证明了$K_5$的一个类似性质的结果,并对$π_{K_t^-}(K_t)$的值作了一般性的猜想.我们还建立了\[π_{4.2}(\emptyset)=3/4,\],其中4.2表示4点3-图,恰好有2条边。在这种情况下,下界来自一个随机的几何结构显着不同,从以前已知的极端的例子在3-图论。我们给出了3-图的一些其它结果和图…
2012-01-20 math.CO
Sparse Approximate Chromatic Profiles of Triangle-Free Graphs
Fuzhou University(福州大学);East China Normal University(华东师范大学)
本文证明了Brandt-Thomassé四色定理的稀疏版本,确定了无三角形图通过$O(n/p)$次边删除实现$q$-部性的最小度阈值,并证明了系数$1/(2q)$在更强度条件下不可改进。
2026-09-24 math.CO
Vertex connectivity of the nonzero nonunit core of the comaximal graph of $\mathbb Z_n$
School of Mathematics and Statistics, Shandong University of Technology(山东理工大学数学与统计学院)
本文解决了一个关于非零非单位余类诱导子图G₂的连通度问题,通过中国剩余定理将问题转化为非空真子集的不交图,并推导出连通度公式及算法。
2026-05-02 cs.DM math.CO math.GR
Indicated list colouring game on graphs
该研究围绕图的指示列表染色博弈展开,刻画了非指示度可选图的结构为扩展Gallai树,给出对应线性判定算法,还分类刻画了IC-Brooks图并提出有界最大度图的线性判定算法。
2025-02-22 math.CO