Graph connectivity and monadic NP

Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS

Volumn , Issue , 1994, Pages 614-622

  Schwentick, Thomas ^a  

^a JOHANNES GUTENBERG UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EHRENFEUCHT GAME; FINITE STRUCTURES; GRAPH CONNECTIVITY; LINEAR ORDER; POWER; PROPERTY; SECOND ORDERS; UNARY RELATIONS; WINNING STRATEGY;

EID: 0001820018     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SFCS.1994.365730     Document Type: Conference Paper

References (12)

1. M. Ajtai and R. Fagin. Reachability is harder for directed than for undirected finite graphs. Journal of Symbolic Logic, 55(1):113-150,1990.
2. S. Arora and R. Fagin. on winning strategies in Ehrenfeucht-Frai'sse games. Unpublished manuscript, 1994.
3. 1 formulae on finite structures. Ann. of Pure and Applied Logic, 24:1-48, 1983.
4. D. Coppersmith. A left coset composed of n-cycles. Research Report RC 19511, IBM, 1994.
5. M. de Rougemont. Second-order and inductive definability on finite structures. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, 33:47-63, 1987.
6. H.-D. Ebbinghaus, J. Flum, and W. Thomas. Einfuhrung in die mathematische Logik. BI, Mannheim, 3rd edition, 1992.
7. A. Ehrenfeucht. An application of games to the completeness problem for formalized theories. Fund. Math., 49:129-141, 1961.
8. 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.
9. R. Fagin. Monadic generalized spectra. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, 21:89-96, 1975.
10. R. Fraisse. Sur quelques classifications des systemes de relations. Publ. Sci. Univ. Alger. Ser. A, 1:35-182, 1954.
11. R. Fagin, L. Stockmeyer, and M. Vardi. on monadic NP vs. monadic co-NP. In The Proceedings of the 8th Annual IEEE Conference on Structure in Complexity Theory, pages 19-30, 1993.
12. W. Hanf. Model-theoretic methods in the study of elementary logic. In J. Addison, L. Henkin, and A. Tarski, editors, The Theory of Models, pages 132-145. North Holland, 1965.