Abstract
We study the complexity of evaluating positive equality-free sentences of first-order logic over fixed, finite structures \(\mathcal{B}\). This may be seen as a natural generalisation of the non-uniform quantified constraint satisfaction problem QCSP \((\mathcal{B})\). Extending the algebraic methods of a previous paper, we derive a complete complexity classification for these problems as \(\mathcal{B}\) ranges over structures of domain size 4. Specifically, each problem is either in L, is NP-complete, is co-NP-complete or is 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)
Bulatov, A.A.: A dichotomy theorem for constraint satisfaction problems on a 3-element set. J. ACM 53(1), 66–120 (2006)
Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, London (1972)
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)
Madelaine, F., Martin, B.: The complexity of positive first-order logic without equality. CoRR abs/1003.0802 (2010) (submitted to ACM TOCL)
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)
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., Martin, J. (2010). The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case. In: Dawar, A., Veith, H. (eds) Computer Science Logic. CSL 2010. Lecture Notes in Computer Science, vol 6247. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15205-4_33
Download citation
DOI: https://doi.org/10.1007/978-3-642-15205-4_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15204-7
Online ISBN: 978-3-642-15205-4
eBook Packages: Computer ScienceComputer Science (R0)