Horn versus full first-order: complexity dichotomies in algebraic constraint satisfaction

Manuel Bodirsky,Peter Jonsson,Timo von Oertzen
DOI: https://doi.org/10.48550/arXiv.1005.1141
2010-06-03
Abstract:We study techniques for deciding the computational complexity of infinite-domain constraint satisfaction problems. For certain fundamental algebraic structures Delta, we prove definability dichotomy theorems of the following form: for every first-order expansion Gamma of Delta, either Gamma has a quantifier-free Horn definition in Delta, or there is an element d of Gamma such that all non-empty relations in Gamma contain a tuple of the form (d,...,d), or all relations with a first-order definition in Delta have a primitive positive definition in Gamma. The results imply that several families of constraint satisfaction problems exhibit a complexity dichotomy: the problems are in P or NP-hard, depending on the choice of the allowed relations. As concrete examples, we investigate fundamental algebraic constraint satisfaction problems. The first class consists of all first-order expansions of (Q;+). The second class is the affine variant of the first class. In both cases, we obtain full dichotomies by utilising our general methods.
Logic in Computer Science,Computational Complexity,Logic
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the computational complexity classification of Constraint Satisfaction Problems (CSP) in infinite domains. Specifically, the author studies the constraint satisfaction problems on certain basic algebraic structures and proves that all first - order extensions on these structures either have a definition in a specific form (such as a quantifier - free Horn definition), or contain specific tuples, or all first - order definable relations have a primitive positive definition. These problems are solvable in polynomial time or are NP - hard problems. ### Core Problems of the Paper 1. **Complexity of Constraint Satisfaction Problems in Infinite Domains**: - Study the constraint satisfaction problems in infinite domains, especially those based on basic algebraic structures such as \((\mathbb{Q}; +)\) and its affine variants. - By proving the definitional dichotomy theorem, determine whether the first - order extensions of these structures have a quantifier - free Horn definition, contain specific tuples, or have a primitive positive definition. 2. **Complexity Dichotomy Phenomenon**: - Prove that certain classes of constraint satisfaction problems exhibit the complexity dichotomy phenomenon: that is, these problems are either solvable in polynomial time (in the P class) or are NP - hard. - Specifically study two natural classes of infinite - domain constraint languages and show that the corresponding CSPs do indeed exhibit the complexity dichotomy phenomenon. ### Key Conclusions - For all first - order extensions \(\Gamma\) of the basic algebraic structure \(\Delta\), if \(\Gamma\) does not have a quantifier - free Horn definition, then either it contains specific tuples or all first - order definable relations have a primitive positive definition. - These results indicate that certain classes of constraint satisfaction problems are either solvable in polynomial time or are NP - hard. ### Examples and Applications - **Specific Example**: Study all first - order extensions of \((\mathbb{Q}; +)\) and its affine variant \((\mathbb{Q}; f)\), where \(f(a, b, c)=a - b + c\). - **Complexity Classification**: For these structures, the author provides a complete complexity classification, showing how to use general methods to obtain these classifications. ### Methodology - **Definitional Dichotomy Theorem**: By proving the definitional dichotomy theorem, determine which relations have a quantifier - free Horn definition or a primitive positive definition. - **Technical Means**: Use two different technical means to prove these theorems, one for the case of "fewer structures" and the other for the case of "more structures". Through these studies, the author shows that even in non - \(\omega\)-categorical structures, complexity classification can be carried out systematically. This provides a new perspective and tool for understanding constraint satisfaction problems in infinite domains.