加载中…
Let be the minimum quantifier depth of a first order sentence that defines a graph up to isomorphism. Let be the version of where we do not allow quantifier alternations in . Define to be the minimum of over all graphs of order . We prove that for all we have , where is equal to the minimum number of iterations of the binary logarithm needed to bring to 1 or below. The upper bound is obtained by constructing special graphs with modular decomposition of very small depth.

生成讲解博客的中文版本

生成AI智能校验的中文版本