Let $D(G)$ be the minimum quantifier depth of a first order sentence $\Phi$ that defines a graph $G$ up to isomorphism in terms of the adjacency and the equality relations. Let $D_0(G)$ be a variant of $D(G)$ where we do not allow quantifier alternations in $\Phi$. Using large graphs decomposable in complement-connected components by a short sequence of serial and parallel decompositions, we show examples of $G$ on $n$ vertices with $D_0(G) \leq 2 \log^{\ast}n+O(1)$. On the other hand, we prove a lower bound $D_0(G) \geq \log^{\ast}n-\log^{\ast}\log^{\ast}n-O(1)$ for all $G$. Here $\log^{\ast}n$ is equal to the minimum number of iterations of the binary logarithm needed to bring $n$ below $1$
We study the problem of decomposing the vertex set V of a graphinto two parts (V1, V2) which induce ...
The hypergraph duality problem DUAL is defined as follows: given two simple hypergraphs G and H, dec...
It is known that the alternation hierarchy of least and greatest fixpoint operators in the µ-calculu...
AbstractLet D(G) be the minimum quantifier depth of a first order sentence Φ that defines a graph G ...
AbstractLet D(G) denote the minimum quantifier depth of a first order sentence that defines a graph ...
AbstractWe say that a first order sentence A defines a graph G if A is true on G but false on any gr...
AbstractThis paper considers the definability of graph-properties by restricted second-order and fir...
AbstractGiven a successor relationS(i.e., a directed line graph), and given two distinguished points...
The spectrum of a first order sentence is the set of all α such that G(n,n−α) does not obey zero–one...
We generalize the structure theorem of Robertson and Sey-mour for graphs excluding a fixed graph H a...
Let ₁,₂ be additive hereditary properties of graphs. A (₁,₂)-decomposition of a graph G is a partiti...
A graph G of order n is said to be arbitrarily vertex decomposable if for each sequence (n1,...,nk) ...
AbstractA graph H is G-decomposable if it contains subgraphs G1,…,Gh,h⩾2, isomorphic to G whose sets...
Special issue: Graph DecompositionsA complementation operation on a vertex of a digraph changes all ...
We consider the isomorphism problem for the following set of graphs $L $: for any graph $H\in L, $ $...
We study the problem of decomposing the vertex set V of a graphinto two parts (V1, V2) which induce ...
The hypergraph duality problem DUAL is defined as follows: given two simple hypergraphs G and H, dec...
It is known that the alternation hierarchy of least and greatest fixpoint operators in the µ-calculu...
AbstractLet D(G) be the minimum quantifier depth of a first order sentence Φ that defines a graph G ...
AbstractLet D(G) denote the minimum quantifier depth of a first order sentence that defines a graph ...
AbstractWe say that a first order sentence A defines a graph G if A is true on G but false on any gr...
AbstractThis paper considers the definability of graph-properties by restricted second-order and fir...
AbstractGiven a successor relationS(i.e., a directed line graph), and given two distinguished points...
The spectrum of a first order sentence is the set of all α such that G(n,n−α) does not obey zero–one...
We generalize the structure theorem of Robertson and Sey-mour for graphs excluding a fixed graph H a...
Let ₁,₂ be additive hereditary properties of graphs. A (₁,₂)-decomposition of a graph G is a partiti...
A graph G of order n is said to be arbitrarily vertex decomposable if for each sequence (n1,...,nk) ...
AbstractA graph H is G-decomposable if it contains subgraphs G1,…,Gh,h⩾2, isomorphic to G whose sets...
Special issue: Graph DecompositionsA complementation operation on a vertex of a digraph changes all ...
We consider the isomorphism problem for the following set of graphs $L $: for any graph $H\in L, $ $...
We study the problem of decomposing the vertex set V of a graphinto two parts (V1, V2) which induce ...
The hypergraph duality problem DUAL is defined as follows: given two simple hypergraphs G and H, dec...
It is known that the alternation hierarchy of least and greatest fixpoint operators in the µ-calculu...