How complex are random graphs in first order logic?

Jeong Han Kim, Oleg Pikhurko, Joel H. Spencer, Oleg Verbitsky

Research output: Contribution to journalArticle

Abstract

It is not hard to write a first order formula which is true for a given graph G but is false for any graph not isomorphic to G. The smallest number D(G) of nested quantifiers in such a formula can serve as a measure for the "first order complexity" of G. Here, this parameter is studied for random graphs. We determine it asymptotically when the edge probability p is constant; in fact, D(G) is of order log n then. For very sparse graphs its magnitude is θ(n). On the other hand, for certain (carefully chosen) values of p the parameter D(G) can drop down to the very slow growing function log* n, the inverse of the TOWER-function. The general picture, however, is still a mystery.

Original languageEnglish (US)
Pages (from-to)119-145
Number of pages27
JournalRandom Structures and Algorithms
Volume26
Issue number1-2
DOIs
StatePublished - Jan 2005

ASJC Scopus subject areas

  • Software
  • Mathematics(all)
  • Computer Graphics and Computer-Aided Design
  • Applied Mathematics

Fingerprint Dive into the research topics of 'How complex are random graphs in first order logic?'. Together they form a unique fingerprint.

  • Cite this