[論文レビュー] Recognition of collapsible complexes is NP-complete

Martin Tancer|arXiv (Cornell University)|Nov 27, 2012

Topological and Geometric Data Analysis参考文献 15被引用数 9

ひとこと要約

この論文は、3次元単体的複体が収縮可能かどうかを判定することはNP完全であることを証明し、計算トポロジーにおける基本的問題の計算困難性を確立している。証明は3-SATへの還元を用い、特に3室のビンガーハウスを含む特殊なガジェットを構築することで、論理的節と変数をシミュレートし、3次元複体における収縮可能性の意思決定がNP完全問題を解くのと同程度に難しいことを示している。

ABSTRACT

We prove that it is NP-complete to decide whether a given (3-dimensional) simplicial complex is collapsible. This work extends a result of Malgouyres and Francés showing that it is NP-complete to decide whether a given simplicial complex collapses to a 1-complex.

研究の動機と目的

• 3次元単体的複体が収縮可能かどうかを判定する問題の計算複雑性を解明すること。
• 1次元複体への収縮に関する先行研究のNP完全性を拡張し、点への収縮に対しても同様の困難性を証明すること。
• 問題が3次元複体に制限された場合でもNP完全のままであることを確立すること。
• 収縮可能性と離散モース理論、特に完全なモースマッチングとの関係を調査すること。
• 形状再構成やホモロジー計算において収縮可能な複体を用いる際の広範な意味を検討すること。

提案手法

• 変数と節を符号化するための論理的ガジェットを用いて、3-SATから収縮可能性問題への還元を構築する。
• 論理的依存関係をシミュレートし、収縮可能性の制約を強制するための主要なトポロジカルガジェットとして、3室のビンガーハウスを導入する。
• 変数ガジェットと節ガジェットを設計し、それらが3-SAT式が充足可能である場合にのみ制御された収縮列を許容するようにする。
• 複体が収縮可能であることは、完全なモースマッチングを許容することと同値であるという性質を用い、問題を離散モース理論と結びつける。
• 有効な収縮列が存在するための必要十分条件が3-SATインスタンスが充足可能であることであることを示し、同相型が保存されることを証明することでNP困難性を示す。
• d次元複体（d ≥ 3）に対しても結果を拡張するため、複体にd単体を付加することで、d次元複体におけるNP完全性を示す。

実験結果

リサーチクエスチョン

• RQ1 3次元単体的複体が収縮可能かどうかを判定することはNP完全であるか？
• RQ2 収縮可能性のNP完全性は、より高次元の複体へ拡張可能か？
• RQ3 d ≥ 3 かつ k ∈ {0,1} のとき、d次元複体をk次元複体に収縮する問題の複雑さは何か？
• RQ4 d次元複体を(d−1)次元複体に収縮する多項式時間アルゴリズムは存在するか？もしあるならば、どのような条件下で成立するか？
• RQ5 非収縮可能なd次元球が存在するという事実を踏まえ、d次元球を点に収縮する問題の計算複雑さは何か？

主な発見

• 与えられた3次元単体的複体が収縮可能かどうかを判定することはNP完全である。
• このNP完全性の結果は、3次元複体に制限された場合でも成立し、低次元における問題の困難性を確認している。
• d ≥ 3 に対して、d次元複体に対してもNP完全性が成り立つ。これは、構成にd単体を付加することで示された。
• 3次元複体が点に収縮可能であることと、完全なモースマッチングを許容することとは同値であり、収縮可能性が離散モース理論と結びついている。
• 構成により、固定された1次元複体への収縮がNP完全であることも示された。これは、ターゲット複体を構成に接続することで達成された。
• この結果は、ホモトピー型を保存するためにRipsまたはČech複体を収縮に依存する形状再構成アルゴリズムに、本質的な制限があることを示唆している。