An elementary proof of the bunkbed conjecture for forests
Bernoulli Institute of Mathematics, University of Groningen(格罗宁根大学伯努利数学研究所);Department of Statistics, University of Oxford(牛津大学统计系)
针对一般图上不成立的上下铺猜想,本文给出其对任意无环图(森林)成立的简短自洽初等证明,该论证具备一定教学意义。
2025-11-17 math.CO math.PR
Ehrhart Bounds for Panhandle and Paving Matroids Through Enumeration of Chain Forests
本文通过有序链森林的枚举,证明了Panhandle拟阵多面体的Ehrhart正性及铺砌拟阵的Ferroni系数上界猜想。
2025-05-29 math.CO
Grundy domination of forests and the strong product conjecture
图$G$中顶点的最大序列$S$,使得$S$中的每个顶点都有一个独立于或自身独立于$S$中所有先前顶点的邻居,称为Grundy控制序列。Grundy控制数$γ_{gr}(G)$是$S$的长度。我们表明,对于任何森林$F$,$γ_{gr}(F)=|V(T)|-|\mathcal{P}|$,其中$\mathcal{P}$是一个最小的分区的非孤立顶点的$F$到毛虫,如果两个毛虫的$\mathcal{P}$有一个边缘之间的$F$,那么这样的边缘必须入射到一个非叶顶点的毛虫中的至少一个。我们利用这个结果证明了B的强乘积猜想。布雷沙角Bujtás,T. Gologranc,S.克拉瓦扎尔湾科什姆尔利湾帕科斯僵尸Tuza和M.张文,张文,等。23(4):P4.34(2016),所有森林。也就是说,我们表明,对于任何森林$G$和图$H$,$γ_{gr}(G \boxtimes H) = γ_{gr}(G) γ_{gr}(H)$。我们还证明了每个连通图$G$都有一个生成树$T$,使得$γ_{gr}(G)\le γ_{gr}(T)$和每个非完全连通图都包含一个Grundy控制集$S$,使得$S$的导出子图不包含孤立点.
2021-04-12 math.CO
An Approximate Version of the Strong Nine Dragon Tree Conjecture
强九龙树猜想认为,对于任意整数$k$和$d$,任何分数荫度至多为$k + \frac{d}{d+k+1}$的图都可以分解成$k+1$森林,使得对于至少一个森林,每个连通分支至多包含$d$边。我们证明了这个猜想时,$d \leq k+1$。我们还证明了这个猜想的一个近似版本,即,我们证明了,对于任何正整数$k$和$d$,任何图的分数荫度最多$k + \frac{d}{d+k+1}$分解成$k+1$森林,使得一个至少有一个森林,每个连通组件包含最多$d + \frac{d(k (2\lceil \frac{d}{k+1} +2 \rceil)^{\lceil \frac{d}{k+1} + 2) \rceil} - k)}{k+1} $边缘。
2020-07-14 math.CO
The Turán problem for a family of tight linear forests
设$\mathcal{F}$是一族$r$ -图.图兰数$ex_r(n;\mathcal{F})$定义为$r$ -图中无$\mathcal{F}$的$n$阶的最大边数.著名的Erdés匹配猜想证明了\[ ex_r(n,M_{k+1}^{(r)})= \max\left\{\binom{rk+r-1}{r},\binom{n}{r}-\binom{n-k}{r}\right\}, \],其中$M_{k+1}^{(r)}$表示由$k+1$不相交边组成的$r$ -图.基于这个猜想,我们考虑了紧线性森林的图兰问题。紧线性森林是$r$ -图,它的连通分支都是紧路或孤立点.设$\mathcal{L}_{n,k}^{(r)}$是$r$ -图中所有具有$k$边的$n$阶紧线性森林的族.本文证明了对于足够大的$n$,\[ ex_r(n;\mathcal{L}_{n,k}^{(r)})=\max\left\{\binom{k}{r}, \binom{n}{r}-\binom{n-\left\lfloor (k-1)/r\right \rfloor}{r}\right\}+d, \],其中$d=o(n^r)$和如果$r=3$和$k=cn$与$0<c<1$,如果$r\geq 4$和$k=cn$与$0<c<1/2$ .证明是基于超图的弱正则引理。我们还推测,对于满足$k \equiv 1\ (mod\ r)$…
2018-12-10 math.CO
Upper bound for the number of spanning forests of regular graphs
证明了如果$G$是$d$ -正则图,则$n$的生成森林数满足$F(G)\leq d^n$ .由于Kahale和Schulman以前的最佳界给出了$(d+1/2+O(1/d))^n$。我们还有一个更精确的猜想,$$F(G)^{1/n}\leq \frac{(d-1)^{d-1}}{(d^2-2d-1)^{d/2-1}}.$$,如果这个猜想成立,那么右边的表达式是最好的。
2022-12-08 math.CO
An Improved Bound for the Linear Arboricity Conjecture
1980年,Akiyama,Exoo和Harary提出了线性荫度猜想,即任何最大度为$Δ$的图$G$最多可以分解为$\left\lceil \fracΔ{2}\right\rceil$线性森林。(如果森林的所有组成部分都是路径,则该森林是线性的。)1988年,阿隆证明了这个猜想的渐近成立性。目前的最佳界限是由Ferber、Fox和Jain在2020年提出的,他们证明了$\fracΔ{2}+ O(Δ^{.661})$足以满足足够大的$Δ$。在这里,我们表明,$G$承认分解到最多$\fracΔ{2}+ 3\sqrtΔ \log^4 Δ$线性森林提供$Δ$是足够大的。此外,我们的结果也适用于更一般的列表设置,其中边缘具有(可能不同的)允许的线性森林集合。因此,我们的界限也适用于列表线性荫度猜想,这是最近才证明,持有渐近金和第二作者。事实上,我们的证明方法将线性荫度猜想和著名的列表着色猜想联系在一起;因此,我们的线性荫度猜想的误差项与Molloy和Reed在2000年提出的列表着色猜想的最著名的误差项相匹配。这是因为我们对每种颜色做了两个副本,然后寻找一个合适的边缘着色,避免了颜色和副本之间的双色循环;我们通过巧妙地修改nibble方法来实现这一点。
2023-01-17 math.CO
A Note on Graph Burning of Path Forests
本文研究路径森林的图燃烧数猜想,探讨使猜想成立的最小路径长度条件,并将其与不可燃尽路径森林及整数和集划分问题联系起来。
2024-07-16 math.CO
The List Linear Arboricity of Graphs
线性森林是指每个连通分支都是一条路的森林,图$G$的线性荫度是指图$G$中覆盖所有边的线性森林的最小个数. 1980年,Akiyama,Exoo和Harary提出了一个猜想,称为线性荫度猜想(LAC),指出每个$d$ -正则图$G$都有线性荫度$\lceil \frac{d+1}{2} \rceil$。1988年,Alon证明了LAC渐近成立。1999年,An和Wu提出了LAC的列表版本,称为列表线性荫度猜想。本文证明了列表线性荫度猜想渐近成立。
2017-12-13 math.CO
Forest Cuts in Sparse Graphs
提出关于边数少于 $3n-6$ 的图存在导出森林点割的猜想,证明极大平面图表明该密度条件最佳,并验证了其对平面图及边数少于 $\ rac{11}{5}n-\ rac{18}{5}$ 的图成立。
2024-09-26 math.CO
The Erdos-Faber-Lovasz conjecture for weakly dense hypergraphs
推广了稠密超图的概念,如果在半开区间[2,sqrt(n))中没有k是大于k^2个顶点的度,则称超图是弱稠密的.在我们的主要结果中,我们证明了著名的Erdos-Faber-Lovasz猜想,当超图是弱稠密的。
2020-10-12 math.CO
Triconed Graphs, weighted forests, and h-vectors of matroid complexes
Stanley的一个著名猜想是拟阵的h-向量是纯O-序列。关于这个猜想已经有许多部分进展的论文,但它仍然是开放的。特别是对于以图的生成树为基的图拟阵,该猜想大多未解。在图论中,如果一个顶点集的每一个其他顶点都与所选集合中的某个顶点相邻,则该顶点集被称为控制顶点集。Kook证明了锥图的Stanley猜想,锥图是由一个顶点控制的一类图。Cranford等人将该结果扩展到双锥图,这是一类由单条边控制的图。在本文中,我们将这一结果推广到三锥图,一类图的长度为2的道路占主导地位。
2021-09-02 math.CO
Partitioning planar graphs without $4$-cycles and $5$-cycles into bounded degree forests
1976年,Steinberg证明了不含$4$ -圈和$5$ -圈的可平面图是$3$ -可着色的.这个猜想吸引了许多研究人员大约40年,直到最近被Cohen-Addad等人(2017)推翻。然而,着色可平面图与限制的周期长度仍然是一个活跃的研究领域,在这个特定的图形类的兴趣仍然存在。设$G$是一个不含$4$ -圈和$5$ -圈的平面图.对于满足$d_1+d_2\geq8$和$d_2\geq d_1\geq 2$的整数$d_1$和$d_2$,已知$V(G)$可以被划分为两个集合$V_1$和$V_2$,其中每个$V_i$诱导最大度至多为$d_i$的图。由于Steinberg猜想是假的,因此不能保证将$V(G)$划分为两个集合,其中一个集合诱导空图,另一个集合诱导森林。我们的主要定理是在上述两个研究方向的交叉点。我们证明了$V(G)$可以划分为两个集合$V_1$和$V_2$,其中$V_1$诱导最大度至多为$3$的森林,$V_2$诱导最大度至多为$4$的森林;这既是对Steinberg猜想的放松,也是对Sittitrai和Nakprasit(2019)结果的更强形式的加强。
2020-03-22 math.CO
Negative association in uniform forests and connected graphs
我们考虑三个概率测度的边缘子集的一个给定的有限图$G$,即那些管理,分别是一个统一的森林,一个统一的生成树,和一个统一的连通子图。讨论了一致森林中关于两条边的负结合的一个猜想,并对一致连通子图提出了一个相关猜想。本文利用本文所总结的计算机算法,对所有顶点数不超过8,或顶点数不超过9,边数不超过18的图$G$,用数值方法证明了前一个猜想。已知负关联对于统一生成树是有效的。均匀森林、均匀生成树和均匀连通子图这三种情况是由统计力学的随机簇模型产生的更一般的猜想的特例。
2003-02-24 math.CO math.PR
Domination game on forests
在本文研究的控制对策中,Dominator和Staller交替选择图$G$的一个顶点并将其纳入一个集合$D$中。由集合$D$支配的顶点的数量必须在每一个回合中增加,当$D$成为$G$的支配集合时,游戏结束。Dominator的目标是最小化,而Staller的目标是最大化圈数(或等效地,最后获得的支配集$D$的大小)。假设支配者开始并且两个玩家都以最佳方式进行游戏,则回合数称为$G$的游戏支配数$γ_g(G)$。Kinnersley、West和Zamani验证了$γ_g(G) \le 7n/11$对每个无隔离物的$n$ -顶点森林$G$都成立,并且他们证明了尖锐上界仅为$3n/5$。在这里,我们证明了3/5猜想的森林中,没有两个叶子是在距离4。此外,我们建立了一个上界$γ_g(G) \le 5n/8$,这是有效的每一个孤立的自由森林$G$。
2014-04-04 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
Graph Burning: Tight Bounds on the Burning Numbers of Path Forests and Spiders
2016年,Bonato,Janssen和Roshanbin将图燃烧作为一个离散过程,用于模拟社会传染病的传播。虽然燃烧过程是一个简单的算法,但确定完全燃烧一个图所需的最少轮数的问题,称为图的燃烧数,即使对于像蜘蛛这样的基本图结构也是NP完全的。早期的一个猜想是,每个m阶平方的连通图最多可以在m轮内被烧毁,这是本研究的主要动力。证明猜想的尝试导致了燃烧数的各种上界和猜想的某些基本类的图的验证。在这项工作中,我们找到了一个紧密的上界的顺序,一个蜘蛛,它被烧毁,在给定的轮数。我们的结果表明,紧界取决于所考虑的蜘蛛的结构,即臂的数量。这加强了先前已知的结果蜘蛛有关的猜想。更重要的是,这开启了对燃烧数和图的某些特征之间联系的潜在研究。最后,得到了在给定轮数下路径森林被烧毁的阶的紧上界,从而完善了以前已知的部分相应结果.
2019-10-10 math.CO
A counterexample to the Albertson-Berman conjecture about induced forests in planar graphs
本文独立于AI构造出Albertson-Berman猜想的反例,给出含39个顶点、$a(G)=19$的反例,还提及顶点数更多但比值略小的构造变体,否定了该猜想。
2026-08-17 cs.DM math.CO
Linear arboricity conjecture for infinite graphs
本文推广线性森林猜想到无限图,证明有限与无限版本等价,并引入拓扑线性森林数,证明其与线性森林数相差至多1,且对围长至少2k的2k-正则图,拓扑线性森林数至多k+1。
2026-10-02 math.CO
Partitioning triangle-free planar graphs into a forest and a linear forest
School of Mathematics and Statistics, Shandong University of Technology(山东理工大学数学与统计学院);School of Mathematical Sciences, Zhejiang Normal University(浙江师范大学数学科学学院)
本文改进了无三角形平面图的划分结果,证明其可划分为森林和线性森林。
2025-11-24 math.CO
Counterexamples to the Albertson-Berman conjecture: minimum order, connectivity and an improved ratio bound
KU Leuven Kulak(荷语鲁汶大学库尔阿克校区);Ghent University(根特大学);Leiden University(莱顿大学);Université libre de Bruxelles(布鲁塞尔自由大学)
该文针对阿尔伯森-伯曼猜想,确定其反例最小阶为29,构造了高连通度反例并改进了诱导森林的比率上界,还得到了查佩尔等猜想的反例。
2026-08-25 math.CO
Biconed graphs, weighted forests, and h-vectors of matroid complexes
本文通过双锥图的2-加权森林给出图拟阵h-向量的组合解释,并构造纯多重复形证明Stanley猜想对该类拟阵成立。
2023-08-09 math.CO
Chromatic functions, interval orders and increasing forests
本研究将色拟对称函数从单位区间序推广到一般区间序,证明其为递增生成森林相关拟对称函数的加权和,并推广相关恒等式与猜想。
2023-11-16 math.CO
On the maximum number of minimum total dominating sets in forests
本文提出关于树的最小全控制集数量的猜想,并证明森林中该数量的上界,包含指数和多项式形式的界。
2019-01-17 math.CO
Weakly saturated hypergraphs and a conjecture of Tuza
给定一个固定的超图$H$,令$\mbox{wsat}(n,H)$表示$n$ -顶点超图$G$中的最小边数,具有可以顺序添加$G$中缺失的边的性质,使得每当添加边时,就创建$H$的新副本. $\mbox{wsat}(n,H)$的研究是由Bollobás于1968年提出的,并成为极值组合学中最有影响力的课题之一。虽然大多数$H$很少有人知道关于$\mbox{wsat}(n,H)$,阿隆证明在1985年,每一个图$H$有一个极限常数$C_H$,使$\mbox{wsat}(n,H)=(C_H+o(1))n$。Tuza在1992年证明了Alon定理可以(适当地)推广到任意的$r$ -一致超图.本文证明了这一猜想。
2021-11-03 math.CO
On the number of minimum dominating sets and total dominating sets in forests
本文研究森林中最小支配集与全支配集的数量,证明支配数为γ的森林最多有√5^γ个最小支配集,并构造下界接近该值的树,同时否定 Henning 等人关于最小全支配集数量的猜想。
2022-06-27 math.CO
The Purity Conjecture in Type $C$
如果对于每个$I, J \in \mathcal{C}$,当整数$1,2,\ldots,m$排列在圆中时,存在将$I \backslash J$与$J \backslash I$分开的弦,则$k$-$\{1,2,\ldots,m\}$的元素子集的集合$\mathcal{C}$是弱分离的。哦,Postnikov和Speyer构建了弱分离集合之间的对应关系,这些集合通过包含和约化平面图而最大化,约化平面图是Postnikov定义的一类网络,它给出了m-空间中$k$ -平面的格拉斯曼图。作为一个推论,他们证明了斯科特的纯度猜想,其中指出,一个弱分离的集合是最大的包含,当且仅当它是最大的大小。本文描述了对称平面图对应的极大弱分离集,给出了Lagrangian Grassmannian上的坐标图,并证明了纯度猜想的一个对称版本.
2019-07-18 math.CO
New bounds for linear arboricity and related problems
本文通过将 Pósa 旋转推广为线性森林多端点同时旋转,证明线性森林分解数可达 $Δ/2+\mathcal{O}(\log n)$,并解决相关猜想。
2025-07-28 math.CO
The Strong Nine Dragon Tree Conjecture is True for $d \leq 2(k+1)$
本文证明强九树猜想在 $d\leq 2(k+1)$ 时成立,并通过更弱的 $(k,d)$-稀疏性条件给出更强的分解定理,进而改进平面图中细树存在性的结果。
2024-06-29 math.CO
Towards the linear arboricity conjecture
图$G$的线性荫度,记为$\text{la}(G)$,是指$G$中边不相交的线性森林(即每个连通分支都是一条路的森林)的最小数目,其并集覆盖$G$的所有边。Akiyama、Exoo和Harary在1980年提出了一个著名的猜想:$\text{la}(G)\leq \lceil (Δ(G)+1)/2 \rceil$,其中$Δ(G)$表示$G$的最大度。这个严格的上界是最可能的,这可以通过将$G$看作一个正则图来容易地看出。在本文中,我们表明,对于每个图$G$,$\text{la}(G)\leq \fracΔ{2}+O(Δ^{2/3-α})$的一些$α> 0$,从而提高了以前最有名的界限,由于阿隆和斯宾塞从1992年。对于图是足够好的谱扩展,我们甚至更好的界限。我们的证明,这些结果进一步给出概率多项式时间算法找到这样的分解成线性森林。
2018-09-13 cs.DM math.CO
Proofs of two conjectures on ternary weakly regular bent functions
本文研究了$f(x)=\Tr_n(ax^d)$形式的三元单项函数,其中$x\in \Ff_{3^n}$和$\Tr_n: \Ff_{3^n}\to \Ff_3$是绝对迹函数。利用侯\cite{hou}的引理、Stickelberger关于高斯和的定理以及某些三元权不等式,证明了由\cite{hk1}产生的某些三元单项式函数是弱正则弯曲的,从而解决了Helleseth和Kholosha \cite{hk1}的一个猜想.我们还证明了Coulter-Matthews Bent函数是弱正则的。
2008-03-19 math.CO math.NT
Edge-decomposing graphs into coprime forests
Barat-Barassen猜想,最近在[Bensmail et al.:关于Barat-Barassen猜想的证明J. Combin。理论系列B,124:39-55,2017.],断言对于每棵树T,存在一个常数$c_T$,使得每一个边数(大小)可被T整除的$c_T$ -边连通图G允许边划分为T的拷贝(T-分解).在本文中,我们调查在这种情况下,连接要求可以下降到最低程度的条件。例如,在[Bensmail et al.:图的边划分为路:超越Barat-Barassen猜想。arXiv:1507.08208]证明了当T是一条k边路时,存在一个常数$d_k$,使得每一个大小可被k整除且度最小的24边连通图G都有一个T-分解.本文证明了当F是互质森林(其组成部分的大小是互质整数集)时,只要F的大小除以G的大小(不需要连通性),任何最小度足够大的图G都有F-分解.一个自然的猜想问[Bensmail等人:图的边划分为路:超越Barat-Barassen猜想。arXiv:1507.08208]断言,对于固定树T,任何大小可被T的大小整除且具有足够高的最小度的图G都具有T-分解,前提是G就T的最大度而言足够高连通。最大度为2的情况用路径来回答。在最大度为3的情况下,我们给出了这个猜想的一个反例。
2018-03-09 cs.DM math.CO
Colourings of cubic graphs inducing isomorphic monochromatic subgraphs
无桥三次图$G$的一个$k$ -二分图是它的顶点集的一个$2$ -着色,使得色类具有相同的基数,并且由色类诱导的两个子图中的所有连通分量(以下为单色分量)的阶至多为$k$。Ban和Linial证明了除Petersen图外,所有无桥三次图都有$2$ -二分图.三次图的边集的一个类似问题已经被研究过:Wormald证明了每个具有$|E(G)| \equiv 0 \pmod 2$的三次图$G$都有一个$2$ -边着色使得两个单色子图是同构的线性森林(即一个森林的组成部分是路)。最后,Ando证明了每一个三次图都有一个二分法,使得两个导出单色子图同构。在本文中,我们给出了一个详细的洞察Ban-Linial和Wormald的结构,并提供了一个强大的关系,他们与安藤猜想的证据。此外,我们也给出了计算和理论证据的支持。因此,我们提出了一些开放的问题,比上述的结构更强大。此外,我们还证明了三次圈置换图的Ban-Linial猜想。作为研究以线性森林为单色分量的三次图的$2$ -边着色的副产品,我们还对Jackson和Wormald提出的关于三次图到线性森林的某些分解的问题给出了否定的回答.
2018-09-10 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
The Strong Nine Dragon Tree Conjecture is true for $d \leq k+1$
本文证明了强九龙树猜想对于 $d \leq k+1$ 成立,给出了 $d \leq 2(k+1)$ 时的近似划分上界,并应用该定理证明了每个 $5$-边连通平面图均存在 $\frac{5}{6}$-thin 生成树,改进了已有结果。
2023-07-28 math.CO
General upper bound on the game domination number
证明了对于任何不含孤立点的$n$ -顶点图,其对策控制数至多为$3n/5$.最近几年证明了这个猜想对几类图都成立,包括森林类和最小度至少为2的图类。在这里,我们证明了稍大的上界$5n/8$是有效的每一个孤立的自由图。
2020-01-31 math.CO
Convex graphon parameters and graph norms
Sidorenko猜想指出,当$G$是拟随机图时,图$G$中二部图$H$的副本数渐近最小。一个臭名昭著的例子,这个猜想仍然开放时,$H=K_{5,5}\setminus C_{10}$。甚至不知道这个图是否具有严格强弱赋范性质。通过证明图$K_{5,5}\setminus C_{10}$不是弱赋范的,我们向理解图的方向迈出了一步。更一般地说,我们表明,“扭曲”爆破的周期,其中包括$K_{5,5}\setminus C_{10}$和$C_6\square K_2$,不是弱赋范。这回答了哈塔米的两个问题。该方法依赖于对由图同态定义的黑塞矩阵的分析,利用图同态密度的(弱)赋范性质与凸性之间的等价性。我们还证明了$K_{t,t}$减去一个完美匹配,证明是弱赋范的Lovász,是不是正常的每一个$t>3$。
2020-01-16 math.CO
Trees and near-linear stable sets
本文研究 Gyárfás-Sumner 猜想相关的稳定集问题,证明森林禁诱导子图且团数有界的图具有近线性大小的稳定集,并证明多帚情形具有线性大小稳定集且满足分数着色版本猜想。
2025-07-18 math.CO
Seymour's conjecture on 2-connected graphs of large pathwidth
本文证明了Seymour(1993)的猜想:对每个顶点森林$H_1$和外平面图$H_2$,存在一个整数$p$,使得路宽至少为$p$的2-连通图包含$H_1$或$H_2$作为子图. Dang和Thomas最近得到了一个独立的证明。
2020-02-05 cs.DM math.CO
Weak and strong versions of the 1-2-3 conjecture for uniform hypergraphs
给定一个$r$ -一致超图$H=(V,E)$和一个权函数$ω:E\to\{1,\dots,w\}$,对所有$v\in V$,由$ω$诱导的$H$的顶点着色定义为$c(v) = \sum_{e\ni v} w(e)$.如果存在这样一个强着色(这意味着在每条边中没有颜色出现超过一次),那么我们说$H$是强$w$加权的。类似地,如果着色是弱的(这意味着没有单色边),那么我们说$H$是弱$w$加权的。在本文中,我们证明了几乎所有的3或4-一致超图是强2-加权的(但不是1-加权的),几乎所有的$5$ -一致超图是1或2强加权的(具有非平凡分布)。此外,对于$r\ge 6$,我们证明了几乎所有的$r$ -一致超图都是强1-权的.我们补充这些结果表明,几乎所有的3-一致超图是弱2-加权,但不是1-加权和$r\ge 4$几乎所有的$r$ -一致超图是弱1-加权。这些结果推广了Addario-Berry,Dalal和Reed关于图的工作.我们还证明了一般的下界,并表明,有$r$ -一致超图,这是不是强$(r^2-r)$ -加权,而不是弱2-加权。最后,我们证明了判定一个特定的一致超图是否是强2-权的是NP-完全的。
2015-12-10 math.CO
Polynomial Gyárfás-Sumner conjecture for graphs of bounded boxicity
本文证明了对于任意正整数 $d$ 和森林 $F$,在 $\mathbb{R}^d$ 中无导出 $F$ 子图的轴对齐框相交图类是多项式 $χ$-有界的。
2024-07-23 cs.CG math.CO
Regularity of edge ideals of powers of graphs
本文研究图的幂的边理想的正则性,证明了森林的幂的边理想正则性弱递减,并计算了圈的幂的边理想正则性。
2025-02-07 math.AC math.CO
Excluding a Forest Induced Minor
CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP(法国国家科学研究中心、里昂高等师范学校、克洛德·贝尔纳里昂大学);Département d’Informatique, Université libre de Bruxelles(布鲁塞尔自由大学信息学系)
本文提出了诱导极小定理的诱导版本,研究了K_{t,t}-子图自由的H-诱导极小无向图的路径宽度有界条件,揭示了H属于特定森林类的特征。
2025-12-01 cs.DM cs.DS math.CO