Abstract
We define a monadic logic MonadicNLIN which is a fragment of Grandjean’s logic for the class NLIN of problems solvable in linear time on nondeterministic random-access machines. This logic operates on functional rather than the usual relational structures of finite model theory,and we adapt the notions of quantifier-free interpretation and reduction to this functional setting. We also introduce the notion of compatible successor function,which,in our setting,replaces the built- in linear order relations used in logical characterisations of complexity classes. We show that MonadicNLIN is closed under quantifier-free functional reductions,that CNF-SAT is complete for MonadicNLIN under these reductions,and that MonadicNLIN contains a large number of NP-complete problems,but not the set of connected graphs.
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
S. Cosmadakis. Logical reducibility and monadic NP. In Proc. 34th IEEE Symp. on Foundations of Computer Science,pages 52–61,1993.
B. Courcelle. The monadic second order logic of graphs vi: On several representations of graphs as relational structures. Discrete Applied Mathematics, 54:117–149,1994.
B. Courcelle. On the expression of graph properties in some fragments of monadic second-order logic. In N. Immerman and P. Kolaitis,editors, Descriptive Complexity and Finite Models,pages 33–62. American Mathematical Society,1997.
Nadia Creignou. The class of problems that are linearly equivalent to Satisfiability or a uniform method for proving NP-completeness. Theoretical Computer Science,145(1-2):111–145,10 July 1995.
M. de Rougemont. Second-order and inductive definability on finite structures. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 33:47–63,1987.
R. Fagin. Generalized first-order spectra and polynomial-time recognizable sets. In R. M. Karp,editor, Complexity of Computation, SIAM-AMS Proceedings, Vol. 7,pages 43–73,1974.
R. Fagin. Monadic generalized spectra. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik,21:89–96,1975.
E. Grandjean and F. Olive. Monadic logical definability of NP-complete problems. In Proc. 1994 of the Annual Conference of the EACSL,pages 190–204,1994. Extended version submitted.
E. Grandjean and F. Olive. Monadic logical definability of NP-complete problems. submitted,1996.
E. Grandjean. Invariance properties of RAMs and linear time. Computational Complexity,4:62–106,1994.
E. Grandjean. Linear time algorithms and NP-complete problems. SIAM Journal of Computing,23:573–597,1994.
E. Grandjean. Sorting,linear time and the satisfiability problem. Annals of Mathematics and Artificial Intelligence,16:183–236,1996.
E. Grandjean and T. Schwentick. Machine-independent characterizations and complete problems for deterministic linear time. In preparation,1999.
N. Immerman. Descriptive and Computational Complexity. Springer,1999.
T. Schwentick. On winning Ehrenfeucht games and monadic NP. Annals of Pure and Applied Logic,79:61–92,1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lautemann, C., Weinzinger, B. (1999). MonadicNLIN and Quantifier-Free Reductions. In: Flum, J., Rodriguez-Artalejo, M. (eds) Computer Science Logic. CSL 1999. Lecture Notes in Computer Science, vol 1683. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48168-0_23
Download citation
DOI: https://doi.org/10.1007/3-540-48168-0_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66536-6
Online ISBN: 978-3-540-48168-3
eBook Packages: Springer Book Archive