Abstract:Descriptive complexity theory aims at inferring a problem's computational complexity from the syntactic complexity of its description. A cornerstone of this theory is Fagin's Theorem, by which a graph property is expressible in existential second-order logic (ESO logic) if, and only if, it is in NP. A natural question, from the theory's point of view, is which syntactic fragments of ESO logic also still characterize NP. Research on this question has culminated in a dichotomy result by Gottlob, Kolatis, and Schwentick: for each possible quantifier prefix of an ESO formula, the resulting prefix class either contains an NP-complete problem or is contained in P. However, the exact complexity of the prefix classes inside P remained elusive. In the present paper, we clear up the picture by showing that for each prefix class of ESO logic, its reduction closure under first-order reductions is either FO, L, NL, or NP. For undirected, self-loop-free graphs two containment results are especially challenging to prove: containment in L for the prefix $\exists R_1 \cdots \exists R_n \forall x \exists y$ and containment in FO for the prefix $\exists M \forall x \exists y$ for monadic $M$. The complex argument by Gottlob, Kolatis, and Schwentick concerning polynomial time needs to be carefully reexamined and either combined with the logspace version of Courcelle's Theorem or directly improved to first-order computations. A different challenge is posed by formulas with the prefix $\exists M \forall x\forall y$: We show that they express special constraint satisfaction problems that lie in L.

On the complexity of Maslov's class $\overline{\text{K}}$

Existential Second-Order Logic Over Graphs: A Complete Complexity-Theoretic Classification

The Complexity of Second-order HyperLTL

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster

Tree-depth, quantifier elimination, and quantifier rank.

A correspondence between the time and space complexity

The Borel complexity of the class of models of first-order theories

Dynamic Complexity of Formal Languages

Descriptional Complexity of the Languages KaL: Automata, Monoids and Varieties

Complexity of detectability, opacity and A-diagnosability for modular discrete event systems

The Existential Theory of the Reals as a Complexity Class: A Compendium

The Adjacent Fragment and Quine's Limits of Decision

Homogeneity and Homogenizability: Hard Problems for the Logic SNP

On the Limits of Decision: the Adjacent Fragment of First-Order Logic

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)

Complexity of Fermionic 2-SAT

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories

On Complexity Bounds for theMaximal Admissible Set of Linear Time-Invariant Systems

Horn versus full first-order: complexity dichotomies in algebraic constraint satisfaction