Simulating Logspace-Recursion with Logarithmic Quantifier Depth

04/25/2023
by   Steffen van Bergerem, et al.
0

The fixed-point logic LREC= was developed by Grohe et al. (CSL 2011) in the quest for a logic to capture all problems decidable in logarithmic space. It extends FO+C, first-order logic with counting, by an operator that formalises a limited form of recursion. We show that for every LREC=-definable property on relational structures, there is a constant k such that the k-variable fragment of first-order logic with counting quantifiers expresses the property via formulae of logarithmic quantifier depth. This yields that any pair of graphs separable by the property can be distinguished with the k-dimensional Weisfeiler-Leman algorithm in a logarithmic number of iterations. In particular, it implies that a constant dimension of the algorithm identifies every interval graph and every chordal claw-free graph in logarithmically many iterations, since every such graph admits LREC=-definable canonisation.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/28/2018

Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs

We show that the class of chordal claw-free graphs admits LREC=-definabl...
research
06/30/2021

Logarithmic Weisfeiler-Leman Identifies All Planar Graphs

The Weisfeiler-Leman (WL) algorithm is a well-known combinatorial proced...
research
07/12/2021

Separating LREC from LFP

LREC= is an extension of first-order logic with a logarithmic recursion ...
research
05/08/2019

Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm

We show that the 2-dimensional Weisfeiler-Leman algorithm stabilizes n-v...
research
07/22/2019

Reasoning about Social Choice and Games in Monadic Fixed-Point Logic

Whether it be in normal form games, or in fair allocations, or in voter ...
research
08/13/2021

Limitations of Local Quantum Algorithms on Random Max-k-XOR and Beyond

Motivated by a question of Farhi et al. [arXiv:1910.08187, 2019], we stu...
research
08/20/2019

Two-variable logic revisited

In this paper we present another proof for the well-known small model pr...

Please sign up or login with your details

Forgot password? Click here to reset