[論文レビュー] Exact counting of Euler Tours for Graphs of Bounded Treewidth

Prasad Chebolu, Mary Cryan+1 more|arXiv (Cornell University)|Oct 1, 2013

Advanced Graph Theory Research参考文献 3被引用数 3

ひとこと要約

本稿では、有界木幅を持つ無向オイラー的グラフにおけるオイラー閉路の正確な個数を多項式時間で数えるアルゴリズムを提示する。この手法は、継続的で良い木分解における動的計画法を活用している。主な貢献は、系列並列グラフ（木幅2）における先行研究を、固定された木幅を持つすべてのグラフへと拡張したことである。これは、このグラフクラスにおける数え上げ複雑度分野で長年の未解決問題を解消した。

ABSTRACT

In this paper we give a simple polynomial-time algorithm to exactly count the number of Euler Tours (ETs) of any Eulerian graph of bounded treewidth. The problems of counting ETs are known to be #P-complete for general graphs (Brightwell and Winkler, (Brightwell and Winkler, 2005). To date, no polynomial-time algorithm for counting Euler tours of any class of graphs is known except for the very special case of series-parallel graphs (which have treewidth 2).

研究の動機と目的

• 有界木幅を持つ無向オイラー的グラフにおけるオイラー閉路の効率的かつ正確な個数を数えるアルゴリズムを開発すること。
• 系列並列グラフ（木幅2）における既知の多項式時間結果を、固定された木幅を持つすべてのグラフへと拡張すること。
• 一般のグラフでは既に#P完全であることが知られているオイラー閉路の個数の計算の困難さに対処すること。
• 木分解とその上で行う動的計画法を活用する構成的アプローチを提供すること。

提案手法

• アルゴリズムは、入力グラフの良い木分解を使用する。これは、有界木幅グラフに対して標準的な手法である。
• 各部分木における部分森の電荷ベクトルとルートベクトルを追跡する動的計画法テーブルを維持する。
• 木分解における結合ノードでは、左および右の部分木からの解を、ルート割り当てと電荷伝搬の整合性を保つ組み合わせルールを用いて統合する。
• 得られる森における閉路の有無と適切な接続性を保証するため、ルートベクトルに関する条件をチェックすることで有効な組み合わせを計算する。
• 木分解の下向き再帰的走査により、リーフでテーブルを初期化し、内部ノードでそれらを統合する。
• 有効なオイラー的向き付けと一貫した辺の走査に対応する制約を課すことにより、正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 一般のグラフでは#P完全であるにもかかわらず、有界木幅を持つグラフにおいてオイラー閉路の個数を多項式時間で数え上げることは可能か？
• RQ2 木分解上の動的計画法が、電荷とルートベクトルといった構造的性質を追跡することで、オイラー閉路を効率的に数え上げられるか？
• RQ3 有向オイラー的グラフにおけるオイラー閉路とイン・アルボレステーションの関係を、有界木幅を持つ無向グラフの数え上げにどのように応用できるか？
• RQ4 このアルゴリズムは、有界木幅グラフにおける他のグラフ多項式（例えばマーチン多項式）の計算へと拡張可能か？

主な発見

• 本稿では、有界木幅を持つ任意のオイラー的グラフにおけるオイラー閉路の個数を多項式時間で数えるアルゴリズムを提示し、数え上げ複雑度分野における未解決問題を解決した。
• アルゴリズムは、良い木分解上の動的計画法に基づいており、状態テーブルが部分森の電荷ベクトルとルートベクトルを追跡する。
• 結合ノードの処理において、閉路の有無と一貫したルート割り当てを保証する制約の下で、部分木からの解を適切に統合する。
• このアプローチにより、系列並列グラフ（木幅2）における先行研究が、固定された木幅dのすべてのグラフへと一般化された。
• アルゴリズムの正しさは、オイラー閉路と分解におけるイン・アルボレステーションおよび森構造との間の明確な特徴付けに基づいている。
• 本研究は、有界木幅グラフにおける他のグラフ多項式（例えばマーチン多項式）の計算へと拡張可能である基盤を提供する。