[論文レビュー] Independent sets and cuts in large-girth regular graphs

Endre Csóka|arXiv (Cornell University)|Feb 8, 2016

Limits and Structures in Graph Theory参考文献 10被引用数 17

ひとこと要約

本稿では、大径の3正則グラフにおいて期待サイズ 0.44533n の独立集合を構築する局所的アルゴリズムを提示し、大径の4正則グラフにおいては 0.40407n を達成する。これは既存の最良下界を改善する。また、ホッペン＝ウォーマルド技法の洗練された応用と追加の構造的観察を用いて、3正則グラフにおけるカットサイズ 1.34105n を構築し、既知の上界と下界の差を顕著に縮小する。

ABSTRACT

We present a local algorithm producing an independent set of expected size $0.44533n$ on large-girth 3-regular graphs and $0.40407n$ on large-girth 4-regular graphs. We also construct a cut (or bisection or bipartite subgraph) with $1.34105n$ edges on large-girth 3-regular graphs. These decrease the gaps between the best known upper and lower bounds from $0.0178$ to $0.01$, from $0.0242$ to $0.0123$ and from $0.0724$ to $0.0616$, respectively. We are using local algorithms, therefore, the method also provides upper bounds for the fractional coloring numbers of $1 / 0.44533 \approx 2.24554$ and $1 / 0.40407 \approx 2.4748$ and fractional edge coloring number $1.5 / 1.34105 \approx 1.1185$. Our algorithms are applications of the technique introduced by Hoppen and Wormald.

研究の動機と目的

• 大径正則グラフにおける独立集合比およびカットサイズについて、既知の上界と下界の差を埋める。
• ランダムなグラフに限らない、すべての大径正則グラフに適用可能な構成的で局所的なアルゴリズムを開発する。
• 3正則および4正則グラフにおける独立集合比の既存最良下界を改善する。
• ホッペン＝ウォーマルド法の洗練版を用いて、3正則グラフにおける最大カットサイズの境界を向上させる。
• 改善された独立集合およびカットの結果から、新たな分数彩色および辺彩色の境界を導出する。

提案手法

• 本稿では、構成モデルを用いて、局所的かつ定数時間の分散アルゴリズムにより、同時にランダム正則グラフと独立集合を構築する。
• 特定の色パターンを持つ3頂点のパスを収縮するための新規変換ルールを適用し、独立性を保ちつつ期待サイズを向上させる。
• 白色頂点に対して色反転機構を用い、対称性を維持するとともに、進行中に良い辺（カットに含まれる辺）を増加させる。
• 生存グラフにおける成分のダイナミクスを記述する微分方程式系を解くことで、[R]、[G]、[W]、[RR] などのタイプを追跡する。
• 観察3により、3つの赤色頂点を1つの赤色頂点に置き換えることができ、良い辺が3つ増加し、悪い辺が1つ増加する。これによりカットサイズが向上する。
• 成分の処理に優先順位ルールを適用し、必要に応じて隣接頂点を問い合わせる。赤色と緑色の間の対称性を維持する。

実験結果

リサーチクエスチョン

• RQ1 大径3正則グラフにおいて、従来の既知の境界を上回る独立集合比を達成できる局所的アルゴリズムは存在するか？
• RQ2 構成的局所的手法を用いて、大径3正則グラフにおける最大カットサイズはどの程度達成可能か？
• RQ3 3正則および4正則グラフにおいて、独立集合比およびカットサイズの上界と下界の差は、どの程度縮小可能か？
• RQ4 構造的観察を組み合わせたホッペン＝ウォーマルド技法をさらに改善できるか？
• RQ5 改善された独立集合およびカット構築から導かれる分数彩色および辺彩色の境界は何か？

主な発見

• 本アルゴリズムは、大径3正則グラフにおいて期待独立集合サイズ 0.44533n を達成し、以前の最良値 0.43757 を上回る。
• 4正則グラフでは、期待サイズ 0.40407n の独立集合が得られ、以前の最良値 0.39213 を上回る。
• 3正則グラフにおいてカットサイズ 1.34105n を構築し、既知の境界の差を 0.0724 から 0.0616 に縮小した。
• 分数彩色数は、3正則グラフで約 2.24554、4正則グラフで約 2.4748 に上界が与えられる。
• 分数辺彩色数は、3正則グラフで約 1.1185 に上界が与えられる。
• 結果は、生存グラフにおける成分の進化をモデル化する微分方程式系に基づく数値的に安定な計算から得られる。