[论文解读] Triangle-independent sets vs. cuts

Sergey Norin, Yue Sun|arXiv (Cornell University)|Feb 13, 2016

Limits and Structures in Graph Theory参考文献 2被引用 4

一句话总结

本文证明了Lehel与Puleo的猜想，表明对于任意图 $ G $，最大三角形独立边集的大小 $ \alpha_1(G) $ 与使 $ G $ 成为二分图所需移除的最少边数 $ \tau_B(G) $ 之和不超过 $ |V(G)|^2/4 $。证明采用基于最大三角形独立集的递归随机划分算法，并精确刻画了等号成立的情形：即完全平衡二分图的连通和。

ABSTRACT

A set of edges $T$ in a graph $G$ is triangle-independent if $T$ contains at most one edge from each triangle in $G$. Let $α_1(G)$ denote the maximum size of the triangle-independent set in $G$, and let $τ_B(G)$ denote minimum size of a set $F \subseteq E(G)$ such that $G \setminus F$ is bipartite. We prove that $$α_1(G) + τ_B(G) \leq \frac{|V(G)|^2}{4},$$ verifying a conjecture due to Lehel, and independently Puleo, and a slightly weaker conjecture of Erdős, Gallai and Tuza. Further, we characterize the graphs which attain the equality.

研究动机与目标

• 证明Lehel与Puleo的猜想，即对所有 $ n $ 个顶点的图 $ G $，有 $ \alpha_1(G) + \tau_B(G) \leq n^2/4 $。
• 验证Erdős、Gallai与Tuza的较弱猜想，该猜想给出 $ \alpha_1(G) + \tau_1(G) \leq n^2/4 $ 的界，其中 $ \tau_1(G) $ 是所有三角形的最小边覆盖。
• 刻画在界 $ \alpha_1(G) + \tau_B(G) = n^2/4 $ 中取等的图，证明其恰好为完全平衡二分图的连通和。
• 开发一种无需计算机、完全手工推导的证明，基于最大三角形独立集的递归随机划分过程。
• 展示标准的局部随机算法无法实现Conjecture 1（Erdős的 $ \tau_B(G) \leq n^2/25 $）中的界，凸显证明中递归结构的必要性。

提出的方法

• 证明通过基于固定的最大三角形独立集 $ S $（满足 $ |S| = \alpha_1(G) $）的递归随机过程，构造 $ V(G) $ 的一个二分划 $ (A,B) $。
• 该算法选择一条随机边 $ uv \in S $，将 $ u $ 在 $ S $ 中的邻居分配至 $ A $，$ v $ 在 $ S $ 中的邻居分配至 $ B $，并递归划分剩余未分配的顶点。
• 利用 $ S $ 的结构和三角形约束导出的组合恒等式与不等式，对非交叉边数 $ \bar{e}(A,B) $（即在 $ A $ 或 $ B $ 内部的边）的期望值进行有界。
• 分析依赖于对小顶点集诱导的配置计数，并应用柯西-施瓦茨不等式，将边数与三角形独立性联系起来。
• 该方法避免使用旗代数，尽管最初通过计算验证了可行性，但整个证明完全无需计算机。
• 证明显示 $ \bar{e}(A,B) \leq n^2/4 - \alpha_1(G) $，从而推出 $ \tau_B(G) \leq n^2/4 - \alpha_1(G) $，故 $ \alpha_1(G) + \tau_B(G) \leq n^2/4 $。

实验结果

研究问题

• RQ1 对所有 $ n $ 个顶点的有限简单图 $ G $，是否恒有 $ \alpha_1(G) + \tau_B(G) \leq n^2/4 $？
• RQ2 在该界中取等的图是否恰好为完全平衡二分图的连通和？
• RQ3 基于最大三角形独立集的递归局部随机划分过程能否实现 $ \tau_B(G) $ 的最优界？
• RQ4 为何标准的局部随机算法无法证明Erdős猜想 $ \tau_B(G) \leq n^2/25 $（针对三角形自由图）？
• RQ5 是否存在关于 $ \alpha_1(G) + \tau_B(G) \leq n^2/4 $ 的极值图的结构刻画，以诱导子图计数或三元图性质为依据？

主要发现

• 本文证明了对所有有限简单图 $ G $，有 $ \alpha_1(G) + \tau_B(G) \leq |V(G)|^2/4 $，从而确认了Lehel-Puleo猜想。
• 当且仅当 $ G $ 是一组完全平衡二分图的连通和时，该界取等。
• 证明完全无需计算机，采用基于最大三角形独立集的递归随机划分算法。
• 该方法成功避免了旗代数形式化，通过组合恒等式与柯西-施瓦茨不等式实现了紧致界。
• 该算法无法实现Erdős猜想 $ \tau_B(G) \leq n^2/25 $ 的界，如Clebsch图所示，其输出满足 $ \bar{e}(A,B) = 12 > 16^2/21.33 $。
• 极值图在三元图术语中可表征为满足特定局部条件的完全平衡二分三元图的 $ C $-连通和，但无法仅通过诱导子图计数实现此类刻画。