[論文レビュー] Combining Treewidth and Backdoors for CSP

Robert Ganian, M. S. Ramanujan+1 more|arXiv (Cornell University)|Oct 11, 2016

Constraint Satisfaction and Optimization参考文献 39被引用数 6

ひとこと要約

本稿は、CSPにおける構造的制約（木幅）と言語ベースの制約（扱いやすい制約言語）を組み合わせたハイブリッドパラメータとしてのバックドア木幅を導入する。この論文は、バックドア木幅をパラメータとしてCSPが固定パラメータ可 tractable であることを証明し、低木幅でもなく、かつ小さなバックドアを持たないインスタンスに対しても、そのようなバックドアを効率的に見つける固定パラメータアルゴリズムを提供する。

ABSTRACT

We show that CSP is fixed-parameter tractable when parameterized by the treewidth of a backdoor into any tractable CSP problem over a finite constraint language. This result combines the two prominent approaches for achieving tractability for CSP: (i) by structural restrictions on the interaction between the variables and the constraints and (ii) by language restrictions on the relations that can be used inside the constraints. Apart from defining the notion of backdoor-treewidth and showing how backdoors of small treewidth can be used to efficiently solve CSP, our main technical contribution is a fixed-parameter algorithm that finds a backdoor of small treewidth.

研究の動機と目的

• 構造的制約と言語ベースの制約を独立に扱う従来のアプローチの限界を克服すること。
• CSPインスタンスにおけるハイブリッド可 tractability を捉える新しいパラメータ「バックドア木幅」を定義すること。
• 小さなバックドア木幅集合を探索する固定パラメータアルゴリズムを開発すること。
• バックドア木幅をパラメータとしてCSPが、任意の有限な扱いやすい制約言語へとパラメータ化された固定パラメータ可 tractable であることを示すこと。
• CSPにおける2大可 tractability パaradigm（構造的制約（木幅）と言語的制約（扱いやすい制約言語））を統合すること。

提案手法

• 制約言語Γに関するバックドア木幅の形式的定義を、部分を単一の制約に縮約した後のインスタンスの原始的木幅に基づいて行う。
• CSP(Γ)への強いバックドアの概念を用いて、ハイブリッドパラメータを定義する。
• 境界付きグラフ技術と分離補題（例：補題15および補題16）を用いて、構造的性質を保ちながらインスタンスサイズを縮小する。
• バックドア問題の自己還元性を活用し、決定オракルを用いて強いバックドア集合を計算する。
• パrameterに応じたO((q+k)^k |G|^3)の実行時間で、小さなバックドア木幅集合を探索するFPTアルゴリズムを活用する。
• インスタンス縮小中に解の性質を保つために、t同値性（補題13による）を用いる。

実験結果

リサーチクエスチョン

• RQ1 構造的制約と言語ベースの制約を組み合わせたハイブリッドパラメータを定義できるか？
• RQ2 バックドア木幅をパラメータとしてCSPは、扱いやすい制約言語へとパラメータ化された固定パラメータ可 tractable か？
• RQ3 FPT時間内で、小さなバックドア木幅を持つ強いバックドア集合を効率的に計算できるか？
• RQ4 新しいパラメータは、低木幅でもなく、小さなバックドアを持たないインスタンスの解法を可能にするか？
• RQ5 このフレームワークは、他のグラフ不変量や制約言語クラスへ一般化可能か？

主な発見

• バックドア木幅は、あるインスタンスでは原始的木幅およびバックドアサイズよりも厳密に小さくなるため、より広範な可 tractability を可能にする。
• バックドア木幅がk以下であるような強いバックドア集合を、O((q+k)^k |G|^3)の時間で探索する固定パラメータアルゴリズムが存在する。ここでqはkおよび木幅パラメータに依存する。
• バックドア木幅をパラメータとしてCSPは、任意の有限な扱いやすい制約言語へとパラメータ化された固定パラメータ可 tractable である。
• アルゴリズムは各再帰的段階で入力インスタンスのサイズを縮小し、FPT実行時間を保証する。
• 本手法は、2つの古典的可 tractability パラダイム（構造的制約（木幅）と言語的制約（扱いやすい制約言語））を統合する。
• このフレームワークは、他のグラフ不変量や制約言語クラスへ一般化可能であり、より広範な適用可能性を示唆する。