Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games

@inproceedings{Marcinkowski1999DirectedRF,
  title={Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fra{\"i}ss{\'e} Games},
  author={Jerzy Marcinkowski},
  booktitle={CSL},
  year={1999}
}
In 1974 Ronald Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form 9 ~ P, where ~ P is a tuple of relation symbols. and is a rst order formula. Fagin was also the rst to study monadic NP: the class of properties expressible by existential second order sentences where all quantiied relations are unary. In their very diicult paper AF90] Ajtai and Fagin show that directed… CONTINUE READING

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 10 references

Stockmeyer The Closure of Monadic NP

M Ajtai, R Fagin
Proc. of 13th STOC • 1998

Fagin On winning strategies in Ehrenfeucht-Fra s e games

S Arora
Theoretical Computer Science • 1997

Stockmeyer The Closure of Monadic NP, IBM Research report RJ 10092

M Ajtai, R Fagin
Stockmeyer The Closure of Monadic NP, IBM Research report RJ 10092 • 1997

Schwentick Graph connectivity, monadic NP and built-in relations of moderate degree

Proceedings of 22nd ICALP • 1995

Vardi On monadic NP vs. monadic co- NP, Information and Computation

R Fagin, L Stockmeyer
Vardi On monadic NP vs. monadic co- NP, Information and Computation • 1995

Fagin Reachability is harder for directed than for undirected nite graphs

Af M Ajtai
Journal of Symbolic Logic • 1990

Rougemont Second-order and inductive deeniability on nite structures

M De
Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik • 1987

Fagin Monadic Generalized spectra, Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik

Fagin Monadic Generalized spectra, Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik • 1975

Ehrenfeucht an application of games to the completeness problem for formalized theories

Fund. Math • 1961

Fra s e Sur quelques classiications des systemes de relations

Publ. Sci. Univ. Alger. Ser. A • 1954