[论文解读] Parameterized Complexity of CSP for Infinite Constraint Languages

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

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

一句话总结

本文研究了在无限布尔约束语言上约束满足问题（CSP）的参数化复杂性，重点关注解的权重、约束数量以及变量出现次数等参数。研究为若干关键问题（如引入额外参数的加权精确CNF）建立了固定参数可满足性，同时解决了开放的复杂性问题，包括在变量出现次数受限条件下奇/偶权重关系上CSP的可满足性。

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的参数化复杂性分析从有限约束语言扩展到无限语言，特别是布尔域上的情况。
• 研究额外参数（如约束数量、变量出现次数和解的权重）如何影响无限语言上CSP的可满足性。
• 解决关于Even Set和加权精确CNF等问题在各种参数化下的复杂性开放问题。
• 通过引入fpt可判定关系和结构化约束族（如$W^E$），为无限约束语言建立新的类似二分法的结果。
• 澄清基于奇偶性的CSP在引入变量出现次数限制时，W[1]-难与固定参数可满足性之间的边界。

提出的方法

• 引入类$W^E$（其中$E \subseteq \mathbb{N}_0$），其中关系对称且允许权重属于$E$的元组，从而系统研究无限约束语言。
• 定义fpt可判定约束语言，即在以元组权重为参数时，可判定元组是否属于某关系的时间为固定参数可满足时间。
• 采用一种归约技术，引入辅助变量$\lambda_{\omega_1(T)}$和绑定约束$CW_{b,1}^{[1]}$，在参数化条件下模拟原始约束。
• 从原始CSP实例$I$构造一个变换后的实例$J$，在保持解等价性的同时，通过$CW^{[2^d]}$关系将约束嵌入有界弧度框架。
• 利用结构事实（如事实6.5）确保新实例中变量赋值正确反映原始实例中的子集与补集关系。
• 应用已知归约（如从$p$-Independent-Set）并利用已知的W[1]-完全性结果，推导出更广类别的W[1]包含性。

实验结果

研究问题

• RQ1 当约束数量有界时，无限约束语言（如$W^\mathbb{N}$）上的参数化CSP是否是固定参数可满足的？
• RQ2 引入约束数量$u$或约束中最大变量出现次数$t$是否会降低如加权精确CNF等W[1]-难问题的复杂性？
• RQ3 当变量出现次数被限制为$t \leq 3$时，$W^{\text{odd}}$和$W^{\text{even}}$上的CSP的参数化复杂性如何？
• RQ4 Even Set问题（即$W^{\text{even}}$上的CSP）在引入额外参数时是W[1]-难还是固定参数可满足的？
• RQ5 能否为任意（可能无限的）约束语言$\Gamma$建立$\text{CSP}(\Gamma)_{k,t}$属于W[1]的包含性？

主要发现

• 对每个$E \subseteq \mathbb{N}_0$，CSP$(W^E)_{k,u,e}$是固定参数可满足的，即使$E$为无限集。
• 若$E$或$\mathbb{N}_0 \setminus E$为有限集，则CSP$(W^E)_{k,u}$是固定参数可满足的，解决了加权精确CNF在附加参数下的关键情形。
• CSP$(W^{\text{odd}})_{k,t \leq 3}$是固定参数可满足的，这令人惊讶，因为这是唯一已知在限制变量出现次数后使复杂性从W[1]-难降至可满足的案例。
• CSP$(W^{\text{even}})_{k,u}$是固定参数可满足的，为长期开放的Even Set问题在$u$参数下提供了新正面结果。
• 对每个（可能无限的）约束语言$\Gamma$，有CSP$(\Gamma)_{k,t} \in \text{W}[1]$，建立了广泛包含性结果。
• 对每个$d \geq 0$，有CSP$(W^d)_{k} \in \text{W}[1]$，确认了在权重参数下有界弧度对称关系的包含性。