[论文解读] Refuting Feder, Kinne and Rafiey

Ross Willard|arXiv (Cornell University)|Jul 29, 2017

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

一句话总结

本文反驳了Feder、Kinne和Rafiey提出的一种声称可多项式时间求解CSP二分猜想的算法，证明其基于WNU多态性进行迭代列表收缩的方法失败，因为该方法可能删除唯一有效的解。作者构造了一个反例实例，其中算法的删除准则会移除正确赋值，从而证明即使其核心逻辑正确，该算法也是错误的。

ABSTRACT

I give an example showing that the recent claimed solution by Feder, Kinne and Rafiey to the CSP Dichotomy Conjecture is not correct.

研究动机与目标

• 挑战Feder、Kinne和Rafiey最近提出的CSP二分猜想多项式时间算法的正确性。
• 证明该算法基于WNU多态性的列表收缩准则存在安全隐患，可能删除唯一有效的解。
• 提供一个具体反例实例，表明即使在正确预处理和存在WNU多态性的情况下，该算法仍会失效。
• 阐明该算法逻辑中的根本缺陷，特别是其收缩机制中第(4)步的问题。
• 强调任何修正后的算法必须克服的挑战，以正确地将WNU情形约化为Mal’tsev情形。

提出的方法

• 构造一个具有三元WNU多态性φ′的有限有向图H，且φ′不是Mal’tsev型，即存在某些a,b使得φ′(b,b,…,b,a)≠a。
• 设计一个源有向图G，使得Hom(G→H)恰好有一个同态，从而确保唯一解。
• 对G→H应用(2,3)-一致性（路径一致性），为每个x∈V(G)生成列表L(x)，并在列表的乘积中保留唯一解。
• 证明对每个x∈V(G)，均存在a,b∈L(x)，使得φ′(b,b,…,b,a)≠a，因此算法的删除准则适用。
• 证明此类删除操作仅会移除正确值h(x)，从而彻底消除唯一解。
• 将构造扩展至一个具有8个解的更大实例，以说明当多个候选列表均满足删除条件时，该算法无法判断应收缩哪一列表。

实验结果

研究问题

• RQ1 Feder-Kinne-Rafiey算法能否正确地利用其提出的基于列表收缩的准则，将CSP的WNU情形约化为Mal’tsev情形？
• RQ2 能否构造一个CSP实例，使得WNU多态性满足删除条件φ(b,b,…,b,a)≠a对列表中所有a,b成立，但正确值h(x)却是唯一满足该不等式的值？
• RQ3 当算法删除的是变量唯一可能的赋值（即使这些赋值是唯一与解一致的值）时，该算法是否失效？
• RQ4 若当多个列表均满足删除条件时，算法无法安全判断应收缩哪一列表，该算法是否仍可修复？
• RQ5 是否存在结构性或逻辑性约束，使得步骤(3)中WNU多态性的演化无法在步骤(4)中实现安全的列表收缩？

主要发现

• 存在一个反例实例，其中目标有向图H具有三元WNU多态性φ′，且源有向图G具有唯一的同态h:G→H。
• 在强制执行(2,3)-一致性后，每个列表L(x)均包含元素a,b，使得φ′(b,b,…,b,a)≠a，因此算法的删除准则适用于所有列表。
• 对每个x∈V(G)，唯一解h(x)是L(x)中唯一满足：存在某个b∈L(x)，使得φ′(b,b,…,b,a)≠a的值a，因此删除此类a将导致唯一解被消除。
• 该算法在此实例上失效，因为其删除规则的任何应用都会移除正确值，从而错误地得出无解的结论。
• 失败原因并非实现缺陷，而是根本性的逻辑错误：当唯一解是唯一违反Mal’tsev条件的解时，该删除准则并不安全。
• 具有8个解的更大实例进一步说明了问题：多个列表满足删除条件，但仅部分可安全收缩，而该算法缺乏正确选择的机制。