[論文レビュー] Complexity of Reconfiguration Problems for Constraint Satisfaction

Tatsuhiko Hatanaka, Takehiro Ito+1 more|arXiv (Cornell University)|Dec 27, 2018

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

ひとこと要約

この論文は、制約充足問題（CSP）の再構成バージョンを調査しており、1つの変数を一度に変更しながら妥当性を保ちつつ、ある充足割り当てを別の充足割り当てに変換できるかどうかを判定することを目的としている。著者は、多項式時間解法可能性とパラメータ化された複雑性の境界を確立し、構造的およびドメインサイズのパラメータを用いて扱いやすいケースを同定し、前処理と代入を用いて、帰納的でない帰納的グラフを持つ場合に多項式時間アルゴリズムを証明している。

ABSTRACT

Constraint satisfaction problem (CSP) is a well-studied combinatorial search problem, in which we are asked to find an assignment of values to given variables so as to satisfy all of given constraints. We study a reconfiguration variant of CSP, in which we are given an instance of CSP together with its two satisfying assignments, and asked to determine whether one assignment can be transformed into the other by changing a single variable assignment at a time, while always remaining satisfying assignment. This problem generalizes several well-studied reconfiguration problems such as Boolean satisfiability reconfiguration, vertex coloring reconfiguration, homomorphism reconfiguration. In this paper, we study the problem from the viewpoints of polynomial-time solvability and parameterized complexity, and give several interesting boundaries of tractable and intractable cases.

研究の動機と目的

• 制約充足問題（CSP）における再構成の計算複雑性を分析し、彩色やブール充足問題の再構成といった既知の問題を一般化すること。
• ドメインサイズとハイパーグラフ構造に基づいて、多項式時間解法可能性とパラメータ化された複雑性の下での扱いやすさと扱いにくさの境界を同定すること。
• 固定変数（すべての充足割り当てで変更できない変数）を同定し、帰納的グラフを用いてそれらを再構成プロセスから除去する前処理技術を開発すること。
• 還元されたインスタンスの帰納的グラフが帰納的である場合、CSPにおける再構成が多項式時間で解けることを示し、代入と制限の技術を用いること。

提案手法

• ハイパーグラフを用いてCSPの再構成問題を形式化し、各ハイパーエッジがその頂点の許容される値割り当ての集合を定義する。
• 再構成シーケンスを、1つの変数の割り当てのみが異なる充足割り当てのパスとして定義し、すべての中間割り当てが妥当性を保つこと。
• 制約から帰納的グラフを構築し、すべての解で固定されている変数を特定する。有向エッジを用いて値の依存関係を表現する。
• 元のインスタンスを固定でない変数に制限し、固定値を代入する前処理ステップを適用し、帰納的グラフが帰納的であるより小さなインスタンスに問題を還元する。
• 代入と制限の操作を用いて、すべての固定変数が削除された等価なインスタンスを生成し、帰納的グラフが帰納的になるように保証する。
• 帰納的グラフに有向サイクルが存在しないことを利用し、構造的分解と解パスの存在を用いて、再構成が多項式時間で解けることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ドメインサイズとハイパーグラフ構造がどのような条件下で、CSPの再構成問題が多項式時間で解けるか。
• RQ2 すべての充足割り当てで変更できない「固定変数」はどのように特定され、再構成プロセスからどのように除去できるか。
• RQ3 帰納的グラフがCSP再構成の複雑性を決定する役割を果たす役割は何か。また、問題を扱いやすい形に還元するためにどのように利用できるか。
• RQ4 再構成問題を帰納的帰納的グラフを持つ等価インスタンスに還元できるか。この還元が保証する性質は何か。
• RQ5 指数時間仮説の下で、CSP再構成の正確な時間計算量の上限は何か。また、それらは提案されたアルゴリズムとどのように関係しているか。

主な発見

• 還元されたインスタンスの帰納的グラフが帰納的である場合、前処理と代入を用いてCSPの再構成問題が多項式時間で解けることが示された。
• 帰納的グラフに有向サイクルに属する変数は、すべての充足割り当てで固定されており、再構成不能であるため、考慮から除外できる。
• 前処理ステップにより、元のインスタンスはすべての固定変数が代入された等価なインスタンスに還元され、その結果として帰納的グラフが帰納的になる。
• 元のインスタンスと還元されたインスタンスの間には等価性が保たれる：元のインスタンスに再構成シーケンスが存在するための必要十分条件は、還元されたインスタンスに再構成シーケンスが存在することである。
• この方法により、各前処理イテレーションで頂点数が減少し、多項式時間で終了することが保証される。
• 最終的な還元インスタンスは、帰納的グラフに有向サイクルが存在しないという条件を満たしており、これは多項式時間解法可能性の結果にとって不可欠である。