[论文解读] 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）的重配置变体，其目标是确定是否可以通过一次仅改变一个变量的方式，将一个满足赋值转换为另一个满足赋值，同时保持可行性。作者界定了多项式时间可解性与参数化复杂性的边界，通过结构参数和域大小参数识别出可解情形，并通过预处理与替换技术证明了在有向蕴含图无环时存在多项式时间算法。

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的重配置问题，其中每条超边定义其顶点集合上允许的值赋值集合。
• 将重配置序列定义为满足赋值的路径，相邻赋值仅在一个变量上不同，且所有中间赋值均保持可行。
• 从约束构建蕴含图，以识别在所有解中均被固定的变量，使用有向边表示值之间的依赖关系。
• 应用预处理步骤，将实例限制在非固定变量上，并用固定值替代，从而将问题简化为具有无环蕴含图的更小实例。
• 使用替换与限制操作生成一个等价实例，其中所有固定变量均被移除，确保蕴含图变为无环。
• 利用蕴含图中无有向环的特性，通过结构分解与解路径存在性证明重配置可在多项式时间内求解。

实验结果

研究问题

• RQ1 在何种域大小与超图结构条件下，CSP的重配置问题可在多项式时间内求解？
• RQ2 如何识别并从重配置过程中消除那些在任何满足赋值中均无法更改的固定变量？
• RQ3 蕴含图在决定CSP重配置复杂性方面起什么作用？它如何用于将问题简化为可解形式？
• RQ4 能否将重配置问题约化为蕴含图无环的等价实例？该约化提供了何种保证？
• RQ5 在指数时间假设下，CSP重配置的确切时间复杂度界限是什么？它们与所提出算法有何关联？

主要发现

• 当简化实例的蕴含图无环时，CSP的重配置问题可在多项式时间内求解，该结论通过预处理与替换技术得以证明。
• 蕴含图中属于有向环的变量在所有满足赋值中均为固定值，无法被重配置，因此可从考虑中移除。
• 预处理步骤将原始实例简化为一个等价实例，其中所有固定变量均被替换，且结果蕴含图为无环。
• 原始实例与简化实例之间保持等价性：原始实例中存在重配置序列当且仅当简化实例中也存在。
• 该方法确保每次预处理迭代中顶点数量减少，从而保证在多项式时间内终止。
• 最终简化实例满足其蕴含图中不存在有向环的条件，这是多项式时间可解性结果的关键。