[論文レビュー] Refuting Feder, Kinne and Rafiey

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

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

ひとこと要約

この論文は、Feder, Kinne, and 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, and Rafieyが最近提唱したCSP分岐予想の多項式時間アルゴリズムの正しさに挑戦すること。
• WNU多様体に基づくリスト短縮基準が不安全であり、唯一の妥当な解を消去する可能性があることを示すこと。
• WNU多様体の存在と正しく前処理された状態でも、アルゴリズムが失敗する具体的な反例インスタンスを提供すること。
• 特にその短縮メカニズムのステップ(4)におけるアルゴリズム論理の根本的欠陥を明確にすること。
• WNUケースをMal’tsevケースに正しく還元するあらゆる改訂版アルゴリズムが克服すべき課題を強調すること。

提案手法

• 3項のWNU多様体φ′を有する有限有向グラフHを構築し、これはMal’tsevでない、つまりあるa,bについてφ′(b,b,…,b,a)≠aとなること。
• Hom(G→H)がちょうど1つのホモモーフィズムを持つように、ソース有向グラフGを設計し、一意な解を保証する。
• G→Hに(2,3)-整合性（経路整合性）を適用し、各x∈V(G)に対してリストL(x)を生成し、リストの積内に一意の解を保持する。
• 各x∈V(G)に対して、φ′(b,b,…,b,a)≠aとなるa,b∈L(x)が存在することを示し、アルゴリズムの削除基準がすべてのリストに適用可能であることを示す。
• 各x∈V(G)に対して、一意の解h(x)は、あるb∈L(x)についてφ′(b,b,…,b,a)≠aを満たす唯一の値a∈L(x)であるため、そのようなaの削除は唯一の解を消去することを証明する。
• 8つの解を持つより大きなインスタンスに構成を拡張し、複数の候補が削除条件を満たす場合に、どのリストを短縮すべきかをアルゴリズムが区別できないことを示す。

実験結果

リサーチクエスチョン

• RQ1 Feder-Kinne-Rafieyアルゴリズムは、提案されたリスト短縮基準を用いてWNUケースをMal’tsevケースに正しく還元できるか？
• RQ2 WNU多様体がすべてのa,b∈リストについてφ(b,b,…,b,a)≠aを満たすが、正しい値h(x)がその不等式を満たす唯一の値であるようなCSPインスタンスを構築可能か？
• RQ3 正しい値が唯一の可能な変数割り当てであり、解と整合する唯一の値であるにもかかわらず、その値を削除するアルゴリズムは、解が存在しないと誤って結論づけるのか？
• RQ4 複数のリストが削除条件を満たす場合に、どのリストを短縮すべきかを安全に特定できない場合、アルゴリズムは救済可能か？
• RQ5 ステップ(3)におけるWNU多様体の進化が、ステップ(4)における安全なリスト短縮を可能にする制約として、構造的または論理的要件を満たさないのか？

主な発見

• 3項のWNU多様体φ′を有するターゲット有向グラフHと、一意のホモモーフィズムh:G→Hを有するソース有向グラフGを持つ反例インスタンスが存在する。
• (2,3)-整合性を適用した後、各リストL(x)にはφ′(b,b,…,b,a)≠aとなるa,bが存在するため、アルゴリズムの削除基準がすべてのリストに適用可能である。
• 各x∈V(G)に対して、あるb∈L(x)についてφ′(b,b,…,b,a)≠aを満たす唯一の値a∈L(x)は、一意の解h(x)である。つまり、そのようなaの削除は唯一の解を消去する。
• このインスタンスでは、アルゴリズムがその削除ルールを適用するたびに正しい値が削除されるため、解が存在しないと誤って結論づける。
• 失敗は実装上の欠陥によるものではなく、根本的な論理的欠陥に起因する。削除基準は、唯一の解がMal’tsev条件を唯一に違反する場合に安全でない。
• 8つの解を持つより大きなインスタンスは、複数のリストが削除条件を満たすが、安全に短縮可能なのは一部であることをさらに明確に示している。アルゴリズムは正しい選択肢を特定するメカニズムを欠如している。