A sharp Dirac-Erdős type bound for large graphs
设$k \geq 3$为整数,$h_{k}(G)$为图$G$中度至少为$2k$的顶点数,$\ell_{k}(G)$为图$G$中度至多为$2k-2$的顶点数. Dirac和Erdans在1963年证明了,如果$h_{k}(G) - \ell_{k}(G) \geq k^{2} + 2k - 4$,那么$G$包含$k$顶点不交圈。对于每个$k\geq 2$,他们还显示了一个无限序列的图$G_k(n)$与$h_{k}(G_k(n)) - \ell_{k}(G_k(n)) = 2k-1$,使得$G_k(n)$没有$k$不相交的循环。最近,作者证明了对于$k \geq 2$,$3k$的界足以保证$k$不交圈的存在,并对每个$k$给出了一个有$h_{k}(G_0(k)) - \ell_{k}(G_0(k))=3k-1$和无$k$不交圈的图$G_0(k)$.本文的目标是细化和锐化这一结果:我们表明,Dirac-Erdés的建设是最佳的意义上说,对于每一个$k \geq 2$,只有100多个图$G$与$h_{k}(G) - \ell_{k}(G) \geq 2k$,但没有$k$不相交的循环。特别地,每个具有$|V(G)| \geq 19k$和$h_{k}(G) - \ell_{k}(G) \geq 2k$的图$G$包含$k$不相交圈。
2017-07-12 math.CO
A tight Erdős-Pósa function for long cycles
一个经典的结果Erdés和Pósa说,任何图包含$k$顶点不相交的循环或可以通过删除最多$O(k \log k)$顶点成为无循环的。在这里,我们推广了这个结果,证明了对所有的数字$k$和$l$,并为每个图$G$,要么$G$包含$k$顶点不相交的周期长度至少$l$,或存在一个集$X$的$\mathcal O(kl+k\log k)$,满足所有的周期长度至少$l$在$G$。作为一个推论,任何图$G$的树宽度不包含长度至少为$l$的$k$顶点不相交圈,则树宽度为$\mathcal O(kl+k\log k)$阶。这些结果改进了Birmelé,Bondy和Reed '07以及Fiorini和Herinckx '14的工作,并且在常数因子下是最优的。
2016-03-24 math.CO
The Erdős-Szekeres problem for non-crossing convex sets
本文证明了Bisztriczky和Fejes T{ó}th关于平面凸体排列的一个猜想与Goodman和Pollack关于拓扑仿射平面中点集的一个猜想之间的等价性。作为这个等价的一个推论,我们改进了Pach和Tóth关于不相交凸体的Erdens-Szekeres定理的上界,以及Fox,Pach,Sudakov和Suk最近得到的关于不相交凸体的Erdens-Szekeres定理的上界.我们的方法也意味着改进的正分数Erd \H{os} -Szekeres定理的不相交(和非交叉)凸体,以及推广的分区Erdens-Szekeres定理的Pór和Valtr安排的非交叉凸体。
2013-08-31 math.CO
Treewidth of the Kneser Graph and the Erdős-Ko-Rado Theorem
树宽是一个重要的和众所周知的图参数,衡量一个图的复杂性。Kneser图Kneser(n,k)是顶点集为$\binom{[n]}{k}$的图,如果两个顶点不相交,则它们相邻。我们确定,对于大值的n关于k,确切的树宽的Kneser图。在这样做的过程中,我们还证明了一个加强的Erdens-Ko-Rado定理(对于大n关于k)时,允许一些不相交的对k-集。
2013-10-21 math.CO
Remarks on the Erdős Matching Conjecture for Vector Spaces
在1965年,Paul Erdans提出了关于$\{ 1, \ldots, n \}$中$k$ -集的最大家族$Y$的问题,使得$Y$不包含$s+1$成对不交集。这个问题通常被称为Erdans匹配猜想。我们研究了这个问题的$q$ -类比,即我们想确定$\mathbb{F}_q^n$中$k$ -空间的最大族$Y$的大小,使得$Y$不包含$s+1$成对不相交的$k$ -空间.在这里,我们称两个子空间不相交,如果他们相交平凡。我们的主要结果是,稍微简化,如果$16 s \leq \min\{ q^{\frac{n-k}{4}},$ $q^{\frac{n-2k+1}{3}} \}$,那么$Y$是小的或相交的家庭的联合。因此,我们显示了这个范围的Erd \H{os}匹配猜想。证明使用的方法由于Metsch。我们也讨论建筑。特别是,我们表明,对于较大的$s$,有大的例子,这是在大小上接近相交的家庭联盟,但结构不同。作为一个应用,我们讨论了向量空间的Erdums匹配猜想和Cameron-Liebler线类(及其到$k$ -空间的推广)之间的密切关系,这是近30年来有限几何中的一个热门话题.更具体地说,我们提出了Erdés匹配猜想(向量空间)作为一个有趣的变化的经典研究Cameron-Liebler线类。
2020-07-20 math.CO
The second largest Erdős-Ko-Rado sets of generators of the hyperbolic quadrics $\mathcal{Q}^{+}(4n+1,q)$
双曲二次曲面的生成元的Erdens-Ko-Rado集是两两不相交的生成元的集合。本文对双曲二次曲面$\mathcal{Q}^{+}(4n+1,q)$,$q\geq3$的生成元的第二大极大Erdens-Ko-Rado集进行了分类.
2016-01-14 math.CO
$K_4$-subdivisions have the edge-Erdős-Pósa property
我们证明了每个图$G$包含$k$边不相交的$K_4$ -细分或一组至多$O(k^8 \log k)$边的$X$,使得$G-X$不包含任何$K_4$ -细分。这表明$K_4$ -细分具有边-Erdens-Pósa性质。
2018-08-30 math.CO
A strengthening of Halin's grid theorem
证明了对于图$G$中不相交的等价射线的每一个无限集合$\mathcal{R}$,$G$中的六边形半网格都有一个细分,使得它的所有垂直射线都属于$\mathcal{R}$ .这个结果加强了哈林的网格定理,因为它控制了使用哪一组特定的射线,而它的证明明显更短。
2021-04-21 math.CO
Removal and Stability for Erdős-Ko-Rado
一个$k$ -均匀的$[n]$子集族是相交的,如果它不包含不相交的集合对。相交族的研究是极值集理论的核心,可以追溯到1961年的开创性的Erdens-Ko-Rado定理,该定理限制了最大的此类族的大小。最近的一个趋势是研究具有很少不相交对的集合族的结构。Friedgut和Regev证明了一个一般的删除引理,表明当$γn \le k \le (\tfrac12 - γ)n$,一个集合族与少数不相交对可以通过删除少数集相交。我们提供了大家族去除引理的简单证明,表明大小接近$\ell \binom{n-1}{k-1}$且不相交对相对较少的家族必须接近$\ell$星的并。我们的引理适用于广泛的一致性;特别是,当$\ell = 1$时,结果适用于所有$2 \le k < \frac{n}{2}$,并提供了精确的定量估计。我们利用这个移除引理解决了Bollobás,Narayanan和Raigorodskii关于Kneser图$K(n,k)$的随机子图的独立数的一个问题. Erdens-Ko-Rado定理表明了$α(K(n,k)) = \binom{n-1}{k-1}$。对于一些常数$c > 0$和$k \le cn$,我们确定了尖锐的阈值时,这个等式成立的随机子图的$K(n,k)$,并提供强界的临界概率$k \le \tfrac12 (n-3)$。
2016-03-09 math.CO
Directed cycles have the edge-Erd\H os-Pósa property
本文证明了对每个$k\in \mathbb{N}$都存在一个$t_k\in\mathbb{N}$使得对每个有向图$G$都存在$k$边不相交的有向圈或至多有$t_k$边的集合$X$使得$G-X$不含有向圈.
2018-02-14 math.CO
Localized Erdős-Pósa Property for Subdivisions
本文证明了具有子图 Erdős-Pósa 性质的图 H 满足局部版本的 Erdős-Pósa 性质,并给出了相关结论。
2026-10-01 math.CO
The minimum number of disjoint pairs in set systems and related problems
设F是[n]上的一个集合系统,所有集合都有k个元素,且每对集合相交。1961年著名的Erdos-Ko-Rado定理说,任何这样的系统的大小最多为${n-1 \choose k-1}$。一个自然的问题,这是问Ahlswede在1980年,是有多少不相交对必须出现在一套系统的规模较大。除了Ahlswede和Katona解决的k=2的情况外,这个问题在过去的三十年里一直没有得到解决。本文确定了小k-一致族中不相交对的最小数目,从而证实了Bollobas和Leader的一个猜想。此外,我们获得了类似的结果,两个著名的扩展的埃尔多-科-拉多定理,确定最小数量的匹配大小q和最小数量的t-不相交对出现在集系统大于相应的极值界。在后一种情况下,这为Kleitman和West的问题提供了部分解决方案。
2013-05-29 math.CO
Spectral strengthening of a theorem on transversal critical graphs
图$G$的横截集是与$G$的所有边关联的顶点的集合。$G$的横截数,记作$τ(G)$,是$G$的横截集的最小基数。一个没有孤立点的简单图$G$称为$τ$ -临界图,如果对$e\in E(G)$的每条边都有$τ(G-e) < τ(G)$.对于任何$τ$ -临界图$G$与$τ(G)=t$,它已被证明是$|V(G)|\le 2t$由Erdenses和Gallai和$|E(G)|\le {t+1\choose 2}$由Erdenses,Hajnal和月亮。最近,Gyárfás和Lehel将其扩展为$|V(G)| + |E(G)|\le {t+2\choose 2}$。在本文中,我们通过谱证明了更强的结果。令$G$是具有$τ(G)=t$和$|V(G)|=n$的$τ$ -临界图,并令$λ_1$表示$G$的邻接矩阵的最大特征值。我们证明了$n + λ_1\le 2t+1$与平等当且仅当$G$是$tK_2$,$K_{s+1}\cup (t-s)K_2$,或$C_{2s-1}\cup (t-s)K_2$,其中$2\leq s\leq t$ ;特别是,$λ_1(G)\le t$与平等当且仅当$G$是$K_{t+1}$。然后,我们应用它表明,对于任何非负整数$r$,我们有$n\left(r+ \frac{λ_1}{2}\right) \le {t+r+1\choose 2}$和所有的极值图的特征。这意味…
2021-11-25 math.CO
Many disjoint triangles in co-triangle-free graphs
证明了任何补图是无三角形的$n$ -顶点图都含有$n^2/12-o(n^2)$边不交三角形。这对于两个$n/2$序集团的不交并是紧的。我们还证明了相应的稳定性定理,即所有达到上述界限的大型图都接近于二分图。我们的结果回答了Alon和Linial的一个问题,并对Erdens的一个猜想作出了改进.
2020-01-08 math.CO
Vertex-minors and the Erdős-Hajnal conjecture
证明了对图$H$,存在$\varepsilon>0$,使得每个与$H$同构的没有顶点子式的$n$ -顶点图都有一对顶点的不交集$A$,$B$,使得$|A|, |B|\ge \varepsilon n$和$A$是$B$的完全或反完全的.我们从Chudnovsky,Scott,Seymour和Spirkl(2018)的最新工作中推断出这一点。这证明了Erdens-Hajnal猜想对于顶点子式的类似性。
2018-09-06 math.CO
Random graphs with few disjoint cycles
经典的Erdens-Pósa定理指出,对于每个正整数k,存在一个f(k),使得在每个不具有k+1个不相交圈的图G中,存在一个大小至多为f(k)的阻塞器;也就是说,一个至多为f(k)个顶点的集合B,使得G-B没有圈。我们证明,在顶点集{1,.上的所有此类图中,n},除了指数小的比例之外,所有的都具有大小为k的阻塞器。我们还给出了从这类图中均匀抽样的随机图的进一步性质,包括阻塞唯一性、连通性、色数和团数。证明主定理的一个关键步骤是证明必须有一个blocker,就像在Erdens-Pósa定理中一样,具有额外的“冗余”性质,即B-v对于B中的所有顶点v仍然是blocker,但至多k个顶点v。
2010-10-29 math.CO
Degree versions of the Erdos-Ko-Rado Theorem and Erdos hypergraph matching conjecture
我们用代数方法证明了著名的Erd \H os-Ko-Rado定理的一个度版本:给定$n>2k$,每个相交的$k$ -均匀超图$H$在$n$顶点上包含一个顶点,该顶点位于至多$\binom{n-2}{k-2}$边上。这个结果可以看作是一个特殊的情况下的度版本的一个著名的猜想Erdens超图匹配。改进了1976年Bollobás,Daykin和Erd \H os的工作,证明了给定整数$n, k, s$和$n\ge 3k^2 s$,每个$k$ -均匀超图$H$在$n$顶点上的最小顶点度大于$\binom{n-1}{k-1}-\binom{n-s}{k-1}$,包含$s$不交边.
2016-05-24 math.CO
Long cycles have the edge-Erdős-Pósa property
证明了长圈集具有边-Erdibs-Pósa性质:对于每个固定整数$\ell\ge 3$和每个$k\in\mathbb{N}$,每个图$G$要么包含长度至少为$\ell$(长圈)的$k$边不相交圈,要么包含长度为$O(k^2\log k + \ell k)$的边集$X$,使得$G-X$不包含任何长圈.这回答了Birmelé、Bondy和Reed的一个问题(Combinatorica 27(2007),135- 145)。
2017-05-30 math.CO
Transference for the Erdős-Ko-Rado theorem
对于自然数$n,r \in \mathbb{N}$具有$n\ge r$,Kneser图$K(n,r)$是$\{1,\dots,n\}$的$r$ -元素子集族上的图,其中两个集合相邻当且仅当它们不相交。以一定的概率删除$K(n,r)$的边,这些边彼此独立:这个随机图的独立数是否等于Kneser图本身的独立数?我们肯定地回答这个问题,只要$r/n$是有界远离$1/2$,即使当保留的Kneser图的边缘的概率是相当小的。这给了我们一个随机模拟的Erdens-Ko-Rado定理,因为一个独立集在Kneser图是相同的一致相交的家庭。为了证明我们的主要结果,我们给出了一个族中不相交对个数的一些新的估计,这些估计是独立的。
2016-09-06 math.CO
A strengthening on odd cycles in graphs of given chromatic number
Gyárfás解决了Bollobás和Erdás的一个猜想,证明了每个具有色数$k+1\geq 3$的图$G$包含具有$\lfloor\frac{k}{2}\rfloor$不同奇长的圈。我们加强这一突出的结果表明,这样的$G$包含周期的$\lfloor\frac{k}{2}\rfloor$连续奇数长度。一路上,结合极值和结构工具,我们证明了一个更强的声明,每个图的色数$k+1\geq 7$包含$k$周期的连续长度,除了一些块是$K_{k+1}$。作为推论,这证实了Verstraëte的一个猜想,并回答了Moore和West的一个问题。
2021-04-06 math.CO
The Erdős-Hajnal property for graphs with no fixed cycle as a pivot-minor
证明了对任意整数$k$,存在$\varepsilon > 0$,使得对任意n-顶点图$G$,不存在与$C_k$同构的子子图,存在不交集$A,B \subseteq V(G)$,使得$|A|,|B| \geq \varepsilon n$,以及$A$与$B$是完全的或反完全的.这证明了类似的Erdens-Hajnal猜想的类图没有图的子同构$C_k$。
2021-07-01 math.CO
An improved integrality gap for disjoint cycles in planar graphs
提出新贪心取整算法解决平面图不可交叉环族环包装问题,将自然包装LP整数间隙上界改进至略小于3.5,并得出改进的Erdős-Pósa比率。
2024-04-27 math.CO
Improved Erdős-Pósa inequalities for odd cycles in planar graphs
Research Institute for Discrete Mathematics and Hausdorff Center for Mathematics, University of Bonn(离散数学研究所与豪斯多夫数学中心,波恩大学)
本文改进了平面图中奇圈的埃罗什-波萨不等式,证明其比值不超过4,优于之前的6。
2025-12-28 math.CO
The Erdös-Pósa property for clique minors in highly connected graphs
本文证明了函数f:N^2 -> N的存在性,使得对于N中的所有p,k,每个(k(p-3)+14 p +14)-连通图要么有k个不相交的Kp子图,要么包含一个至多f(p,k)个顶点的集合,其删除杀死所有Kp子图.对于固定的p > 4,k(p-3)的连通性界是最小的,直到一个加法常数:如果我们假设k的连通性更小,那么就没有这样的函数f。
2010-03-20 math.CO
Ramsey-finiteness for graph pairs: A complete solution to the Burr-Erdős-Faudree-Schelp conjectures
School of Mathematics and Statistics, Qinghai Normal University(青海师范大学数学与统计学院)
本文证明了两个1981年的猜想,探讨了图对的Ramsey有限性,并反驳了Burr的更强猜想,同时重新表述了Faudree的定理。
2026-04-19 math.CO
Towards a conjecture of Birmelé-Bondy-Reed on the Erdős-Pósa property of long cycles
Birmelé,Bondy和Reed的一个猜想指出,对于任意整数$\ell\geq 3$,每个不存在两个长度至少为$\ell$的顶点不相交圈的图$G$包含一个至多为$\ell$的顶点集,该顶点集满足所有长度至少为$\ell$的圈.他们表明存在这样一组至多$2\ell+3$顶点。Meierling、Rautenbach和Sasse将其改进为$5\ell/3+29/2$。在这里,我们提出了一个证明,表明在最多$3\ell/2+7/2$顶点足够。
2021-12-28 math.CO
Extensions of Erdős's 1962 theorem on non-Hamiltonian graphs
College of Computer Science, Nankai University(南开大学计算机学院);Center for Applied Mathematics, Henan University(河南大学应用数学中心)
本文基于Erdős 1962年定理,扩展了非哈密顿图的极值理论,解决了多个开放问题并改进了相关结果。
2026-08-20 math.CO
An analogue of the Erdős-Stone theorem for finite geometries
对于$\PG(m-1,q)$中的点的集合$G$,令$\ex_q(G;n)$表示不包含$G$的副本的$\PG(n-1,q)$中的点的集合的最大大小,直到射影等价。我们表明,\[\lim_{n\rightarrow \infty} \frac{\ex_q(G;n)}{|\PG(n-1,q)|} = 1-q^{1-c},\],其中$c$是最小的整数,使有一个秩$(m-c)$平坦的$\PG(m-1,q)$是不相交的$G$。所得结果是Hales-Jewett定理的密度形式的一个初等应用。
2012-03-08 math.CO
Long cycles through prescribed vertices have the Erdős-Pósa property
我们证明,对于每个图,任何顶点子集$S$,并给定整数$k,\ell$:有$k$不相交的周期长度至少$\ell$,每个包含至少一个顶点从$S$,或顶点集的大小$O(\ell \cdot k \log k)$,满足所有这样的周期。这概括了Fiorini和Hendrickx以及Pontecorvi和Wollan以前的结果。此外,我们描述了我们的主要结果,运行在$O(k \log k \cdot s^2 \cdot (f(\ell) \cdot n+m))$时间,其中$s$表示的基数$S$的算法。
2015-04-22 math.CO
A problem of Erdős on the minimum number of $k$-cliques
50年前,Erdens要求确定图中独立数小于l的$n$顶点上的$k$ -团的最小数目。他解释说,这个最小值是通过大小为$\frac{n}{l-1}$的$l-1$完全图的不相交并集来实现的。Nikiforov证明了这个猜想是错误的,他证明了一个5-圈的平衡爆破比2个大小为$\frac{n}{2}$的完全图的联合有更少的4-团。本文解决了$(k,l)=(3,4)$和$(k,l)=(4,3)$中的Erdibs问题。使用稳定性参数,我们还描述了精确的结构极值的例子,确认Erdales '猜想$(k,l)=(3,4)$和显示,爆破的5-循环给出了最低的$(k,l)=(4,3)$。
2012-03-13 math.CO
Strong Erdős-Hajnal properties in chordal graphs
一个图类$\mathcal{G}$具有强Erdens-Hajnal性质(SEH-性质),如果存在一个常数$c=c(\mathcal{G}) > 0$使得对于$\mathcal{G}$的每个成员$G$,$G$或其补图都有$K_{m, m}$作为子图,其中$m \geq \left\lfloor c|V(G)|\right\rfloor$ .证明了这类弦图满足SEH-性质,且具有常数$c = 2/9$ .另一方面,Alon等人(2005)和Fox等人(2012)在几何设置中讨论了SEH性质的加强,我们称之为彩色Erdens-Hajnal性质。受他们的结果的启发,我们表明,对于每一对$F_1, F_2$的子树家庭的相同大小的树$T$与$k$叶,存在的子家庭$F'_1 \subseteq F_1$和$F'_2 \subseteq F_2$的大小$θ\left( \frac{\ln k}{k} \left| F_1 \right|\right)$,这样,无论是每一对不同的子家庭的代表相交或每一个这样的对不相交。我们的结果是渐近最优的。
2023-02-05 math.CO
Long $A$-$B$-paths have the edge-Erd\H os-Pósa property
对于固定整数$\ell$,如果路径的长度至少为$\ell$,则路径是长的。本文证明了对所有整数$k$和$\ell$,存在一个数$f(k,\ell)$使得对每个图$G$和顶点集$A,B$,图$G$要么包含$k$边不相交的长$A$-$B$-路,要么包含一个大小为$|F|\leq f(k,\ell)$的边集$F$满足每个长$A$-$B$-路,这是Montejano和Neumann-Lara(1984)定理的边类比.对于长$A$ -路和长$\mathcal{S}$ -路,我们也证明了类似的结果.
2019-03-19 math.CO
Extremal problems on disjoint path covers of graphs
School of Mathematics and Statistics, Key Laboratory of Analytical Mathematics and Applications (Ministry of Education), Fujian Key Laboratory of Analytical Mathematics and Applications (FJKLAMA), Center for Applied Mathematics of Fujian Province (FJNU), Fujian Normal University(福建师范大学数学与统计学院,分析数学及应用教育部重点实验室,福建省分析数学及应用重点实验室(FJKLAMA),福建省应用数学中心(FJNU))
本文研究图的不相交路径覆盖的极值问题,通过推广哈密顿性结果,分别依据团数量与\(\alpha\)-谱半径,建立图具有不同类型\(t\)不相交路径覆盖的充分条件,并刻画达到这些界的极值图。
2026-07-10 math.CO
The exact bound for the Erdős-Ko-Rado theorem for $t$-cycle-intersecting permutations
在本文中,我们采用了Ahlswede和Khachatrian在证明完整Erdos-Ko-Rado定理时使用的技术来表明,如果$n \geq 2t+1$,则任何成对的$t$ -循环相交排列族的基数小于或等于$(n-t)!$。此外,唯一能达到这个大小的族是$t$点的稳定子,也就是说,由共有$t$ 1-圈的所有排列组成的族。这是一个加强以前的结果Ku和Renshaw和支持最近的猜想埃利斯,Friedgut和Pilpel关于相应的限制$t$交叉家庭的排列。
2013-03-01 math.CO
A refinement of theorems on vertex-disjoint chorded cycles
1963年,Corrádi和Hajnal解决了Erdés的一个猜想,证明了对所有$k \geq 1$,任何具有$|G| \geq 3k$且最小度至少为$2k$的图$G$包含$k$顶点不交圈。在2008年,Finkel证明了对于所有的$k \geq 1$,任何具有$|G| \geq 4k$且最小度至少为$3k$的图$G$包含$k$顶点不相交的弦圈。Finkel的结果在2010年得到了Chiba,Fujita,Gao,and Li的加强,他们证明了,对于所有的$k \geq 1$,任何具有$|G| \geq 4k$和最小Ore度至少为$6k-1$的图$G$包含$k$顶点不交圈。我们改进了这个结果,表征图$G$与$|G| \geq 4k$和最小Ore度至少$6k-2$,没有$k$不相交弦圈。
2015-11-13 math.CO
A Turán theorem for extensions via an Erdős-Ko-Rado theorem for Lagrangians
$r$ -一致超图$G$的扩张是通过对$G$的每一对未被$G$中的边覆盖的顶点添加包含这对顶点和$(r-2)$新顶点的额外边而得到的.本文确定了由两条顶点不相交边组成的$r$ -图的扩张图的Turán数,解决了Hefetz和Keevash的一个猜想,Hefetz和Keevash以前确定了$r=3$的这个Turán数.作为证明的关键成分,我们证明了相交$r$ -图的拉格朗日是最大化的主要相交$r$ -图$r \geq 4$。
2017-07-05 math.CO
Andr{á}sfai--Erdős--Sós theorem under max-degree constraints
本文在最大度限制下加强了 Andr{á}sfai--Erdős--Sós 定理,并给出了一个不依赖原定理的替代证明。
2025-12-11 math.CO
An Erd{\H o}s-Ko-Rado theorem for permutations with fixed number of cycles
令$S_{n}$表示$[n]=\{1,2,\dots, n\}$的置换集。对于正整数$k$,将$S_{n,k}$定义为具有恰好$k$不相交循环的$[n]$的所有排列的集合,即,\[ S_{n,k} = \{π\in S_{n}: π= c_{1}c_{2} \cdots c_{k}\},\],其中$c_1,c_2,\dots ,c_k$为不相交循环。$S_{n,k}$的大小由$\left [ \begin{matrix}n\\ k \end{matrix}\right]=(-1)^{n-k}s(n,k)$给出,其中$s(n,k)$是第一类斯特林数。如果$\mathcal{A}$的任何两个元素至少有$t$公共圈,则称族$\mathcal{A} \subseteq S_{n,k}$为$t$ -{ \em相交}。本文证明了,给定任意正整数$k,t$,$k\geq t+1$,存在一个整数$n_0=n_0(k,t)$,使得对所有的$n\geq n_0$,如果$\mathcal{A} \subseteq S_{n,k}$是$t$ -相交的,则\[ |\mathcal{A}| \le \left [ \begin{matrix}n-t\\ k-t \end{matrix}\right],\]具有相等性当且仅当$\mathcal{A}$是$t$不动点的稳定子.
2014-02-04 math.CO
Erdős-Hajnal properties for powers of sparse graphs
我们证明,对于每个无处稠密的图类$\mathcal{C}$、正整数$d$和$\varepsilon>0$,以下成立:在来自$\mathcal{C}$的每个$n$ -顶点图$G$中,可以找到两个不相交的顶点子集$A,B\subseteq V(G)$,使得$|A|\geq (1/2-\varepsilon)\cdot n$和$|B|=Ω(n^{1-\varepsilon})$,并且对于所有$a\in A$和$b\in B$,可以是$\operatorname{dist}(a,b)\leq d$,或者对于所有$a\in A$和$b\in B$,可以是$\operatorname{dist}(a,b)>d$。我们还展示了一些更强的变体,这句话,包括一个概括的一阶解释无处密集的图形类的设置。
2020-11-21 math.CO
Parity linkage and the Erdős-Pósa property of odd cycles through prescribed vertices in highly connected graphs
我们证明了以下每个充分连通图$G$,$G$的任何顶点子集$S$,和给定的整数$k$:有$k$不相交的奇循环在$G$每个包含一个顶点的$S$或有一个集合$X$的最多$2k-2$顶点,使$G-X$不包含任何奇循环,包含一个顶点的$S$。我们通过Kawarabayashi和Reed关于奇偶- $k$ -链接图的结果(Combinatorica 29,215-225)的推广证明了这一点。从这个结果很容易推出其他几个著名的关于高连通图中奇圈的Erdens-Pósa性质的结果。这分别加强了Rautenbach和Reed(Combinatorica 21,267-278)的结果。
2016-02-16 math.CO
Extremal problems on planar graphs without k edge-disjoint cycles
在20世纪60年代,Erdens和他的合作者开始研究图或可平面图在不含$k$边不交圈的$n$顶点上的最大边数.这个问题已经为$k\leq4$解决了。正如Bollobás所指出的那样,对于一般的$k$来说是非常困难的。最近,Tait和Tobin [J. Combin. Theory Ser. B,2017]证实了关于$n$ -顶点可平面图的最大谱半径的一个著名猜想。受上述结果的启发,我们考虑了不含$k$边不交圈的可平面图上的两个极值问题。本文首先确定了阶为$n$且度为$n-1$且不含$k$边不交圈的可平面图的最大边数。在此基础上,我们确定了所有可平面图的最大谱半径以及它的唯一极图的$n$顶点没有$k$边不交圈。最后,我们还讨论了一般图的几个极值问题。
2022-07-20 math.CO
Erdos-Gallai Stability Theorem for Linear Forests
Erdens-Gallai定理指出,每一个平均度大于$l-2$的图都包含一条关于$l\ge 2$的$l$阶的路。在本文中,我们得到了一个稳定的版本的Erdens-Gallai定理的最小程度。设$G$为$n$阶连通图,$F=(\bigcup_{i=1}^kP_{2a_i})\bigcup(\bigcup_{i=1}^lP_{2b_i+1})$为$2a_1, \ldots, 2a_{k}, 2b_1+1, \ldots, 2b_l+1,$阶$k+l$不相交路,其中$k\ge 0$,$0\le l\le 2$,$k+l\geq 2$ .若最小度为$δ(G)\ge \sum_{i=1}^ka_i+\sum_{i=1}^lb_i-1$,则除几类图外,对于足够大的$n$,有$F\subseteq G$,推广和加强了Ali和Staton关于偶路的结果和Yuan和Nikiforov关于奇路的结果.
2019-08-02 math.CO
Two problems on matchings in set families - in the footsteps of Erdős and Kleitman
如果不存在满足$|F_1\cup\ldots\cup F_s|\le q.$的成对不相交的$F_1\in \mathcal F_1,\ldots, F_s\in\mathcal F_s$,则族$\mathcal F_1,\ldots, \mathcal F_s\subset 2^{[n]}$称为$q$依赖的.我们确定所有值$n\ge q,s\ge 2$的$\max |\mathcal F_1|+\ldots +|\mathcal F_s| $.这个结果是Kleitman的一个重要经典结果的推广。著名的Erd \H os Matching Conjecture提出了一个没有$s$两两不相交集的家族$\mathcal F\subset {[n]\choose k}$的最大尺寸。50多年后,它的全面解决仍然遥遥无期。本文在较宽的范围内,特别是对于$n\ge (2+o(1))sk$和$o(1)$仅依赖于$s$的情形,给出了Erdsps匹配猜想的Hilton-Milner型稳定性定理.这是一个相当大的改进的经典结果由于Bollobás,Daykin和Erdés。我们应用我们的结果推进以下反拉姆齐型问题,由Özkahya和Young提出。令$ar(n,k,s)$是颜色的最小数目$x$,使得在具有$x$(非空)颜色的$[n]$的$k$元素子集的任何着色中,存在大小为$s$的\textit{rai…
2018-10-15 cs.DM math.CO
The Erdos-Ko-Rado theorem for perfect matchings
$2k$ -匹配是完全图在$2k$顶点上的完美匹配。如果两个$2k$ -匹配至少具有共同的$t$边,则它们被定义为$t$-相交。本文的主要结果是,如果$k \geq 3t/2+1$,那么$t$ -相交$2k$ -匹配的最大系统的大小为$(2(k-t)-1)!! = \prod_{i=0}^{k-t-1}(2k-2t-2i-1)$,并且满足此界的唯一系统由包含一组$t$不相交边的所有$2k$ -匹配组成。此外,对于$t\geq 6$,$k$上的该界限是尖锐的。本文所用的方法类似于Ahlswede和Khachatrian给出的完全Erdens-Ko-Rado定理的证明。
2010-06-07 math.CO
On extremal graphs with at most two internally disjoint Steiner trees connecting any three vertices
确定最小边数$h(n;\barκ\geq r)$的问题是由Erdös和Gallai提出的,它保证任何具有$n$顶点和$h(n;\barκ\geq r)$边的图将包含一对由$r$内部不相交路径连接的顶点。Bollobás考虑的问题,确定最大数量的边缘$f(n;\barκ\leq \ell)$的图与$n$顶点和当地的连通性最多$\ell$。可以看到,$f(n;\barκ\leq \ell)= h(n;\barκ\geq \ell+1)-1$。这两个问题在过去的几十年里受到了许多研究者的广泛关注。在上述问题中,只考虑由内部不相交路径连接的顶点对。本文研究了连接基数至少为3的顶点集的内部不交Steiner树的个数。
2013-01-26 math.CO
Extremal results on Berge disjoint paths
Tsinghua University(清华大学)
本文研究了Berge不相交路径的极值问题,给出了更一般的结果,确定了ex_r(n,Berge-kP_ℓ)的精确值。
2026-01-24 math.CO
Erdős-Pósa from ball packing
一个经典的定理Erdés和Pósa(1965)指出,每个图要么有$k$顶点不相交的圈,要么有一组$O(k \log k)$顶点满足它的所有圈。虽然标准的证明围绕着在图中找到一个大的“框架”(一个大的立方图的细分),证明这个定理的另一种方法是使用Kühn和Osthus(2003)和Diestel和Rempel(2005)的球填充论证。在本文中,我们认为,后一种方法是特别适合于研究边变量的Erdens-Pósa定理。作为一个例子,我们给出了Bruhn,Heinlein和Joos(2019)的一个定理的简短证明,即长度至少为$\ell$的圈具有所谓的边-Erdibs-Pósa性质。更准确地说,我们证明了每个图$G$要么包含$k$边不相交的周期长度至少$\ell$或边集$F$的大小$O(k\ell \cdot \log (k\ell))$,使$G-F$没有周期的长度至少$\ell$。对于固定的$\ell$,这改进了以前最好的已知的$O(k^2 \log k +k\ell)$的界限。
2020-06-08 cs.DM math.CO
On the Erdős-Pósa property for long holes in $C_4$-free graphs
证明了存在一个函数$f(k)=\mathcal{O}(k^2 \log k)$,使得对于每个$C_4$ -free图$G$和每个$k \in \mathbb{N}$,$G$或者包含长度至少为$6$的$k$顶点不相交洞,或者包含至多为$f(k)$顶点的集合$X$,使得$G-X$没有长度至少为$6$的洞.这回答了Kim和Kwon [Erdens-Pósa]关于无弦周期的性质及其应用的一个问题。JCTB 2020]。
2021-05-25 cs.DM math.CO
The proofs of two directed paths conjectures of Bollobás and Leader
令$A$和$B$是$n$维超立方体$Q_n$的顶点的大小为$2^k$的不相交集合。1997年,Bollobás和Leader证明了在这样的$A$和$B$之间一定存在$(n-k)2^k$边不相交的路。他们指出,当$A$是下集,而$B$是上集时,这些路径可以选择为有向的(即路径中的顶点形成链)。我们使用一种新的类型的压缩参数来证明这些构造的更强的版本,即最大数量的边不相交的路径之间的向下设置的$A$和向上设置的$B$是相同的最大数量的有向边不相交的路径之间的$A$和$B$。Bollobás和领导人提出了一个类似的猜想顶点不相交的道路,我们证明了加强这一类似的方法。我们也证明了类似的结果,所有其他大小的$A$和$B$。
2015-04-27 math.CO
Erdős-Pósa property of tripods in directed graphs
本文定义了有向图中由两条共享后缀的S-T路径构成的三脚架子图,并证明其满足Erdős-Pósa性质,即若不存在k个顶点不相交的三脚架,则可用f(k)个顶点覆盖所有三脚架。
2024-08-29 cs.DM math.CO
The Lovász-Cherkassky theorem in infinite graphs
本文在无限图背景下,将Lovász-Cherkassky定理推广到“内欧拉”设置中边不相交$ T $-路径的打包问题,延续Erdős-Menger猜想的无限推广思路。
2023-11-11 math.CO
Hamilton cycles in weighted Erdős-Rényi graphs
给定一个对称的$n\times n$矩阵$P$,其上有$0 \le P(u, v)\le 1$,通过独立地包含任意边$\{u, v\}$,概率为$P(u, v)$,我们定义了一个$[n]$上的随机图$G_{n, P}$.对于$k\ge 1$,令$\mathcal{A}_k$是包含$\lfloor k/2 \rfloor$ Hamilton圈的性质,如果$k$是奇数,则有一个完美匹配,所有边不相交。通过对$P$的特征值条件和对它的行和的条件,$G_{n, P}\in \mathcal{A}_k$以高概率发生当且仅当$G_{n, P}$具有最小度$k$ whp。我们还提供了一个点击时间版本。作为一种特殊情况,当PDMATHABM_Z为常数时,伪随机$(n, d, μ)$ -图上的随机图过程具有$\mathcal{A}_k$性质,只要它以高概率获得最小度$k$.
2020-12-22 math.CO
An Erdős-Ko-Rado type theorem for subgraphs of perfect matchings
本文研究了完美匹配子图的相交族,证明了当 $n\ge 2p+s$ 时该族具有 Erdős-Ko-Rado 性质,并将此最优界限改进了 Fuentes 和 Kamat 的近期定理。
2024-07-24 math.CO
Erdös-Ko-Rado theorems for chordal and bipartite graphs
由Holroyd、Spencer和Talbot提出的Erdös-Ko-Rado定理的一个较新的推广,以下面的方式定义了图的Erdös-Ko-Rado性质:对于图G和一个正整数r,称G是r-EKR,如果所有大小为r的独立点集的族中没有相交子族大于最大星,本文证明了:如果G是弦图的不交并,且至少包含一个单点,则G是r-EKR,如果$r$,其中μ(G)是极大独立集的最小尺寸.我们还将证明完全图链的Erdös-Ko-Rado结果,完全图是一类通过将路径的边爆破成完全图而得到的弦图。我们还考虑了梯形图和树的类似问题,并证明了这些图的初步结果。
2009-07-15 math.CO