[論文レビュー] Constrained path-finding and structure from acyclicity

Lê Thành Dũng Nguyễn|arXiv (Cornell University)|Jan 21, 2019

Advanced Graph Theory Research被引用数 2

ひとこと要約

本稿では、特定の色クラス制約下で適切に着色された経路およびレインボーパスを線形時間で探索するアルゴリズムを提示すると同時に、一般のレインボーパス探索問題がNP完全であることを証明している。著者らは、独自の辺彩色線グラフ構成を用いて、 tractable と intractable な場合の二分岐を確立し、一意的な完全マッチング、ボトムズ、ブリッジ削除順序の間の深い構造的同等性を明らかにした。これにより、線形論理における証明理論的インスピレーションを受ける新しい組合せ的特徴付けが得られた。

ABSTRACT

This note presents several results in graph theory inspired by the author's work in the proof theory of linear logic; these results are purely combinatorial and do not involve logic. We show that trails avoiding forbidden transitions, properly arc-colored directed trails and rainbow paths for complete multipartite color classes can be found in linear time, whereas finding rainbow paths is NP-complete for any other restriction on color classes. For the tractable cases, we also state new structural properties equivalent to Kotzig's theorem on the existence of bridges in unique perfect matchings. Another result on graphs equipped with unique perfect matchings that we prove here is the combinatorial counterpart of a theorem due to Bellin in linear logic: a connection between blossoms and bridge deletion orders.

研究の動機と目的

• 辺彩色グラフにおける制約付きパス探索問題の tractable なケースを同定・特徴づけること、特に適切な着色とレインボーパスを含むこと。
• 色クラス構造に基づいて、レインボーパス問題の多項式時間解法可能とNP完全なインスタンスの二分岐を確立すること。
• 一意的な完全マッチングをもつグラフにおける新しい構造的性質を解明すること、特にボトムズとブリッジ削除順序との関係を含むこと。
• 線形論理における既知の結果の組合せ的双対物を提供すること、特に証明ネット理論とグラフ理論的構造を結びつけること。
• 制約付きパス探索問題をマッチングにおける増幅パス問題に効率的に還元できる、新しい辺彩色線グラフ構成を提示すること。

提案手法

• 制約付きパス探索問題をマッチングにおける増幅パス問題に還元するため、独自の辺彩色線グラフ構成を用いる。
• 最小長の適切に着色されたウォークを探索するため幅優先探索を適用し、その後エッジの重複除去によりウォークをトレイルに最小化する。
• 既知のNP完全問題（例：CNF-SAT、2-弧彩色有向グラフのパス問題）からの還元を用いて、難易度の結果を証明する。
• 線形論理の証明ネットにおける論理的構造を、特に「依存関係」をマッチング理論におけるボトムズに結びつけるグラフ理論的構造に翻訳する。
• Kotzigの定理（一意的完全マッチングにおけるブリッジに関するもの）を、新しい同等性を導出する基盤的構造的原則として用いる。
• 2-弧彩色有向グラフのパス問題から多対一還元を用いて、完全マッチングをもつ有向グラフにおける交互路の問題がNP完全であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 色クラスにどのような条件下で、線形時間でレインボーパスを探索できるか？
• RQ2 一意的な完全マッチングをもつグラフにおいて、ブリッジの存在やボトムズ構造と同等となる構造的性質は何か？
• RQ3 線形論理の証明ネットにおける「依存関係」の概念は、グラフにおけるボトムズのような組合せ的構造にどのように対応するか？
• RQ4 辺彩色グラフにおける制約付きパス探索問題において、 tractable と NP完全なケースの正確な境界は何か？
• RQ5 線形論理における証明ネットの正しさとグラフマッチングの間の関係を、組合せ的双対性として形式化できるか？

主な発見

• 幅優先探索に基づくアルゴリズムを用いることで、ウォークをエッジの重複除去によりトレイルに最小化することにより、適切に着色されたトレイルおよびパスを線形時間で探索可能である。
• 一般にはレインボーパス探索はNP完全であるが、色クラスが完全マルチパーティーション構造をなす場合には線形時間で解ける。
• 二分岐定理が確立された：レインボーパス探索は、色クラスが完全マルチパーティーションである場合にのみ多項式時間で解ける。それ以外の場合はNP完全である。
• 一意的完全マッチングにおけるブリッジの存在は、交互なサイクルの不在と構造的に同等であり、Kotzigの定理を拡張する。
• 線形論理におけるBellinの定理の組合せ的双対物が証明され、マッチングにおけるボトムズ構造が証明ネットにおける依存構造と正確に一致することが示された。
• 完全マッチングをもつ2-弧彩色有向グラフにおける交互路問題は、非巡回性制約下でも、パス問題からの還元によりNP完全であることが示された。