Defective colouring of graphs excluding a subgraph or minor
Archdeacon(1987)证明了可嵌入到固定曲面上的图可以是$3$ -着色的,使得每一个着色类都导出一个有界最大度的子图。Edwards,Kang,Kim,Oum and Seymour(2015)证明了没有$K_{t+1}$ -子图的图可以是$t$ -着色的,使得每个颜色类都导出一个有界最大度的子图。我们证明了一个共同的概括,这些定理与较弱的假设排除子图。这一结果导致了几类图的新的缺陷着色结果,包括具有线性交叉数的图,具有给定厚度的图(与地球-月球问题相关),具有给定栈数或栈数的图,无链接或knockless可嵌入图,具有给定Colin de Verdière参数的图,以及排除完全二部图作为拓扑子图的图。
2017-04-04 math.CO
Induced subgraphs and tree decompositions XVI. Complete bipartite induced minors
Princeton University(普林斯顿大学);University of Waterloo(滑铁卢大学)
该研究证明了具有足够大完全二分图诱导极小式的图要么包含大墙诱导极小式,要么包含大星座,并进一步将不可避诱导子图分为两种高度结构化的星座。
2026-02-18 math.CO
Partitioning Edge-Coloured Complete Symmetric Digraphs into Monochromatic Complete Subgraphs
设$K_{\mathbb{N}}$是正整数上的完全对称有向图。我们利用DeBiasio和McKenney的一个问题,构造了$K_{\mathbb{N}}$的边的$2$ -着色,其中每条单色路径的密度为~ $0$ .然而,如果我们限制单色路径的长度在一种颜色,那么没有上面的例子可以存在:我们表明,每一个$(r+1)$ -边着色完全对称有向图(任意无限基数)不包含任何颜色$i\leq r$的边长度$\ell_i$的有向路径可以覆盖的颜色$r+1$的$\prod_{i\leq r} \ell_i$成对不相交的单色完全对称有向图。此外,我们提出了一个稳定版本的可数情况下的后一个结果:我们证明了边着色是唯一确定的一个大子图,只要上密度的单色路径的颜色$r+1$是有界的$\prod_{i\in [r]}\frac{1}{\ell_i}$。
2018-05-04 math.CO
Large complete minors in random subgraphs
设$G$是最小度至少为$k$的图,$G_p$是$G$的随机子图,通过以概率$p$保持每条边独立而获得。我们感兴趣的是当$p = \frac{1+\varepsilon}{k}$与$\varepsilon >0$一起使用时,$G_p$包含的最大完全子式的大小。我们发现,以高概率$G_p$包含一个完整的未成年人的顺序$\tildeΩ(\sqrt{k})$,其中的$\sim$隐藏一个多对数因子。此外,在$G$的顺序的情况下,也有界以上的$k$的一个常数倍,我们表明,这个polylogarithmic项可以删除,给一个紧的约束。
2020-10-05 math.CO
Forbidding the subdivided claw as a subgraph or a minor
University of South Alabama(南阿拉巴马大学);Vanderbilt University(范德堡大学)
本文研究了禁止细分爪作为子图或矿脉的图的性质,并探讨了其在Turán数、路径宽度和图增长常数中的应用。
2026-02-03 math.CO
Clustered Coloring of Graphs Excluding a Subgraph and a Minor
Texas A&M University(德克萨斯农工大学);Monash University(莫纳什大学)
本文研究排除子图和/或子式的图的聚类着色问题,证明了多类图的有界聚类着色数最优界,改进了奇子式相关猜想的现有界值。
2021-12-04 math.CO
Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration
给定图$G$和$H$,我们提出了一种方法,隐式枚举的拓扑子嵌入的$H$在$G$使用决策图。我们展示了一个有用的应用程序,我们的方法枚举子图的特征在于禁止拓扑未成年人,即,平面,outerplanar,串并联,仙人掌子图。计算实验表明,我们的方法可以找到所有平面子图在一个给定的图在最多五个数量级的速度比一个天真的回溯为基础的方法。
2019-11-18 cs.DS math.CO
Partitioning Complete Geometric Graphs on Dense Point Sets into Plane Subgraphs
该研究针对稠密点集(点集最大最小距离比为Θ(√n))的完全几何图,证明存在小于1的正常数c,使得其可划分为至多cn个无交叉平面子图,解决了特定情形下的相关公开问题。
2024-08-20 cs.DM math.CO
Universal graphs for the topological minor relation
本文证明可数平面图类中不存在拓扑子式万有图,回答了Diestel和Kühn的问题并加强了Pach的结果,同时刻画了细分星图T使得可数T-自由图类具有拓扑子式万有图的条件。
2023-05-28 math.CO
Partitioning an interval graph into subgraphs with small claws
图$G$的爪数是使$K_{1,v}$是$G$的导出子图的最大数$v$。当$v = 1$是簇图时,爪数最多为$v$的区间图是簇图,当$v = 2$是真区间图.设$κ(n,v)$是最小数$k$,使得每一个具有$n$顶点的区间图允许一个顶点划分成爪数至多为$v$的$k$诱导子图.设$\checkκ(w,v)$是最小数$k$,使得每个爪数为$w$的区间图允许一个顶点划分为爪数至多为$v$的$k$诱导子图.我们表明,$κ(n,v) = \lfloor\log_{v+1} (n v + 1)\rfloor$,和$\lfloor\log_{v+1} w\rfloor + 1 \le \checkκ(w,v) \le \lfloor\log_{v+1} w\rfloor + 3$。除了组合界限,我们还提出了一个简单的近似算法划分为最小数量的诱导子图的爪数最多$v$,与近似比$3$时,$1 \le v \le 2$,和$2$时,$v \ge 3$。
2021-09-23 cs.DM cs.DS math.CO
New Invariants for Partitioning a Graph into 2-connected Subgraphs
本文引入两个新不变量$σ^*(G)$和$α^*(G)$,证明若$σ^*(G)\geq |V(G)|$,则图$G$存在至多$α^*(G)$个部分的2-真划分,该结果最优并推广了已有最小度与度和条件。
2024-03-13 math.CO
Clique minors in graphs with a forbidden subgraph
经典的Hadwiger猜想可以追溯到20世纪40年代,它指出任何色数至少为$r$的图都有阶为$r$的团作为子图。Hadwiger猜想是一个很好的研究类问题的一个例子,问多大的团未成年人可以保证在一个图有一定的限制。这种类型的一个问题是问什么是最大规模的团子图的$n$顶点的独立数$α(G)$至多$r$。如果Hadwiger猜想成立,则意味着存在一个$n/α(G)$阶的团子。Kuhn和Osthus以及Krivelevich和Sudakov的结果表明,如果另外假设对于某个二部图$H$,$G$是$H$ -free的,那么可以找到一个多项式更大的团子式.这最近已扩展到三角形自由图的Dvokiák和Yepremyan,回答一个问题的诺林。我们完成的图片,并表明,同样是真实的任意图$H$,回答一个问题的Dvokiák和Yepremyan。特别地,我们证明了任何$K_s$ -free图都有一个阶为$c_s(n/α(G))^{1+\frac{1}{10(s-2) }}$的团子式,对于某个常数$c_s$,它只依赖于$s$ .该结果中的指数在$\frac{1}{s-2}$项之前紧到常数因子。
2021-02-08 math.CO
Partitions of Graphs into Special Bipartite Graphs
本文研究了在禁止子图约束下将完全图边集划分为双图的问题,证明了χ'_{2K_2}(n)的界,并探讨了其他禁止子图的边界情况。
2025-11-14 math.CO
An Asymptotically Tight $t\log t$ Bound for $k$-Connected Subgraphs in Dense $K_t$-Minor-Free Graphs
Center for Discrete Mathematics, Fuzhou University(福州大学离散数学中心);Fuzhou University(福州大学)
研究在稠密无 \(K_t\) 子图的图中 \(k\) - 连通子图的界,通过改进方法,将结构界从 \(O(t\log^3 t)\) 提升到 \(O(t\log^2 t)\),优化了相关图的阶,从 \(O(t\log^4 t)\) 变为 \(O(t\log^3 t)\)。
2026-08-07 math.CO
$K_{4}$-Minor-Free Induced Subgraphs of Sparse Connected Graphs
我们证明了每一个具有$m$边的连通图$G$包含至多$\frac{3}{16}(m + 1)$顶点的集合$X$,使得$G-X$没有$K_4$子图,或者等价地,至多$2$有树宽.这个界限是最好的。连通性是必不可少的:如果$G$未连接,则只能保证$\frac{1}{5}m$的一个界限。
2016-05-17 cs.DM math.CO
Perfect matching cuts partitioning a graph into complementary subgraphs
在划分成互补子图(Comp-Sub)中,我们给出了一个图$G=(V,E)$和一个边集性质$Π$,并问对于某个图$H$,$G$是否可以分解成两个图$H$和它的补图$\overline{H}$,使得边割$[V(H),V(\overline{H})]$满足性质$Π$ .出于以前的工作,我们认为Comp-Sub($Π$)时,属性$Π=\mathcal{PM}$指定的边缘切割的分解是一个完美的匹配。证明了当图$G$是$\{C_{k\geq 7}, \overline{C}_{k\geq 7} \}$ -free时,Comp-Sub($\mathcal{PM}$)是GI-难的.另一方面,我们证明了Comp-Sub($\mathcal{PM}$)在$hole$ -free图和$P_5$ -free图上是多项式时间可解的.此外,我们提出了弦,距离遗传和扩展的$P_4$ -载货图的Comp-Sub($\mathcal{PM}$)的特征。
2022-10-13 cs.DS math.CO
Unavoidable cycle-contraction minors of large $2$-connected graphs
本文研究了大2连通图的不可避免循环收缩minors,通过收缩循环得到minors,建立了与诱导子图定理对偶的结论。
2025-11-22 math.CO
Almost partitioning the hypercube into copies of a graph
设$H$是超立方体$Q_k$的诱导子图,对于某些$k$ .我们发现,对于某些$c = c(H)$,$Q_n$的顶点可以被划分为诱导的$H$和剩余的最多$O(n^c)$顶点的副本。我们还表明,误差项不能被任何小于$\log n$。
2016-12-14 math.CO
Induced minors and well-quasi-ordering
图$H$是图$G$的导出子图,如果它可以通过收缩边从$G$的诱导子图得到。否则,$G$被认为是无$H$诱导的次要的。Robin Thomas证明了$K_4$诱导的无子图是由诱导子图良准序的[Graphs without $K_4$ and well-quasi-ordering,Journal of Combinatorial Theory,Series B,38(3):240 - 247,1985]。本文给出了$H$ -诱导无子图的一个二分法,证明了一类$H$ -诱导无子图是由诱导子图关系良准序的当且仅当$H$是gem(4点上的路加一个控制点)或4点上的完全图加一个2度点所得到的图的诱导子图.为此,我们证明了两个分解定理是独立的利益。类似的二分性结果以前曾在丁国立的[Subgraphs and well-quasi-ordering,Journal of图论,16(5):489- 502,1992]和Peter Damaschke的[诱导子图and well-quasi-ordering,Journal of图论,14(4):427- 435,1990]中给出。
2018-01-22 cs.DM math.CO
A Catlin-type Theorem for Graph Partitioning Avoiding Prescribed Subgraphs
作为Brooks定理的一个推广,Catlin在1979年证明了如果$H$既不是奇圈也不是具有最大度$Δ(H)$的完全图,则$H$有一个点$Δ(H)$ -染色使得其中一个色类是最大独立集。设$G$是阶至少为$2$的连通图.图$H$的$G$ -free $k$ -染色是将图$H$的顶点集划分为$V_1,\ldots,V_k$,使得在图$V_i$上导出的子图$H[V_i]$不包含与图$G$同构的子图.作为Catlin定理的一个推广,我们证明了一个图$H$有一个$G$ -free $\lceil{Δ(H)\over δ(G)}\rceil$ -染色,其中一个色类是$V(H)$的一个最大$G$ -free子集,如果$H$满足下列条件;(1)如果$G$是正则的,则$H$不同构于$G$,(2)如果$G \simeq K_{δ(G)+1}$,则$H$不同构于$K_{kδ(G)+1}$,(3)若$G$同构于$K_2$,则$H$不是奇圈.事实上,我们证明了更多,通过证明,如果$G_1,\ldots,G_k$是连通图与最小度$d_1,\ldots,d_k$,分别,和$Δ(H)=\sum_{i=1}^{k}d_k$,则存在$H$到$V_1,\ldots,V_k$的顶点的划分,使得每个$H[V_i]$是无$G_i$的,并且此外可以以$H[V_i]$是最大$G_i$的方式来选择$V_i$中的一个。除了$k=1…
2020-02-11 math.CO
Unavoidable substructures in large and infinite $2$-edge-connected graphs
University of South Alabama(南阿拉巴马大学);Vanderbilt University(范德堡大学)
本文研究了大且无限2-边连通图中的不可避免诱导子结构,发现'pinched super-clean ladders'等结构在其中扮演关键角色,并推导出关于大子图、拓扑Minor、Minor、诱导拓扑Minor、诱导Minor及欧拉子图的相关结论。
2026-06-08 math.CO
Generalizing Cographs to 2-Cographs
如果一个图的每个连通诱导子图都有一个不连通补图,则称之为上图。这样的图正是不具有作为诱导子图的4-顶点路径的图。我们定义了一个$2$ -余图,在这个图中,每个$2$ -连通诱导子图的补图都不是$2$ -连通的.我们表明,像上图,$2$ -上图可以递归定义。但是,与上图不同,$2$ -上图在诱导子式下是封闭的。刻画了一类非$2$ -余图,使得每一真导出子图都是$2$ -余图.我们进一步找到了这个类的100多个成员,其补图也是诱导-小-极小非$2$ -余图。
2022-03-10 math.CO
Partitioning ordered hypergraphs
{ \em序$r$ -图}是顶点集是线性序的$r$ -一致超图.给定$2\leq k\leq r$,一个有序$r$ -图$H$是{ \em interval} $k$ -{ \em partite},如果在序中至少存在$k$不交区间,使得$H$的每条边与每个区间都有非空交集,并且包含在它们的并集中.我们的主要结果是:对每个$α> k - 1$和$d>0$,每个$n$ -顶点序的$r$ -图有$d \,n^α$-边,对于某些$m\leq n$,有一个$m$ -顶点区间的$k$ -部的子图有$Ω(d\, m^α)$-边.这是Erd \H os和Kleitman关于每个$r$ -图都包含一个边的比例为常数的$r$ -部子图的观察的有序$r$ -图的推广.限制$α> k-1$是尖锐的。我们还提出了应用程序的主要结果的几个极值问题的有序超图。
2020-04-09 math.CO
Partitioning and coloring with degree constraints
证明了如果$G$是一个点临界图,且对某些$p \in \mathbb{N}$和$ω(\fancy{H}(G)) \leq \frac{χ(G) + 1}{p + 1} - 2$有$χ(G) \geq Δ(G) + 1 - p \geq 4$,则有$G = K_{χ(G)}$或$G = O_5$ .这里$\fancy{H}(G)$是$G$在度至少为$χ(G)$的顶点上导出的子图。这简化和改进了Kostochka,Rabern和Stiebitz \cite{krs_one}的论文中的结果。
2012-09-17 math.CO
Improper coloring of graphs with no odd clique minor
作为Hadwiger猜想的一个加强,Gerards和Seymour证明了任何没有奇数$K_t$子式的图都是$(t-1)$ -可着色的.我们证明了这个猜想的两个较弱的变种。首先,我们证明了对于每个$t \geq 2$,每个不含奇数$K_t$子图的图都有一个将其顶点集划分为$6t-9$集$V_1, \dots, V_{6t-9}$的划分,使得每个$V_i$诱导出一个最大度有界的子图.其次,我们证明了,对于每个$t \geq 2$,每个图没有奇数$K_t$子有一个分区的顶点集到$10t-13$集$V_1, \dots, V_{10t-13}$,使每个$V_i$诱导一个子图的组件有界大小。第二个定理改进了Kawarabayashi(2008)的结果,该结果指出顶点集可以划分为$496t$这样的集合。
2018-09-14 math.CO
Rooted Minors and Locally Spanning Subgraphs
本文提出一套通用机制,将关于 $k$-连通图($1 \leq k \leq 4$)的结构命题加强为局部生成版本,通过引入以 $X$ 为根的 minor 概念,并结合 Tutte 路径理论,导出了度受限树、哈密顿路径与圈及 $2$-连通子图等六个著名结果的局部生成版本。
2023-04-05 math.CO
Obstructions for partitioning into forests and outerplanar graphs
对于一类图$\mathcal C$,我们定义图$G$的$\mathcal C$ -边脆度为最小$\ell$,使得$G$的顶点集可以被划分为若干个集合,从而在$\mathcal C$中产生一个子图,并且有$\ell$边在不同的部分具有端点.我们刻画类图有界$\mathcal C$ -边脆性一类$\mathcal C$的森林或一类$\mathcal C$的图没有$K_4\setminus e$拓扑未成年人的禁止障碍。我们还定义了图$G$的$\mathcal C$ -顶点脆性为最小$\ell$,使得$G$的边集可以被划分成若干个集合,从而在$\mathcal C$中产生一个子图,并且在不同的部分中有$\ell$顶点与边关联。我们刻画了一类图具有有界的$\mathcal C$ -点脆性的一类$\mathcal C$森林或一类$\mathcal C$的外平面图的禁止障碍。我们还研究了新的参数和编辑距离之间的关系。
2020-11-04 math.CO
Forcing finite minors in sparse infinite graphs by large-degree assumptions
进一步发展斯坦最近的概念,在无限图的相对端度,我们调查的程度假设可以迫使一个局部有限图包含一个给定的有限未成年人,或一个有限的子图给定的最低程度。这是一个更广泛的项目的一部分,该项目旨在发展稀疏无限图的极值理论。
2012-09-24 math.CO
Expansion, long cycles, and complete minors in supercritical random subgraphs of the hypercube
类似于二项式随机图$G(d+1,p)$的情况,已知$d$维超立方体的随机子图的行为,其中我们以概率$p$独立地包括每个边,我们用$Q^d_p$表示,在$p=\frac{1}{d}$的临界值附近经历相变。更准确地说,标准论证表明,显著低于$p$的这个值,概率趋于1,如$d \to \infty$(简称whp),这个图的所有分量都有$O(d)$阶,而Ajtai,Komlós和Szemerédi表明,显著高于这个值,在\emph{supercritical regime}中,whp有一个唯一的$Θ\left(2^d\right)$阶的“巨型”分量。在$G(d+1,p)$更多的是已知的复杂结构的随机图出现在这个超临界状态。例如,已知在该体系中,whp $G(d+1,p)$包含长度为$Ω(d)$的路径和圈,以及$Ω\left(\sqrt{d}\right)$阶的完全子式。本文在$Q^d_p$中得到了类似的结果。特别是,我们表明,对于超临界$p$,即,当$p=\frac{1+ε}{d}$为正常数$ε$时,whp $Q^d_p$包含长度为$Ω\left(\frac{2^d}{d^3(\log d)^3} \right)$的圈和$Ω\left(\frac{2^{\frac{d}{2}}}{d^3(\log d)^3 }\right)$阶的完全子式。为了证明这些结果,我们表明,whp的$Q^d_p$…
2021-12-01 math.CO
Saturation Numbers for Minors
饱和数$\text{sat}(n,\mathcal{F})$是任何不包含$\mathcal{F}$的成员作为子图的图中的最小边数,但如果添加任何边则会包含。我们给了一些上限和下界的饱和数的未成年人。特别地,我们将证明某些广义Petersen图对于$6\le r\le 8$是$K^r$ -小饱和的.
2020-12-06 math.CO
Unavoidable induced subgraphs in graphs with complete bipartite induced minors
本文证明了包含特定完全二部图作为导出子式的图必然包含环或theta作为导出子图,并指出排除网格与完全二部图导出子式不足以保证树独立数或有界树宽。
2025-07-22 cs.DM math.CO
Universal graphs with forbidden wheel minors
本文证明对任意禁止轮图子式的可数图类,存在一个泛图包含该类中所有图作为诱导子图。
2023-09-21 math.CO
Decomposing Cubic Graphs into Connected Subgraphs of Size Three
令$S=\{K_{1,3},K_3,P_4\}$是大小为3的连通图的集合。研究了图$G$的边集的划分问题,将图$G$的边集划分为任意非空$S'\subseteq S$的边集.对于一般图中任何可能的$S'$选择,该问题都是NP完全的.本文假设输入图是三次图,研究了任意选择$S'$的边集划分问题的计算复杂性。我们确定了该环境中的所有多项式和NP完全问题,并给出了某些情况下$S'$可分解三次图的图论特征。
2016-04-28 cs.DS math.CO
Partitioning a graph into degenerate subgraphs
设$G = (V, E)$是一个连通图,其最大度$k\geq 3$不同于$K_{k+1}$ .给定整数$s \geq 2$和$p_1,\ldots,p_s\geq 0$,如果存在将$V$划分为集合~ $V_1,\ldots,V_s$的划分,使得$G[V_i]$是$i\in\{1,\ldots,s\}$的$p_i$ -退化,则称$G$是$(p_1, \dots, p_s)$ -可划分的。本文证明了:只要$1\geq p_1, \dots, p_s \geq 0$和$p_1 + \dots + p_s \geq k - s$都存在,就能在$O(|V| + |E|)$ -时间中找到$G$的一个$(p_1, \dots, p_s)$ -划分.这推广了Bonamy等人(MFCS,2017)的结果,并且可以被视为Brooks定理和关于有界最大度图的顶点荫度的几个结果的算法扩展。我们还证明了,决定是否$G$是$(p, q)$ -可分割的是$\mathbb{NP}$ -完全的每个$k \geq 5$和非负整数$(p, q)$对,使$(p, q) \not = (1, 1)$和$p + q = k - 3$。这解决了Bonamy等人的一个未决问题。(手稿,2017)。结合Borodin,Kostochka and Toft(\emph{Discrete Mathematics},2000),Yang…
2019-08-07 cs.DM math.CO
Eulerian-minors and a concise recursive characterization of 4-regular planar graphs
本文利用欧拉子式关系刻画欧拉图、平面欧拉图和外平面欧拉图,并给出4-正则平面图的简洁递归刻画。
2024-01-11 math.CO
Rank-width and Tree-width of H-minor-free Graphs
本文证明了对任意固定的r>=2,不含K_r拓扑子式的图的树宽(分别为K_r = 0,K_r = 0)。作为子图)由线性(分别地,多项式)的函数。我们也给出了其他图类,如K_r-子自由图和有界亏格图的界的改进。
2009-10-01 math.CO
Defective coloring is perfect for minors
该研究证实了子式闭族缺陷色数等于标准构造下界的猜想,得到聚类色数与禁子式树深度的线性关系,改进了此前的指数界。
2023-11-22 math.CO
A note on vertex partitions
证明了一个关于图的顶点集划分为有界度子图的一般引理。这个引理推广了Lovász,Catlin,Kostochka和Rabern的一系列结果。
2011-07-08 math.CO
On tree decompositions whose trees are minors
在2019年,Dvotelák问是否每个连通图$G$都有树分解$(T, \mathcal{B})$,使得$T$是$G$的子图,并且$(T, \mathcal{B})$的宽度由$G$的树宽度的函数限定。我们证明,这是假的,即使当$G$有树宽$2$和$T$允许是一个未成年人的$G$。
2023-02-23 math.CO
Faithful universal graphs for minor-closed classes
研究minor-闭类的忠实通用图,证明K_t-minor-无且含所有n顶点平面图的图需2^{Ω(n)}顶点,构造多项式大小的K_4-minor-无图(含所有n顶点树)和K_7-minor-无图(含所有n顶点K_4-minor-无图),回答相关问题并推广研究各类图的通用图阶。
2025-08-23 cs.DS math.CO
A note on Hadwiger's conjecture: Another proof that every 4-chromatic graph has a $K_4$ minor
本文针对哈德维格猜想的第一个非平凡情形,给出一种新证明,通过利用图的子图的正常3-染色来构造$K_4$子式,从而证明每个色数至少为4的图都含有$K_4$子式。
2023-08-10 math.CO
Bipartite clique minors in graphs of large Hadwiger number
Hadwiger数$h(G)$是$G$中最大完全子式的阶数。足够的Hadwiger数是否意味着一个具有额外性质的子式?在[2]中,Geelen等人证明了$h(G)\geq (1+o(1))ct\sqrt{\ln t}$意味着对于某些显式$c\sim 1.276\dotsc$,$G$有一个Hadwiger数至少为$t$的二部子图.我们将其改进为$h(G) \geq (1+o(1))t\sqrt{\log_2 t}$,并提供了一个结构,表明这是紧的。我们还得到了改进的边界的拓扑小变量这个问题。
2021-07-14 math.CO
Computing Treedepth Obstructions
本文提出算法计算树深度不超过k的图类的禁止 minor、子图和诱导子图,针对k=4和n=16得出完整障碍集。
2025-12-01 cs.DM cs.DS math.CO
On Partitioning the Edges of 1-Plane Graphs
1-平面图是嵌入在平面中的图,使得每条边最多交叉一次。一个1-平面图是最优的,如果它有最大的边密度。最优1-平面图$G$的红-蓝边着色将图$G$的边集划分为蓝边和红边,使得两条蓝边和两条红边互不相交.我们证明如下:$(i)$每个最优1-平面图都有一个红-蓝边着色,使得蓝色子图是最大平面图,而红色子图的顶点度最多为4;顶点度的这个界限是最坏情况下的最优。$(ii)$一个红-蓝边着色并不总是导致有界顶点度的红色森林。本文还讨论了这些结果在图形扩充和图形绘制中的应用。
2016-12-07 cs.CG math.CO
Polynomial expansion and sublinear separators
设$\mathcal{C}$是一类在取子图下闭的图.证明了:如果对固定的$0<δ\le 1$,$\mathcal{C}$的每个$n$ -顶点图都有一个阶为$O(n^{1-δ})$的平衡分离子,则$\mathcal{C}$中的任何深度- $k$子图(即半径至多为$k$的不交子图收缩得到的子图)都有平均度$O\big((k \text{ polylog }k)^{1/δ}\big)$ .这证实了德沃夏克和诺林的一个猜想。
2017-10-10 math.CO
Spectral conditions for forbidden subgraphs in bipartite graphs
一个图$G$是无$H$的,如果它不包含作为子图的$H$.一个图被称为\emph{$H$-minor free},如果它不包含$H$作为子图。近年来,Nikiforov提出了一个问题:$n$阶的$H$-free图的最大谱半径是多少?本文研究了二部图上的Brualdi-Solheid-Turán型问题.在2015年,Zhai,Lin和Gong证明了如果$G$是具有$n \geq 2k+2$和$ρ(G)\geq ρ(K_{k,n-k})$阶的二部图,则$G$包含$C_{2k+2}$,除非$G \cong K_{k,n-k}$ [Linear Algebra Appl. 471(2015)]。首先,我们给出了上述定理的一个新的更简单的证明。其次,证明了如果$G$是一个二部图,其序为$n \geq 2k+2$和$ρ(G)\geq ρ(K_{k,n-k})$,则$G$包含除$G \cong K_{k,n-k}$之外的所有$T_{2k+3}$.最后证明了在所有$n>344569$顶点上的外平面二部图中,$K_{1,n-1}$达到最大谱半径.
2023-02-07 math.CO
Unique colorability and clique minors
对于图G,设h(G)表示使得G有k个两两不相交的两两相邻连通非空子图的最大k,设s(G)表示使得G有k个两两不相交的两两相邻连通大小为1或2的子图的最大k. Hadwiger猜想指出h(G)至少是c(G),其中c(G)是G的色数. Seymour证明了s(G)至少是|V(G)|/2,对所有不含反三角形的图,i. e.三个两两不相邻的顶点在这里,我们集中在图G的恰好一个c(G)-染色。我们证明了(i)如果c(G)至多为6且G恰好有一个c(G)-染色,则h(G)至少为c(G),这里的证明不使用四色定理;(ii)如果G没有反三角形且G恰好有一个c(G)-染色,则s(G)至少为|V(G)|/2.
2015-08-06 math.CO
Extremal function for rooted $K_5$ minors
Charles University, Prague, Czech Republic(布拉格查理大学)
本文证明了5-连通图边数达到4n-10时,任意五个顶点可收缩得到K_5 minor,且该界最优。
2026-09-15 math.CO
Complete minors in digraphs with given dichromatic number
有向图$D$的二色数$\vecχ(D)$是允许$k$ -染色的最小$k$,其中每个色类诱导一个无圈子图。受Hadwiger关于无向图的猜想的启发,最近有几组作者研究了给定二色数的有向图中有向图子图的包含问题.在这个简短的说明中,我们改进了现有的几个边界,并证明几乎线性边界减少的问题,最近的结果波斯特尔Hadwiger猜想。
2021-01-12 math.CO
Partitioning of a graph into induced subgraphs not containing prescribed cliques
本文研究图的划分问题,证明在特定条件下可将图划分为若干导出子图,使其不包含指定团,并推广了Borodin-Kostochka猜想及相关结果。
2023-07-25 math.CO
Shallow Minors, Graph Products and Beyond Planar Graphs
Dujmović,Jordet,Micek,Morin,Ueckerdt,and Wood [J. ACM 2020]的可平面图乘积结构定理指出,每个可平面图都是树宽有界的图和路的强乘积的子图,这个结果已经成为解决队列布局、非重复着色、中心着色和邻接标号方案等重要公开问题的关键工具。在本文中,我们扩展了这条线的研究,利用浅子证明类似的产品结构定理的几个超越可平面图类。驱动我们工作的关键观察是,许多超越可平面图可以被描述为可平面图与小完全图的强积的浅子图。特别地,我们证明了平面图、$k$ -平面图、$(k,p)$ -簇平面图、扇平面图和$k$ -扇丛可平面图的幂都具有这种浅子结构.利用新旧结果的结合,我们推出了这些类具有有界的色数、有界的非重复色数、多项式$p$ -中心色数、线性强色数和立方弱色数.此外,我们证明了$k$ -间隙可平面图至少有指数局部树宽,因此,不能被描述为一个有界树宽图和一条路的强积的子图。
2022-06-17 math.CO
Universal planar graphs for the topological minor relation
Huynh等人最近证明了一个包含每个可列可平面图作为子图的可列图$G$必须包含任意大的有限完全图作为拓扑子图,和一个无限完全图作为子图。我们加强了这一结果表明,同样的结论成立,如果$G$包含每个可数可平面图作为拓扑子。特别地,不存在包含每个可数可平面图作为拓扑子式的可数可平面图,这回答了Diestel和Kühn的一个问题。此外,我们构造了一个局部有限可平面图,它包含每个局部有限可平面图作为拓扑子图。这表明,在上述结果中,要求$G$包含每个局部有限可平面图作为拓扑子式是不够的。
2022-03-18 math.CO
The random strategy in Maker-Breaker graph minor games
在一个$(1:b)$偏向制造者-破坏者博弈中,一个策略对一个参与者来说有多好,可以通过选择合适的反策略,对手可以赢得的偏向范围来衡量。Bednarska和Adamuczak证明了在$H$ -子图博弈中,Maker的一致随机策略是高概率最优的.在这里,我们证明了一个类似的结果为$H$ -图小游戏,我们研究的选择$H$的随机策略是在一个因素的$1+o(1)$是最佳的。
2019-07-10 math.CO
Girth six cubic graphs have Petersen minors
本文证明了任何不含长度小于6的圈的3-正则图都有一个子图同构于Petersen图的一个剖分。
2014-05-02 cs.DM math.CO