[论文解读] 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完全的复杂度二分法，证实了Bodirsky-Pinsker猜想在许多具有同构性质的超图（包括随机和无团超图）的第一阶约化中的成立。

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时，有限域约化可能错误地将可 tractable 问题分类为NP-完全问题。
• 为有限ℓ-超图类（如排除广义团的超图）上的ℓ-超图-SAT(Ψ, K)建立完整的复杂度二分法。
• 证实Bodirsky-Pinsker猜想在具有同构性质的超图（包括随机和无团超图）的第一阶约化中的成立。
• 刻画局部一致性方法在何种情况下足以求解超图可满足性问题，特别是与关系宽度和克隆运算的关系。

提出的方法

• 提出一种基于变量元组上外部线性序诱导对称性的新算法技术，使得在代数假设下，ℓ-超图-SAT(Ψ, K)可在多项式时间内求解。
• 采用紧致性论证和单射多态性分析，证明多态性克隆中存在半格运算，从而确保可 tractable 性。
• 应用光滑近似下的第二个环路引理，分析单射化多态性克隆的最小子因子，以区分仿射与非仿射行为。
• 通过WNU（加权多数）运算和半格运算的关系宽度表征，确定超图上CSP的有界宽度。
• 应用到有限模的均匀连续小兵同态，以检测仿射行为，这暗示NP-完全性。
• 将问题约化到同构超图（特别是H）的第一阶约化框架，并分析在单射元组上的多态性克隆。

实验结果

研究问题

• RQ1 当标准有限域约化失效时，能否设计一种新算法来求解ℓ-均匀超图上的无限域CSP？
• RQ2 在约化到有限域失效时，ℓ-超图-SAT(Ψ, K)在何种代数条件下可在多项式时间内求解？
• RQ3 ℓ-超图-SAT(Ψ, K)在有限ℓ-超图类（如排除广义团的超图）上是否具有P/NP完全的复杂度二分法？
• RQ4 局部一致性方法在多大程度上刻画了超图可满足性问题的可 tractable 实例？这与关系宽度有何关联？
• RQ5 Bodirsky-Pinsker猜想是否对同构超图（包括随机和无团超图）的第一阶约化成立？

主要发现

• 所提出的算法在一般代数假设下，即使在有限域约化失效时，也能在多项式时间内求解ℓ-超图-SAT(Ψ, K)。
• ℓ-超图-SAT(Ψ, K)在许多有限ℓ-超图类（包括排除广义团的超图）上表现出P/NP完全的复杂度二分法。
• Bodirsky-Pinsker猜想已证实适用于同构超图（包括随机超图和排除广义团的超图）的第一阶约化。
• 当且仅当单射化多态性克隆 C H,inj A ↶{E, N} 是方程非仿射时，CSP(A)具有有界关系宽度 (2ℓ, max(3ℓ, bH))。
• 若单射化克隆 C H,inj A ↶{E, N} 是方程仿射，则Pol(A)可均匀连续地同态映射到有限模上的仿射映射克隆，从而暗示NP-完全性。
• 应用光滑近似下的第二个环路引理，表明模Aut(H)的伪环路或极光滑近似存在时，意味着存在半格运算，若克隆是方程仿射，则导致矛盾。