[論文レビュー] The Complexity of Hamiltonian Cycle Problem in Digraps with Degree Bound Two is Polynomial Time

Guohun Zhu|arXiv (Cornell University)|Apr 3, 2007

Graph theory and applications参考文献 2被引用数 2

ひとこと要約

本稿では、最大次数が2である有向グラフにおけるハミルトン閉路問題（HCP）が、2つの鍵となる写像を用いて多項式時間で解けることを証明している。まず、有向サイクルの接続行列とバランスの取れた二部無向グラフの間の全単射を確立し、次に完全マッチングからハミルトン閉路への逆写像を実施する。さらに、このようなグラフにおける2番目の非同型なハミルトン閉路の探索も多項式時間で可能であることを示し、これらの結果に基づいて P = BPP = NP を導出する。

ABSTRACT

Abstract. The complexity Hamiltonian cycle problem (HCP) in digraph D with degree bound two is solved by two mappings. The first bijection is between of a incidence matrix of Cnm of a simple digraph to a matrix F of a balanced bipartite undirected graph G; The second mapping is reverse from a perfect matching of G to a cycle of D. It proves that the complexity of HCP in D is polynomial. and finding a second nonisomorphism Hamiltonian cycle from a given Hamiltonian digraph with degree bound two is also polynomial. Lastly it deduce P = BPP = NP base on the results. 1

研究の動機と目的

• 最大次数が2である有向グラフにおけるハミルトン閉路問題（HCP）の計算複雑性を特定すること。
• 構造的写像を用いて、このような有向グラフにおけるHCPを多項式時間で解くアルゴリズムを確立すること。
• 次数制限付き有向グラフにおいて、1つのハミルトン閉路が既知である場合に、2番目の非同型なハミルトン閉路を効率的に見つけることができるかどうかを証明すること。
• これらの結果が複雑度クラスの等価性、特に P = BPP = NP に与える広範な影響を検討すること。

提案手法

• 単純な有向サイクルの接続行列とバランスの取れた二部無向グラフの行列表現との間の全単射を確立する。
• 有向グラフの接続構造をバランスの取れた二部グラフに写像することで、サイクルの性質を保持する。
• 二部グラフにおける完全マッチングと元の有向グラフにおけるハミルトン閉路との対応関係を用いる。
• 二部グラフにおける完全マッチングから元の有向グラフにおけるサイクルへの逆写像を実施し、ハミルトン閉路を再構築する。
• 二部グラフにおける完全マッチングの多項式時間解法を活用し、次数制限付き有向グラフにおけるHCPの多項式時間解法を導出する。
• 与えられた制約下でのHCPの多項式時間解法に基づき、P = BPP = NP の等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 最大次数が2である有向グラフにおけるハミルトン閉路問題は多項式時間で解けるか？
• RQ2 1つのハミルトン閉路が既知である場合、次数制限付き有向グラフにおいて2番目の非同型なハミルトン閉路を効率的に見つけることができるか？
• RQ3 有向グラフにおける接続行列の構造と二部グラフにおける完全マッチングとの関係は何か？
• RQ4 次数制限付き有向グラフにおけるHCPの多項式時間解法は、より広範な複雑度クラスの等価性を示唆するか？
• RQ5 有向グラフのサイクルと二部グラフのマッチングとの間の全単射は、基本的な複雑度クラスの問題を解消するために利用できるか？

主な発見

• 最大次数が2である有向グラフにおけるハミルトン閉路問題は、接続行列とバランスの取れた二部グラフとの間の構成的全単射を用いて多項式時間で解ける。
• 導出された二部グラフにおける完全マッチングは、元の有向グラフにおけるハミルトン閉路に正確に対応しており、効率的なサイクル再構築が可能である。
• 次数制限付き有向グラフにおいて2番目の非同型なハミルトン閉路を求める問題も多項式時間で解ける。
• このクラスにおけるHCPの多項式時間アルゴリズムの存在は、P = BPP = NP を示唆する。
• 構造的写像は、有向グラフにおけるサイクル検出と二部グラフにおけるマッチング問題を結ぶ、新しいアプローチを提供する。