首页/论文/2109.01600

arXiv 2109.016002021-09cs.DMmath.CO

有向 Brooks 定理的四个证明

Four proofs of the directed Brooks' Theorem

Pierre Aboulker, Guillaume Aubian

备注：: 15 pages
发表信息：: Discrete Mathematics, 2022, page 113193

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

AI总结：

本文针对有向 Brooks 定理给出四个新证明，并补充了一个 NP 完全性结果。

摘要：

我们给出了有向 Brooks 定理的四个新证明以及一个 NP 完全性结果。

英文摘要：

We give four new proofs of the directed version of Brook's Theorem and an NP-completeness result.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

关于Brooks定理

On Brooks' Theorem

本研究针对Brooks定理，通过修改已有证明、结合两种已有证明的方式提出两种更易在计算机科学课程中教学的证明方法。

2025-10-03cs.DMmath.CO

线性时间中的Brooks点着色定理

Brooks' Vertex-Colouring Theorem in Linear Time

Brooks定理[R. L. Brooks，On Coloring the Nodes of a Network，Proc. Cambridge Philos. Soc.} 37：194-197，1941]指出，具有最大度$Δ$的每个图$G$具有用$Δ$颜色的顶点着色，除非$G$是完全图或奇数圈，在这种情况下需要$Δ+1$颜色。洛瓦什湖Lovász，Three Short Proof in Graph Theory，J. Combin. Theory Ser. 19：269-271，1975]给出了布鲁克斯定理的算法证明。不幸的是，这个证明缺少重要的细节，因此不清楚它是否会导致线性时间算法。在本文中，我们给出了一个完整的描述Lovász的证明，我们推导出一个线性时间算法，以确定由布鲁克斯定理保证的顶点着色。

2014-01-30cs.DM

Brook定理中的非退化染色

Non-degenerate colorings in the Brook's Theorem

令$c\geq 2$和$p\geq c$是两个整数。如果对度至少为$p$的$G$的任一顶点，至少有$c$与之相邻的不同颜色的顶点，则称图$G$的一个真染色为\textit{$(c,p)$-nondegenerate}.设$D\geq 3$和$G$是一个在$D+1$顶点上不存在团的图，且该图中任一顶点的度不大于$D$ .则对每一个整数$c\geq 2$，都存在$G$的一个真$(c,p)$ -非退化顶点$D$ -染色，其中$p=(c^3+8c^2+19c+6)(c+1).$在初步证明中，得到了一些有趣的推论.

2008-12-01cs.DMmath.CO

加强有向图的定向 Brooks 定理及其对有向图重着色问题的推论

Strengthening the Directed Brooks' Theorem for oriented graphs and consequences on digraph redicolouring

本文加强了有向图的定向 Brooks 定理，刻画了二色数达到上界时的极值结构，并给出了有向图重着色距离的多个上界，推广了已有无向图结果。

2023-05-25cs.DMmath.CO

$χ$可以从$Δ+1$到$ω$有界的一个简短证明

A short proof that $χ$ can be bounded $ε$ away from $Δ+1$ towards $ω$

1998年第二作者证明了存在一个$ε>0$使得每个图都满足$χ\leq \lceil (1-ε)(Δ+1)+εω\rceil$。第一作者最近证明了任何满足$ω> \frac 23(Δ+1)$的图都包含一个与每个最大团相交的稳定集。本文利用后一个结果对前一个结果给出一个更短、更简单的证明。我们包括，作为简单的证明，一个附录，证明了所有的中间结果，除了霍尔定理，布鲁克斯定理，洛瓦兹局部引理和塔拉格兰德不等式。

2012-11-06cs.DMmath.CO

well-linked sets的循环 II：有向网格定理的一个初等界

Cycles of Well-Linked Sets II: an Elementary Bound for the Directed Grid Theorem

Technical University Darmstadt（达姆施塔特工业大学）；Technische Universität Berlin（柏林工业大学）；National Institute of Informatics, Tokyo（东京信息学国立研究所）；Universität Hamburg（汉堡大学）

本文提出了一种新的证明方法，改进了有向网格定理中函数f的上界，通过引入well-linked sets的循环结构，证明了大有向树宽图包含大圆柱形网格。

2026-02-12cs.DMmath.CO

更多相关论文收起更多论文

有向Lovász局部引理和Shearer引理

Directed Lovász Local Lemma and Shearer's Lemma

