[論文レビュー] An Order out of Nowhere: A New Algorithm for Infinite-Domain CSPs

Antoine Mottet, Tomáš Nagy+1 more|arXiv (Cornell University)|Jan 30, 2023

Constraint Satisfaction and Optimization被引用数 1

ひとこと要約

本稿では、外部の線形順序と対称性に基づく推論を用いて、一様超グラフ上の無限ドメイン制約充足問題（CSP）を解く新しい多項式時間アルゴリズムを提示する。主な貢献は、ℓ-超グラフ充足可能性問題におけるP/NP完全な複雑性の二分岐であり、ランダムおよびクライク自由な超グラフを含む、多数の同型超グラフの1階還元に対してボディルスキー＝ピンスカー予想を確認することにある。

ABSTRACT

We consider the problem of satisfiability of sets of constraints in a given set of finite uniform hypergraphs. While the problem under consideration is similar in nature to the problem of satisfiability of constraints in graphs, the classical complexity reduction to finite-domain CSPs that was used in the proof of the complexity dichotomy for such problems cannot be used as a black box in our case. We therefore introduce an algorithmic technique inspired by classical notions from the theory of finite-domain CSPs, and prove its correctness based on symmetries that depend on a linear order that is external to the structures under consideration. Our second main result is a P/NP-complete complexity dichotomy for such problems over many sets of uniform hypergraphs. The proof is based on the translation of the problem into the framework of constraint satisfaction problems (CSPs) over infinite uniform hypergraphs. Our result confirms in particular the Bodirsky-Pinsker conjecture for CSPs of first-order reducts of many homogeneous hypergraphs including the random hypergraphs and hypergraphs omitting a generalised clique. This forms a vast generalisation of previous work by Bodirsky-Pinsker (STOC'11) and Bodirsky-Martin-Pinsker-Pongrácz (ICALP'16) on graph satisfiability.

研究の動機と目的

• 無限一様超グラフ上の制約充足問題（CSP）の複雑性を解明すること、特に古典的手法による有限ドメイン還元が失敗する場合を対象とする。
• 既存の還元の制限を回避する新しいアルゴリズムフレームワークを構築すること、特にℓ > 2の場合に有限ドメイン還元が容易に多項式時間問題をNP完全と誤分類する可能性があることに対応する。
• 一般化されたクライクを欠くようなクラス、例えば有限ℓ-超グラフのクラスにおけるℓ-ハイパーグラフ-SAT(Ψ, K)の完全な複雑性の二分岐を確立すること。
• ランダムおよびクライク自由な超グラフを含む、同型超グラフの1階還元に対してボディルスキー＝ピンスカー予想を確認すること。
• 局所的整合性手法がハイパーグラフ充足可能性問題を解くために十分である条件を特定すること、特に関係的幅とクローン作用の関係を含む。

提案手法

• 変数タプルに外部線形順序を導入することで誘発される対称性に基づく新しいアルゴリズム的手法を導入し、代数的仮定のもとでℓ-ハイパーグラフ-SAT(Ψ, K)を多項式時間で解けるようにする。
• コンパクト性の議論と単射多様体の解析を用いて、多様体のクローン内に半群作用が存在することを示し、これにより多項式時間解法が保証される。
• 滑らかな近似に対する第二のループ補題を適用し、単射化された多様体クローンの最小部分因子を分析し、アフィン的および非アフィン的挙動を区別する。
• 重み付き多数決（WNU）作用と半群作用を用いた関係的幅の特徴付けにより、ハイパーグラフ上のCSPにおける有界幅を決定する。
• 有限モジュールへの一様連続なミニオン準同型を用いてアフィン的挙動を検出する。これによりNP完全性が示唆される。
• 問題を特にHである同型超グラフの1階還元の枠組みに還元し、単射タプル上の多様体クローンを分析する。

実験結果

リサーチクエスチョン

• RQ1 標準的な有限ドメイン還元が失敗する場合に、ℓ-一様超グラフ上の無限ドメインCSPを解く新しいアルゴリズムを設計可能か？
• RQ2 有限ドメインへの還元が失敗する状況下で、ℓ-ハイパーグラフ-SAT(Ψ, K)が多項式時間で解ける代数的条件は何か？
• RQ3 一般化されたクライクを欠くような有限ℓ-超グラフのクラスにおいて、ℓ-ハイパーグラフ-SAT(Ψ, K)にP/NP完全な複雑性の二分岐が成立するか？
• RQ4 局所的整合性手法は、ハイパーグラフ充足可能性の多項式時間解法を特徴づける程度はどの程度か？関係的幅とどのように関連するか？
• RQ5 ランダムおよびクライク自由な超グラフを含む同型超グラフの1階還元に対して、ボディルスキー＝ピンスカー予想は成立するか？

主な発見

• 提案されたアルゴリズムは、一般の代数的仮定のもとで、有限ドメイン還元が失敗する場合でさえも、ℓ-ハイパーグラフ-SAT(Ψ, K)を多項式時間で解ける。
• 多くの有限ℓ-超グラフのクラス、特に一般化されたクライクを欠くクラスにおいて、ℓ-ハイパーグラフ-SAT(Ψ, K)はP/NP完全な複雑性の二分岐を示す。
• ランダム超グラフおよび一般化されたクライクを欠く超グラフを含む、同型超グラフの1階還元に対してボディルスキー＝ピンスカー予想が確認された。
• CSP(A)は、関係的幅が(2ℓ, max(3ℓ, bH))であるとは、かつは、単射化された多様体クローン C H,inj A ↶{E, N} が代数的に非アフィン的であるときに限る。
• 単射化クローン C H,inj A ↶{E, N} が代数的にアフィン的であれば、Pol(A)は有限モジュール上のアフィン写像のクローンへの一様連続なミニオン準同型を許容し、これによりNP完全性が示唆される。
• 滑らかな近似に対する第二のループ補題を適用し、Aut(H)を法とする擬似ループ、または非常に滑らかな近似が存在する場合、半群作用の存在が示唆される。しかし、クローンが代数的にアフィン的であれば、これは矛盾を引き起こす。