[论文解读] Seymour's second neighbourhood conjecture for quasi-transitive oriented graphs

Gregory Gutin, Ruijuan Li|arXiv (Cornell University)|Apr 5, 2017

Advanced Graph Theory Research参考文献 5被引用 8

一句话总结

该论文证明了准传递有向图的Seymour第二邻域猜想，这是竞赛图和传递有向图的超类。通过规范分解和中位序技术，作者证明了：在无出度为零顶点的准传递有向图中，至少存在两个顶点，其第二出邻域大小不小于第一出邻域大小。

ABSTRACT

Seymour's second neighbourhood conjecture asserts that every oriented graph has a vertex whose second out-neighbourhood is at least as large as its out-neighbourhood. In this paper, we prove that the conjecture holds for quasi-transitive oriented graphs, which is a superclass of tournaments and transitive acyclic digraphs. A digraph $D$ is called quasi-transitive is for every pair $xy,yz$ of arcs between distinct vertices $x,y,z$, $xz$ or $zx$ ("or" is inclusive here) is in $D$.

研究动机与目标

• 解决准传递有向图类的Seymour第二邻域猜想，该类包含竞赛图和传递有向图。
• 将关于竞赛图和有向无环图的已知结果推广到具有更丰富结构特性的更广义有向图类。
• 在无出度为零顶点的准传递有向图中，证明至少存在两个Seymour顶点（满足 |N⁺(v)| ≤ |N⁺⁺(v)| 的顶点）。
• 将定理1.2（关于竞赛图至少存在两个Seymour顶点）推广至准传递有向图类。

提出的方法

• 利用Bang-Jensen和Huang建立的准传递有向图的规范分解，将其分解为强分量和竞赛图。
• 将先前用于竞赛图的中位序方法，应用于扩展竞赛图及其子结构。
• 对图的阶数使用归纳法，区分强和非强准传递有向图。
• 分析扩展竞赛图中部分集的结构，以识别子结构中的Seymour顶点。
• 利用如下性质：若一个顶点在子图中是Seymour顶点，且在同部分集内无出边，则其在全图中仍为Seymour顶点。
• 利用如下事实：在强准传递有向图中，若在终端强分量中存在Seymour顶点，则在整个图中也存在此类顶点。

实验结果

研究问题

• RQ1 Seymour第二邻域猜想是否对所有准传递有向图成立？
• RQ2 用于竞赛图的中位序技术能否扩展至证明准传递有向图中存在多个Seymour顶点？
• RQ3 准传递有向图的何种结构特性可确保至少有两个顶点满足第二出邻域大小不小于第一出邻域大小？
• RQ4 准传递有向图的规范分解如何促进该猜想的证明？
• RQ5 在扩展竞赛图的部分集中，何种条件下顶点在完整准传递有向图中仍为Seymour顶点？

主要发现

• 该论文证明了：在无出度为零顶点的准传递有向图中，至少存在两个顶点满足 |N⁺(v)| ≤ |N⁺⁺(v)|，从而证实了该类图的Seymour第二邻域猜想。
• 该猜想对扩展竞赛图（准传递有向图的子类）成立，其证明依赖于中位序和分解技术。
• 对于非强准传递有向图，其终端强分量中Seymour顶点的存在性保证了图中至少存在两个Seymour顶点。
• 在强准传递有向图中，通过将其规范分解为强竞赛图和子图，利用不同部分集中的顶点作为候选，证明了至少存在两个Seymour顶点。
• 若一个顶点在子图中是Seymour顶点，且在同部分集内无出边，则其在全图中仍为Seymour顶点。
• 该结果将定理1.2（关于竞赛图至少存在两个Seymour顶点）推广至更广义的准传递有向图类。