[論文レビュー] Decision problem for Perfect Matchings in Dense k-uniform Hypergraphs

Jie Han|arXiv (Cornell University)|Sep 21, 2014

Limits and Structures in Graph Theory参考文献 20被引用数 9

ひとこと要約

この論文は、最小コードグラードが $n/k$ 以上である $n$ 頂点の $k$-一様超グラフにおける完全マッチングの決定問題の計算量的複雑性を解決し、任意の $k$-グラフに完全マッチングが存在することを示し、その存在を polynomial time で決定するアルゴリズムを提供する。主な貢献は、従来の手法を簡素化し、$\delta_{k-1}(H) \geq n/k$ における決定可能性を polynomial time に保証する、新しいラティスに基づく吸収法である。

ABSTRACT

For any $γ>0$, Keevash, Knox and Mycroft constructed a polynomial-time algorithm to determine the existence of perfect matchings in any $n$-vertex $k$-uniform hypergraph whose minimum codegree is at least $n/k+γn$. We prove a structure theorem that enables us to determine the existence of a perfect matching for any $k$-uniform hypergraph with minimum codegree at least $n/k$. This solves a problem of Karpiński, Ruciński and Szymańska completely. Our proof uses a lattice-based absorbing method.

研究の動機と目的

• 最小コードグラード $\delta_{k-1}(H) \geq n/k$ の $k$-一様超グラフにおける完全マッチングの決定問題が P に属するかどうかという未解決問題を解消すること。
• $\delta = 1/k$ と $\delta > 1/k$ の間の複雑性ギャップを埋めること、ここでは問題が以前未解決であった。
• $n/k$ ノードコードグラード閾値の下で完全マッチングの存在を決定する polynomial time アルゴリズムを提供すること。
• 超グラフの正則性や従来のマッチング定理に依存せずに、決定手順を可能にする構造定理を確立すること。

提案手法

• 定理 2.6 として、$n/k$ ノードコードグラード条件下での完全マッチングの存在を特徴付ける新しい構造定理を導入する。
• 従来の超グラフ正則性補題に依存せず、分割とラティス構造を用いた新しいラティスに基づく吸収法を採用する。
• 完全マッチングの障害となる構造的障害を検出するために、$2k(k-2)$-証明書の概念を用いる。
• 分割に基づくラティス構造 $L_{\mathcal{P}}(H)$ を用いた完全ペアの可解性条件を適用し、マッチング可能性を決定する。
• Keevash ら、Knox ら、Mycroft のアルゴリズム的手法と新しい構造定理を統合し、polynomial time の複雑性を達成する。
• 頂点集合の分割戦略を用いて、可解な完全ペアのテストと、マッチングを妨げる不可解な構成の検出を行う。

実験結果

リサーチクエスチョン

• RQ1 最小コードグラード $\delta_{k-1}(H) \geq n/k$ の $k$-一様超グラフにおける完全マッチングの決定問題は polynomial time で解けるか？
• RQ2 コードグラードが正確に $n/k$ のとき、何が完全マッチングの存在を妨げる構造的条件か？
• RQ3 超グラフ正則性を用いずに、$n/k$ 閾値における可除性障害を処理できるように、吸収法をどのように適応できるか？
• RQ4 完全マッチングを持たない $\delta_{k-1}(H) \geq n/k$ を満たす超グラフの完全な特徴付けは存在するか？
• RQ5 この決定問題のアルゴリズム的複雑性は $O(n^{3k^2 - 5k})$ に抑えられるか？

主な発見

• すべての $\delta \geq 1/k$ に対して、決定問題 $\textbf{PM}(k,\delta)$ は P に属する。これにより、問題 1.2 が完全に解決された。
• $k$ が $n$ を割り切る限り、任意の $k$-一様超グラフに $\delta_{k-1}(H) \geq n/k$ の条件下で完全マッチングが存在する。
• アルゴリズムの実行時間は $O(n^{3k^2 - 5k})$ であり、polynomial time の決定手続きを提供する。
• $2k(k-2)$-証明書が存在しないことは、完全マッチングの存在と同値である。
• 完全ペア $(\mathcal{P}_0', L_{\mathcal{P}_0'}^\mu(H))$ が可解であることは、$2k(k-2)$-証明書が存在せず、かつ $H \notin \mathcal{H}_{n,k}$ であることと同値である。
• ラティスに基づく吸収法は、超グラフ正則性補題および Keevash と Mycroft (2015) の主要結果の必要性を効果的に置き換え、証明を簡素化した。