[論文レビュー] 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.

研究の動機と目的

• すべての $ n $ 頂点からなるグラフ $ G $ に対して、$ \alpha_1(G) + \tau_B(G) \leq n^2/4 $ が成り立つという Lehel と Puleo の予想を証明すること。
• Erdős, Gallai, および Tuza が提起した弱い形の予想を検証すること。この予想では、すべての三角形をカバーする最小の辺集合のサイズ $ \tau_1(G) $ を用いて、$ \alpha_1(G) + \tau_1(G) \leq n^2/4 $ が成り立つとされる。
• 不等式 $ \alpha_1(G) + \tau_B(G) = n^2/4 $ で等号が成立するグラフを完全に同定すること。その結果、これらはちょうど完全なバランスの取れた二部グラフの結合であることが示される。
• 最大の三角形独立集合に基づく再帰的で確率的な分割手順を用いた、計算機を一切使わない手作業による証明を開発すること。
• 標準的な局所的確率的アルゴリズムが、予想1（Erdősの $ \tau_B(G) \leq n^2/25 $）の境界を達成できないことを示し、証明における再帰的構造の必要性を強調すること。

提案手法

• 証明は、固定された最大の三角形独立集合 $ S $ を用いて、$ |S| = \alpha_1(G) $ を満たすように、$ V(G) $ の二部分割 $ (A,B) $ を再帰的かつ確率的な手続きで構築する。
• アルゴリズムは、$ S $ 内のランダムな辺 $ uv \in S $ を選択し、$ u $ の $ S $ 内の隣接頂点を $ A $ に、$ v $ の $ S $ 内の隣接頂点を $ B $ に割り当てる。その後、未割当の頂点を再帰的に分割する。
• 非クロスエッジ（$ A $ または $ B $ 内のエッジ）の期待数 $ \bar{e}(A,B) $ は、$ S $ の構造と三角形制約に基づく組合せ的恒等式と不等式を用いて評価される。
• 解析は、小さな頂点集合が誘導する構成要素の数え上げと、コーシー・シュワルツ不等式を用いてエッジ数と三角形独立性の関係を結びつける。
• フラッグ代数の形式的枠組みを避け、初期段階での計算的妥当性の確認を除き、完全に計算機フリーな証明である。
• 証明は $ \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 すべての有限単純グラフ $ G $ に対して、$ n $ 頂点を持つとき、$ \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 $ を達成できないことが示されており、クリーブシュ・グラフでは $ \bar{e}(A,B) = 12 > 16^2/21.33 $ となる。
• 極値グラフは、特定の局所的条件を満たす完全なバランスの取れた二部グラフのトライグラフの $ C $-結合として、トライグラフの観点から特徴づけられるが、誘導部分グラフのカウントだけでは同様の特徴づけは存在しない。