Abstract
We study the lattice structure of sets (monoids) of surjective hyper-operations on an n-element domain. Through a Galois connection, these monoids form the algebraic counterparts to sets of relations closed under definability in positive first-order (fo) logic without equality. Specifically, for a countable set of relations (forming the finite-domain structure) \(\mathcal{B}\), the set of relations definable over \(\mathcal{B}\) in positive fo logic without equality consists of exactly those relations that are invariant under the surjective hyper-endomorphisms (shes) of \(\mathcal{B}\). The evaluation problem for this logic on a fixed finite structure is a close relative of the quantified constraint satisfaction problem (QCSP).
We study in particular an inverse operation that specifies an automorphism of our lattice. We use our results to give a dichotomy theorem for the evaluation problem of positive fo logic without equality on structures that are she-complementative, i.e. structures \(\mathcal{B}\) whose set of shes is closed under inverse. These problems turn out either to be in L or to be Pspace-complete.
We go on to apply our results to certain digraphs. We prove that the evaluation of positive fo without equality on a semicomplete digraph is always Pspace-complete. We go on to prove that this problem is NP-hard for any graph of diameter at least 3. Finally, we prove a tetrachotomy for antireflexive and reflexive graphs, modulo a known conjecture as to the complexity of the QCSP on connected non-bipartite graphs. Specifically, these problems are either in L, NP-complete, co-NP-complete or Pspace-complete.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Börner, F.: Total multifunctions and relations. In: AAA60: Workshop on General Algebra, Dresden, Germany (2000)
Börner, F., Krokhin, A., Bulatov, A., Jeavons, P.: Quantified constraints and surjective polymorphisms. Tech. Rep. PRG-RR-02-11, Oxford University (2002)
Bulatov, A.A.: A dichotomy theorem for constraint satisfaction problems on a 3-element set. J. ACM 53 (1), 66–120 (2006)
Lynch, N.: Log space recognition and translation of parenthesis languages. J. ACM 24, 583–590 (1977)
Madelaine, F., Martin, B.: The complexity of positive first-order logic without equality. In: Symposium on Logic in Computer Science, pp. 429–438 (2009)
Martin, B.: First order model checking problems parameterized by the model. In: Beckmann, A., Dimitracopoulos, C., Löwe, B. (eds.) CiE 2008. LNCS, vol. 5028, pp. 417–427. Springer, Heidelberg (2008)
Martin, B.: Model checking positive equality-free FO: Boolean structures and digraphs of size three. CoRR abs/0808.0647 (2008)
Martin, B., Madelaine, F.: Towards a trichotomy for quantified H-coloring. In: Beckmann, A., Berger, U., Löwe, B., Tucker, J.V. (eds.) CiE 2006. LNCS, vol. 3988, pp. 342–352. Springer, Heidelberg (2006)
Martin, B., Martin, J.: The complexity of positive first-order logic without equality II: the four-element case. To appear CSL (2010)
Papadimitriou, C.: Computational Complexity. Addison-Wesley, Reading (1994)
Schaefer, T.: The complexity of satisfiability problems. In: STOC (1978)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Martin, B. (2010). The Lattice Structure of Sets of Surjective Hyper-Operations. In: Cohen, D. (eds) Principles and Practice of Constraint Programming – CP 2010. CP 2010. Lecture Notes in Computer Science, vol 6308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15396-9_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-15396-9_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15395-2
Online ISBN: 978-3-642-15396-9
eBook Packages: Computer ScienceComputer Science (R0)