[論文レビュー] Bisections of graphs

Choongbum Lee, Po‐Shen Loh+1 more|arXiv (Cornell University)|Sep 14, 2011

Limits and Structures in Graph Theory参考文献 18被引用数 1

ひとこと要約

この論文は、エドワーズの最大カットに関する古典的上限を、最大次数と「タイト成分」の数という2つの主要なパラメータを導入することで、バイセクションに拡張する。すべての孤立頂点を持たず、最大次数が n/3 + 1 以下のグラフは、サイズが m/2 + n/6 以上のバイセクションを有することを証明している。さらに、最小次数が 2 以上のグラフが、各部に高々 (1/3 + o(1))m 条の辺を含む「賢明なバイセクション」を持つことを示し、ボロボーシュとスコットの予想を確認した。

ABSTRACT

A bisection of a graph is a bipartition of its vertex set in which the number of vertices in the two parts differ by at most 1, and its size is the number of edges which go across the two parts. In this paper, motivated by several questions and conjectures of Bollobás and Scott, we study maximum bisections of graphs. First, we extend the classical Edwards bound on maximum cuts to bisections. A simple corollary of our result implies that every graph on <em>n</em> vertices and <em>m </em> edges with no isolated vertices, and maximum degree at mostn/3+1, admits a bisection of size at least m/2+n/6. Then using the tools that we developed to extend Edwardsʼs bound, we prove a judicious bisection result which states that graphs with large minimum degree have a bisection in which both parts span relatively few edges. A special case of this general theorem answers a conjecture of Bollobás and Scott, and shows that every graph on <em>n</em> vertices and <em>m </em> edges of minimum degree at least 2 admits a bisection in which the number of edges in each part is at most(1/3+o(1))m. We also present several other results on bisections of graphs.

研究の動機と目的

• 最大次数と、新たな構造的パラメータであるタイト成分の数を組み込むことで、エドワーズの最大カットに関する古典的上限をバイセクションに拡張すること。
• 孤立頂点がなく、最大次数が有界なグラフにおけるバイセクションサイズの改善された下界を確立すること。
• 最小次数が 2 以上のグラフが、各部に高々 (1/3 + o(1))m 条の辺を含むバイセクションを持つことを示し、ボロボーシュとスコットの予想を解決すること。
• 複数のパラメータを同時に最適化するグラフ分割において、確率的および極値組合せ論を統合する新しい解析的ツールを開発すること。
• タイト成分の構造的性質と、特に正則および有界次数グラフにおけるバイセクション境界におけるその役割を調査すること。

提案手法

• 「タイト成分」とは、任意の頂点を1つ取り除いたときに、大きな最大カットを持つ部分グラフが得られる連結成分であると定義し、これをバイセクション解析における構造的パラメータとして用いる。
• 修正版の貪欲法と一次モーメントの確率的議論を用いて、頂点分割のバランスを考慮したバイセクションサイズの下界を導出する。
• 分散および集中不等式を適用して、初期の確率的境界を強化し、各部におけるカットサイズと内部辺数の両方を同時に制御する。
• 最小次数 δ ≥ 2 のグラフにおいて、各部に高々 (1/3 + o(1))m 条の辺が含まれるバイセクションが存在することを、構造的分解と頂点再配置の議論を用いて証明する。
• 彩色数と最大カットの関係を活用して、正則グラフにおける初期バイセクションを特定し、カットサイズを保ちながら頂点移動によってバランスを取る。
• 極値的構成を用いて、タイトなケースを同定し、特に正則および高最小次数グラフにおいて、境界の漸近的タイトネスを検証する。

実験結果

リサーチクエスチョン

• RQ1 エドワーズの最大カットに関する上限を、最大次数とタイト成分のような構造的パラメータを組み込むことでバイセクションに拡張できるか？
• RQ2 孤立頂点がなく、最大次数が n/3 + 1 以下のグラフにおけるバイセクションサイズの最適な下界は何か？
• RQ3 最小次数が 2 以上のすべてのグラフが、各部に高々 (1/3 + o(1))m 条の辺を含むバイセクションを持つという、ボロボーシュとスコットの予想は正しいか？
• RQ4 賢明なバイセクション境界における o(m) の誤差項を除去し、最小次数 δ ≥ 2 に対して正確な境界 (δ+2)/(4(δ+1))m を達成できるか？
• RQ5 タイト成分は極値的バイセクション構成において果たす役割は何か？また、すべてのタイト成分は、奇数クリークや頂点結合成分といった基本的構成要素から構築可能か？

主な発見

• m 条の辺、n 頂点、孤立頂点がなく、最大次数が n/3 + 1 以下のすべてのグラフは、サイズが m/2 + n/6 以上のバイセクションを有する。
• 本論文は、タイト成分の数と最大次数を組み込んだことで、エドワーズの古典的カット境界をバイセクションに拡張する境界を確立した。
• 最小次数が 2 以上のグラフに対しては、各部に高々 (1/3 + o(1))m 条の辺が含まれるバイセクションが存在し、ボロボーシュとスコットの予想を確認した。
• r-正則グラフでは、r が奇数のとき、サイズが (r+1)/(2r) m 以上のバイセクションが存在し、r が偶数のときは (r+2)/(2(r+1)) m 以上である。
• r-正則グラフの境界は o(1) の誤差項を除いてタイトであり、カットサイズを保ちながら戦略的な頂点移動によって初期二部分割をバランスさせることで達成された。
• 賢明なバイセクション境界の極値例は本質的に一意であることが示された：もしくは δ+1 個の高次元頂点が他の辺を持たない状態、もしくは正しい数のタイト成分を有する1つの高次元頂点と残りの部分。