[论文解读] Shedding vertices of vertex decomposable graphs

Jonathan M. Baker, Kevin N. Vander Meulen+1 more|arXiv (Cornell University)|Jun 14, 2016

Commutative Algebra and Its Applications参考文献 19被引用 3

一句话总结

本文研究了在顶点可分解的公平图中，舍弃顶点与支配集之间的关系。它构建了三类新的无限图族，其中舍弃顶点集并非支配集，从而提供了对Villarreal关于Cohen-Macaulay图猜想的首个极小反例，并证明即使在顶点数不超过10个的纯顶点可分解图中，该性质也并非普遍成立。

ABSTRACT

We focus our attention on well-covered graphs that are vertex decomposable. We show that for many known families of these vertex decomposable graphs, the set of shedding vertices forms a dominating set. We then construct three new infinite families of well-covered graphs, none of which have this property. We use these results to provide a minimal counterexample to a conjecture of Villarreal regarding Cohen-Macaulay graphs.

研究动机与目标

• 研究在纯顶点可分解公平图中，舍弃顶点集是否总是构成支配集。
• 挑战既有的直觉，即在已知的顶点可分解图族中，舍弃顶点总是支配其他顶点。
• 构建新的无限图族，其中顶点可分解公平图的舍弃顶点不构成支配集。
• 利用这些构造提供Villarreal关于Cohen-Macaulay图猜想的极小反例。
• 建立计算证据，表明对于顶点数≤10的图，Cohen-Macaulay图与纯顶点可分解图类相同，但舍弃顶点的支配集性质在某些情况下不成立。

提出的方法

• 作者分析已知的顶点可分解公平图族（如二分图、弦图、Cameron-Walker图、团毛刺图、极好覆盖图以及围长≥5的图）以验证舍弃顶点是否构成支配集。
• 他们引入三类新的无限图族，即顶点可分解公平图，其中舍弃顶点集不是支配集，基于特定的顶点连接和边添加的图论构造。
• 他们使用计算工具（Macaulay2、Nauty、EdgeIdeals、SimplicialDecomposability）验证顶点可分解性、公平性以及Cohen-Macaulay性质，针对顶点数不超过10个的图。
• 他们采用顶点复制技术，从一个基础反例生成更大图，保持舍弃顶点集非支配的性质。
• 他们对所有连通图（顶点数≤10）进行系统性计算机搜索，以识别支配集猜想的极小反例。
• 他们证明，对于顶点数≤10的图，Cohen-Macaulay图类与纯顶点可分解图类完全相同，通过计算验证。

实验结果

研究问题

• RQ1 在纯顶点可分解公平图中，舍弃顶点集是否总是构成支配集？
• RQ2 能否构建新的无限图族，使得顶点可分解公平图的舍弃顶点不构成支配集？
• RQ3 Villarreal关于Cohen-Macaulay图猜想的最小反例是什么？它是否源于非支配的舍弃顶点集？
• RQ4 标准的顶点可分解图构造方法（如团毛刺法、Cameron-Walker构造）是否总是保持舍弃顶点的支配集性质？
• RQ5 是否存在顶点数≤10的图，是Cohen-Macaulay图但不是纯顶点可分解图？

主要发现

• 在所有已知的纯顶点可分解公平图族中，包括二分图、弦图、Cameron-Walker图和极好覆盖图，舍弃顶点集都是支配集。
• 构建了三类新的纯顶点可分解公平图族，其中舍弃顶点集不是支配集，从而推翻了关于该性质的广泛猜想。
• F₂图（9个顶点，13条边）是Villarreal猜想的最小反例，在所有此类反例中边数最少。
• 在所有连通图中，顶点数≤10时，Cohen-Macaulay图类与纯顶点可分解图类完全相同，经计算搜索确认。
• 最小反例F₂的舍弃顶点集不是支配集，且对于每个不在舍弃顶点集中的顶点，删除该顶点后得到的图既不是公平图，也不是Cohen-Macaulay图。
• 本文确认，舍弃顶点构成支配集的性质并非普遍成立，甚至在最小的非平凡情形中也不成立，并为一个长期存在的猜想提供了决定性反例。