Abstract
We exhibit an NP-complete problem defined by an existential monadic second-order (EMSO) formula over functional structures that is:
-
1
minimal under several syntactic criteria (i.e., any EMSO formula that further strengthens any criterion defines a PTIME problem even if all other criteria are weakened);
-
2
unique for such restrictions, up to renamings and symmetries.
Our reductions and proofs are surprisingly very elementary and simple in comparison with some recent similar results classifying existential second-order formulas over relational structures according to their ability either to express NP-complete problems or to express only PTIME ones.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Barbanchon, R., Grandjean, E.: Local problems, planar local problems and linear time. In: Bradfield, J.C. (ed.) CSL 2002 and EACSL 2002. LNCS, vol. 2471, pp. 397–411. Springer, Heidelberg (2002)
Courcelle, B.: On the expression of graph properties in some fragments of monadic second-order logic. In: Immermann, N., Kolaitis, P. (eds.) Descriptive Complexity and Finite Models, pp. 33–62. American Mathematical Society, Providence (1997)
Durand, A., Hermann, M., Kolaitis, P.: Subtractive reductions and complete problems for counting complexity classes. Theoretical Computer Science (2003) (to appear)
Eiter, T., Gottlob, G., Gurevitch, Y.: Existential second order logic over strings. Journal of the ACM 41(1), 77–131 (2000)
Fagin, R.: Generalized first-order spectra and polynomial-time recognizable sets. Complexity and Computation 7, 43–73 (1974)
Garey, M.R., Johnson, D.S.: Computers and Intractability. W.H. Freeman and Co., New York (1979)
Gottlob, G., Kolaitis, P.G., Schwentick, T.: Existential second-order logic over graphs: Charting the tractability frontier. Foundations Of Computer Science, 664–674 (2000)
Grädel, E.: Capturing complexity classes by fragments of second order logic. Theoretical Computer Science 101(1), 35–57 (1991)
Grandjean, E., Olive, F.: Graph properties checkable in linear time in the number of vertices. Journal of Compter System Sciences (2004) (to appear)
Hunt III, H.B., Marathe, M.V., Radhakrishnan, V., Stearns, R.E.: The complexity of planar counting problems. SIAM Journal on Computing 27(4), 1142–1167 (1998)
Kratochvíl, J., Tuza, Z.: On the complexity of bicoloring clique hypergraphs of graphs. In: Symposium On Discrete Algorithms, pp. 40–41 (2000)
Lautemann, C.L., Weinzinger, B.: Monadic-NLIN and quantifier-free reductions. In: Flum, J., Rodríguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol. 1683, pp. 322–337. Springer, Heidelberg (1999)
Lichtenstein, D.: Planar formulae and their uses. SIAM Journal on Computing 11(2), 329–343 (1982)
Valiant, L.G.: The complexity of computing the permanent. Theoretical Computer Science 8(2), 189–201 (1979)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barbanchon, R., Grandjean, E. (2004). The Minimal Logically-Defined NP-Complete Problem. In: Diekert, V., Habib, M. (eds) STACS 2004. STACS 2004. Lecture Notes in Computer Science, vol 2996. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24749-4_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-24749-4_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21236-2
Online ISBN: 978-3-540-24749-4
eBook Packages: Springer Book Archive