[論文レビュー] On a Greedy 2-Matching Algorithm and Hamilton Cycles in Random Graphs with Minimum Degree at Least Three

Alan Frieze|arXiv (Cornell University)|Jul 25, 2011

Limits and Structures in Graph Theory参考文献 8被引用数 3

ひとこと要約

この論文は、最小次数が3以上で辺密度 c ≥ 15 であるランダムグラフにおいて、O(log n) 個の成分をもつ2マッチングを求めるための貪欲法 2greedy を提案する。この2マッチングを回転および拡張技術を用いて変換することで、高確率で O(n^{1.5+o(1)}) 時間でハミルトン閉路が構成され、この問題に対する従来の実行時間と比べて顕著な改善がなされる。

ABSTRACT

We describe and analyse a simple greedy algorithm 2greedy that finds a good 2-matching <em>M</em> in the random graph when . A 2-matching is a spanning subgraph of maximum degree two and <em>G</em> is drawn uniformly from graphs with vertex set , <em>cn</em> edges and minimum degree at least three. By good we mean that <em>M</em> has components. We then use this 2-matching to build a Hamilton cycle in time w.h.p.

研究の動機と目的

• 最小次数が3以上であるスパarsなランダムグラフにおけるハミルトン閉路を構成する高速なアルゴリズムを開発すること。
• このようなグラフにおけるハミルトン閉路を求める既存のアルゴリズムの時間計算量を低減すること。
• ランダムグラフにおいて最小次数が3であるという条件下で、新しい貪欲法 2greedy の性能を分析すること。
• c ≥ 15 のとき、2greedy が生成する2マッチングの成分数が高確率で O(log n) であることを示すこと。
• 2greedy が生成する2マッチングが、回転および拡張技術を用いて効率的にハミルトン閉路に変換可能であることを示すこと。

提案手法

• アルゴリズム 2greedy は、マッチングにカバーされていない次数 ≤2 の頂点およびマッチングにカバーされた次数1の頂点を優先して、辺を貪欲に選択することで2マッチングを構築する。
• 現在の2マッチングにおけるパスの端点を追跡するための 0/1 ベクトル b を維持する。
• グラフの進化は、さまざまな次数およびカバー状態の頂点を追跡する6成分の状態ベクトル v = (y1, y2, z1, y, z, µ) でモデル化される。
• 状態ベクトルの期待的進化を追跡するために、スライディング軌道の微分方程式を用い、ˆy′1 = ˆy′2 = ˆz′1 = 0 を満たすように重みを設定する。
• 第一段階終了後、Chebolu ら [10] の線形時間アルゴリズムを用いて残余グラフでニアパーサペクトマッチングを求める。
• 初期の2マッチングと新しいマッチングを組み合わせることで、最終的な2マッチングが得られ、高確率で O(log n) 個の成分をもつ。

実験結果

リサーチクエスチョン

• RQ1 2greedy が Gδ≥3n,cn において高確率で O(log n) 個の成分をもつ2マッチングを生成するための閾値 c1 は何か？ すなわち、c > c1 ならばそのような2マッチングが得られ、そうでなければ得られない。
• RQ2 c ∈ (3/2, c1) のとき、2マッチングの成分数は O(nα) （ある α < 1）のままであるか？
• RQ3 2greedy は、Gδ≥3n,cn において十分大きな c に対して、O(n^{1+o(1)}) 時間でハミルトン閉路を探索できるように変更可能か？
• RQ4 2greedy は、条件なしのランダムグラフ Gn,cn においてどのように動作するか？ また、最適なマッチングを得るために貪欲ステップのみで十分な閾値 c2 は存在するか？
• RQ5 このフレームワークは、k ≥ 4 のとき Gδ≥kn,cn において辺素なハミルトン閉路を探索するために拡張可能か？

主な発見

• 2greedy アルゴリズムは、c ≥ 15 のとき、Gδ≥3n,cn において高確率で O(log n) 個の成分をもつ2マッチングを生成する。
• この結果の閾値 c0 が最大15であることを解析的に証明し、数値的証明により c0 ≤ 2.5 であることも示している。
• 2greedy が生成する2マッチングと、extend-rotate アルゴリズムを組み合わせることで、高確率で O(n^{1.5+o(1)}) 時間でハミルトン閉路が構成可能である。
• extend-rotate アルゴリズムは高確率で成功し、ランダムグラフに十分な数の辺が存在することでパスの拡張と閉路形成が可能になることに依存している。
• 数値実験の結果、c ≈ 2.5 の周辺で 2greedy の性能に段階的転移が見られ、残存する低次数頂点の数が急激に減少することが示唆されている。
• アルゴリズムの成功は、プロセス全体を通じて低次数の未カバー頂点（ζ）の数を小さく保つことにかかっている。これは、適切な辺選択と状態追跡により維持される。