Logarithmic Weisfeiler--Leman and Treewidth
Abstract
In this paper, we show that the $(3k+4)$-dimensional Weisfeiler--Leman algorithm can identify graphs of treewidth $k$ in $O(\log n)$ rounds. This improves the result of Grohe & Verbitsky (ICALP 2006), who previously established the analogous result for $(4k+3)$-dimensional Weisfeiler--Leman. In light of the equivalence between Weisfeiler--Leman and the logic $\textsf{FO} + \textsf{C}$ (Cai, Fürer, & Immerman, Combinatorica 1992), we obtain an improvement in the descriptive complexity for graphs of treewidth $k$. Precisely, if $G$ is a graph of treewidth $k$, then there exists a $(3k+5)$-variable formula $\varphi$ in $\textsf{FO} + \textsf{C}$ with quantifier depth $O(\log n)$ that identifies $G$ up to isomorphism.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2023
- DOI:
- 10.48550/arXiv.2303.07985
- arXiv:
- arXiv:2303.07985
- Bibcode:
- 2023arXiv230307985L
- Keywords:
-
- Computer Science - Data Structures and Algorithms;
- Computer Science - Computational Complexity;
- Computer Science - Logic in Computer Science;
- Mathematics - Combinatorics;
- 05C60;
- 68Q19;
- 68Q25;
- 68R10;
- F.2.2;
- G.2.2
- E-Print:
- There were minor bugs in this version. We corrected those bugs and folded this result into a different paper: arXiv:2306.17777