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…
  • 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…
  • 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…
  • 1987

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

  • Fagin Monadic Generalized spectra, Zeitschrift…
  • 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

Similar Papers

Loading similar papers…