We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Complexity

Title: On the Number of Quantifiers as a Complexity Measure

Abstract: In 1981, Neil Immerman described a two-player game, which he called the "separability game" \cite{Immerman81}, that captures the number of quantifiers needed to describe a property in first-order logic. Immerman's paper laid the groundwork for studying the number of quantifiers needed to express properties in first-order logic, but the game seemed to be too complicated to study, and the arguments of the paper almost exclusively used quantifier rank as a lower bound on the total number of quantifiers. However, last year Fagin, Lenchner, Regan and Vyas rediscovered the games, provided some tools for analyzing them, and showed how to utilize them to characterize the number of quantifiers needed to express linear orders of different sizes. In this paper, we push forward in the study of number of quantifiers as a bona fide complexity measure by establishing several new results. First we carefully distinguish minimum number of quantifiers from the more usual descriptive complexity measures, minimum quantifier rank and minimum number of variables. Then, for each positive integer $k$, we give an explicit example of a property of finite structures (in particular, of finite graphs) that can be expressed with a sentence of quantifier rank $k$, but where the same property needs $2^{\Omega (k^2)}$ quantifiers to be expressed.
Subjects: Computational Complexity (cs.CC)
ACM classes: F.4.1
Cite as: arXiv:2207.00104 [cs.CC]
  (or arXiv:2207.00104v2 [cs.CC] for this version)

Submission history

From: Jonathan Lenchner [view email]
[v1] Thu, 30 Jun 2022 21:20:58 GMT (7869kb,D)
[v2] Mon, 4 Jul 2022 13:05:23 GMT (7873kb,D)

Link back to: arXiv, form interface, contact.