[論文レビュー] An algebraic Monte-Carlo algorithm for the Bipartite Partition Adjacency Matrix realization problem

Éva Czabarka, Łászló A. Székely+2 more|arXiv (Cornell University)|Aug 28, 2017

Advanced Combinatorial Mathematics参考文献 17被引用数 3

ひとこと要約

本稿では、固定された分割クラス数に対して、二部グラフの分割隣接行列の実現および構築問題を多項式時間で解く代数的モンテカルロアルゴリズムを提示する。また、指定されたクラス間エッジ数をもつ関連する完全マッチング問題に対しても、確率的かつ効率的な解法を提示し、構造的制約下での組合せ的グラフ実現問題に対して効果的な解決を提供する。

ABSTRACT

Consider a set $W,$ natural numbers $d(w)$ associated with each $w\in W$, and a $W_i:i\in I$ partition of $W$ with natural numbers $c(W_i,W_j)$ associated to every unordered pair of partition classes. The Partition Adjacency Matrix realization problem asks whether there is a simple graph on the vertex set $W$ with degree sequence $d(w)$ for $w\in W$, with exactly $c(W_i,W_j)$ edges with endpoints in $W_i$ and $W_j$, respectively; the Partition Adjacency Matrix construction problem asks for such a graph, if it exists. Here we provide an algebraic Monte-Carlo algorithm for the bipartite Partition Adjacency Matrix realization and construction problems, which runs in polynomial time for fixed number of partition classes. Furthermore, we provide a similar algorithm for the following problem: Given a bipartite graph, with partitions on the partite vertex classes, and prescribed numbers for all the pairs of partition classes, is there a perfect matching, such that the number of matching edges between the partition classes are exactly the prescribed numbers?

研究の動機と目的

• 頂点集合 W 上に、指定された次数列および事前に定義された分割クラス間の分割間エッジ数をもつ単純グラフを実現する計算上の課題に対処すること。
• このようなグラフの存在を確認するだけでなく、可能であれば明示的にそのグラフを構築する構成的アルゴリズムを提供すること。
• 関連問題へのフレームワークの拡張：二部グラフにおいて、与えられた分割クラス間のエッジ数が正確に指定された完全マッチングを見つける問題。
• 分割クラス数が固定されている場合に、多項式時間の計算複雑度を達成すること。代数的および確率的技術を活用する。

提案手法

• 分割隣接行列の実現問題を、分割クラス間のエッジ分布および頂点次数に関する制約系として定式化する。
• 有効なエッジ配置の存在を符号化するために、行列のパーマネントと多項式恒等式テストを用いた代数的技術を用いる。
• 有限体上での多項式恒等式テストに基づくモンテカルロ確率的アルゴリズムを適用し、解の存在を高い確率で検証する。
• 二部グラフの実現およびマッチング問題を、効率的にランダムサンプリングによって評価可能な多変数多項式方程式系に還元する。
• シュワーツ・ジッペルの補題を用いて、確率的アルゴリズムの誤差確率を制限し、高い信頼性で正しさを保証する。
• 同一の代数的フレームワークを用いて、反復的なサンプリングと検証を通じて、実際にグラフまたはマッチングを構築する。

実験結果

リサーチクエスチョン

• RQ1 代数的および確率的技法を用いて、二部グラフの分割隣接行列実現問題を多項式時間で解くことは可能か？
• RQ2 与えられた頂点次数および分割クラス間の指定された分割間エッジ数をもつ単純グラフを、効率的に構築するアルゴリズムは存在するか？
• RQ3 このアプローチは、正確に指定されたクラス間エッジ数をもつ二部グラフにおける完全マッチング問題に拡張可能か？
• RQ4 分割クラス数が固定されている場合、これらの問題の計算複雑度はいかほどか？
• RQ5 多項式恒等式テストのような代数的技法を、組合せ的グラフ実現問題に効果的に応用する方法は何か？

主な発見

• 提案されたアルゴリズムは、分割クラス数が固定されている場合に、二部グラフの分割隣接行列実現および構築問題を多項式時間で解く。
• アルゴリズムは多項式恒等式テストに基づく確率的アプローチを用い、シュワーツ・ジッペルの補題により誤差確率を有界にすることで、高い確率で正しく動作することを保証する。
• この手法は、指定されたクラス間エッジ数をもつ完全マッチング問題へも拡張可能であり、分割クラス数が固定されている場合に同様に多項式時間の解法を提供する。
• コアとなる技術は、グラフ実現の制約を多変数多項式に符号化し、代数的技法を用いてその恒等的にゼロでないかをテストすることに依存する。
• 複雑な組合せ的制約を有限体上の代数的評価に還元することで、効率性を達成する。
• このアプローチは理論的にも効率的であり、実装上も実行可能であり、代数的計算とグラフ実現問題との間の新しい接続を提供する。