Moser和Tardos（2010）在变量框架中给出了不平衡Lovász局部引理（LLL）的算法证明，其中假设每个不期望事件取决于独立随机变量集合的子集。为了证明，他们定义了一个适合这个框架的事件之间的不平衡依赖关系的概念。在这项工作中，我们加强了这一概念，定义了一个新的定向概念的依赖关系，并证明LLL相应的图。我们表明，这个图可以严格稀疏（因此LLL弱的充分条件）与其他现存的不平衡版本的依赖关系相对应的图相比。因此，在某种意义上，我们解决了Szegedy（2013）提出的问题“为约束（在变量框架中）找到其他简单的局部条件，这些条件可以有利地转化为一些抽象的不平衡条件”。我们还给出了一个例子，我们的依赖图的概念给出了更好的结果比经典的希勒引理。最后，我们证明了我们定义的依赖图的希勒引理。对于证明，我们执行直接的概率分析，该分析产生搜索变量的期望分配的算法的概率的指数小的上界，以在$n$步骤内不返回正确答案。相比之下，后来被称为熵方法的证明方法只给出了算法返回正确答案之前的步骤数的期望值，除非概率被修改。

2020-06-15cs.DMmath.CO

Biane和Chapuy公式的组合证明

A combinatorial proof of a formula of Biane and Chapuy

设$G$是一个简单的强连通加权有向图.令$\mathcal{G}$表示$G$的生成树图。也就是说，$\mathcal{G}$的顶点由$G$上的有向有根生成树组成，而$\mathcal{G}$的边由树对$(t_i, t_j)$组成，从而可以通过将来自$t_i$的根的边添加到$t_j$的根并从$t_j$的根删除传出边来从$t_i$获得$t_j$。Biane和Chapuy最近给出了$\mathcal{G}$上有向根生成树的权和与$G$上有向根生成树的权和之比的公式。我们提供了这个公式的另一种证明，这是简单的和组合。证明涉及到一个不可约的马尔可夫链的随机zeta函数的工作。通过推广的随机zeta函数，我们也恢复了一般的结果Biane和Chapuy给出了一个公式的行列式的薛定谔矩阵在$\mathcal{G}$相应于一个给定的薛定谔矩阵在$G$，在后者的矩阵的子。

2017-06-14cs.DMmath.COmath.PR

有向超立方体路由、广义 Lehman-Ron 定理与单调性测试

Directed Hypercube Routing, a Generalized Lehman-Ron Theorem, and Monotonicity Testing

本文提出新证明方法以推广 Lehman-Ron 有向超立方体路径定理，并给出同时涉及顶点与边容量的流猜想，连接鲁棒有向 Talagrand 不等式及单调性测试。

2024-12-04cs.DMcs.DSmath.CO

图移除引理的一个新证明

A new proof of the graph removal lemma

设H是一个有h个顶点的固定图。图移除引理指出，每个具有O（n^h）个H副本的n个顶点的图可以通过移除O（n^2）条边而成为无H的。我们给出了一个新的证明，避免了Szemerédi的正则性引理，并给出了一个更好的界。这种方法还可以为图移除引理的有向和多色类似物提供改进的边界。这回答了Alon和Gowers的问题。

2010-12-31cs.DMmath.CO

排除交叉行网格的有向平墙定理

A directed flat wall theorem excluding a crossrow grid

TU Darmstadt（达姆施塔特工业大学）；National Institute of Informatics & The University of Tokyo（信息处理研究所与东京大学）；TU Berlin（柏林工业大学）；School of Computing, KAIST（韩国科学技术院计算机学院）

本文针对现有两种有向平墙定理的缺陷，提出一种排除交叉行网格的新有向平墙定理，其证明基于已有成果并适配自身设定，填补了相关定理的中间空白。

2026-08-05cs.DMmath.CO

四色定理的一个形式证明

A formal proof of the four color theorem

自从1852年Francis Guthrie首次提出四色定理以来，一直没有找到四色定理的正式证明。为什么？为什么？我们认为，一个坏主意把人们引向了一条崎岖的道路。利用与五色定理的形式证明相似的方法，本文给出了四色定理的一个形式证明，即每个平面图都是四色图。形式证明也可以看作是一个算法，使用四种颜色的平面图，使没有两个相邻的顶点接收相同的颜色。

2009-05-27cs.DM