[論文レビュー] Parameterized Complexity of CSP for Infinite Constraint Languages

Ruhollah Majdoddin|arXiv (Cornell University)|Jun 30, 2017

Advanced Graph Theory Research参考文献 2被引用数 3

ひとこと要約

この論文は、解の重み、制約数、変数の出現回数の上限といったパラメータを用いて、無限なブール制約言語上の制約充足問題（CSP）のパrameterized 複雑さを調査する。重み付き正確CNFに追加のパラメータを導入した場合の固定パrameter可 tractability を確立するとともに、変数の出現回数が制限された場合の奇数／偶数重み関係におけるCSPの tractability といった未解決の複雑さの問題を解消する。

ABSTRACT

We study parameterized Constraint Satisfaction Problem for infinite constraint languages. The parameters that we study are weight of the satisfying assignment, number of constraints, maximum number of occurrences of a variable in the instance, and maximum number of occurrences of a variable in each constraint. A dichotomy theorem is already known for finite constraint languages with the weight parameter. We prove some general theorems that show, as new results, that some well-known problems are fixed-parameter tractable and some others are in W[1].

研究の動機と目的

• 有限制約言語にとどまらない、無限な制約言語へのCSPのパrameterized 複雑さ分析を拡張すること。特にブールドメインに焦点を当てる。
• 制約数、変数の出現回数、解の重みといった追加パラメータが、無限な言語上でのCSPの tractability に与える影響を調査すること。
• さまざまなパラメータ化のもとでの、Even Set や Weighted Exact CNF といった問題の複雑さに関する未解決の問題を解消すること。
• fpt-membership checkable 関係と $W^E$ のような構造化された制約族を導入することで、無限な制約言語に対する新しい二分法に類する結果を確立すること。
• 特に変数の出現回数の制限が加わった場合に、パリティに基づくCSPにおける W[1]-hardness と固定パrameter可 tractability の境界を明確にすること。

提案手法

• E \subseteq \mathbb{N}_0 に対してクラス $W^E$ を導入し、関係が対称的で、重みが $E$ に属するタプルを許容するようにすることで、無限な制約言語の体系的かつ系統的な研究を可能にする。
• fpt-membership checkable 制約言語を定義し、タプルが関係に属するかどうかを、タプルの重みに関して固定パrameter可 tractable 時間で決定可能であるようにする。
• 元の制約をパラメータ化された条件下でシミュレートするために、補助変数 $\lambda_{\omega_1(T)}$ とバインディング制約 $CW_{b,1}^{[1]}$ を導入する還元技術を採用する。
• 元のCSPインスタンス $I$ から変換されたインスタンス $J$ を構築し、解の同値性を保持するとともに、$CW^{[2^d]}$ 関係を用いて制約を有界なアリティの枠組みに埋め込む。
• 構造的事実（例：Fact 6.5）を用いて、新しいインスタンスにおける変数の割り当てが、元のインスタンスにおける部分集合および補集合の関係を正しく反映することを保証する。
• 既知の還元（例：$p$-Independent-Set からの還元）を適用し、既知の W[1]-完全性の結果を活用することで、より広範なクラスにおける W[1] への包含関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 制約数が制限されている場合、無限な制約言語（例：$W^\mathbb{N}$）上のパラメータ化CSPは固定パrameter可 tractable か？
• RQ2 制約数 $u$ や制約内での最大変数出現回数 $t$ を導入することで、Weighted Exact CNF のような W[1]-hard 問題の複雑さは軽減されるか？
• RQ3 変数の出現回数が $t \leq 3$ に制限された場合、$W^{\text{odd}}$ および $W^{\text{even}}$ 上のCSPのパラメータ化複雑さは何か？
• RQ4 Even Set 問題（すなわち $W^{\text{even}}$ 上のCSP）は、追加のパラメータのもとで W[1]-hard か、固定パrameter可 tractable か？
• RQ5 任意の（無限を含む）制約言語 $\Gamma$ に対して、$\text{CSP}(\Gamma)_{k,t}$ が W[1] に含まれることは示せるか？

主な発見

• 任意の $E \subseteq \mathbb{N}_0$ に対して、CSP$(W^E)_{k,u,e}$ は固定パrameter可 tractable である。$E$ が無限であっても同様に成り立つ。
• $E$ または $\mathbb{N}_0 \setminus E$ が有限であれば、CSP$(W^E)_{k,u}$ は固定パrameter可 tractable である。これは、追加パラメータを含む重み付き正確CNFの主要なケースを解消する。
• CSP$(W^{\text{odd}})_{k,t \leq 3}$ は固定パrameter可 tractable である。これは驚くべき結果であり、変数の出現回数を制限することで、W[1]-hard から tractable に複雑さが低下する唯一の既知の事例である。
• CSP$(W^{\text{even}})_{k,u}$ は固定パrameter可 tractable である。これは、長年の未解決であった Even Set 問題に対して、$u$ パラメータのもとでの新たな肯定的結果を提供する。
• 任意の（無限を含む）制約言語 $\Gamma$ に対して、CSP$(\Gamma)_{k,t} \in \text{W}[1]$ が成り立つ。これは広範な包含関係を確立する。
• 任意の $d \geq 0$ に対して、CSP$(W^d)_{k} \in \text{W}[1]$ が成り立つ。これは、重みパラメータのもとでの有界アリティの対称関係に対して包含関係が確認されたことを示す。