Planar Graphs: Logical Complexity and Parallel Isomorphism Tests
Abstract
We prove that every triconnected planar graph is definable by a first order sentence that uses at most 15 variables and has quantifier depth at most $11\log_2 n+43$. As a consequence, a canonic form of such graphs is computable in $AC^1$ by the 14-dimensional Weisfeiler-Lehman algorithm. This provides another way to show that the planar graph isomorphism is solvable in $AC^1$.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2006
- DOI:
- 10.48550/arXiv.cs/0607033
- arXiv:
- arXiv:cs/0607033
- Bibcode:
- 2006cs........7033V
- Keywords:
-
- Computer Science - Computational Complexity;
- Computer Science - Logic in Computer Science
- E-Print:
- 36 pages