9 research outputs found
The Weisfeiler-Leman Dimension of Planar Graphs is at most 3
We prove that the Weisfeiler-Leman (WL) dimension of the class of all finite
planar graphs is at most 3. In particular, every finite planar graph is
definable in first-order logic with counting using at most 4 variables. The
previously best known upper bounds for the dimension and number of variables
were 14 and 15, respectively.
First we show that, for dimension 3 and higher, the WL-algorithm correctly
tests isomorphism of graphs in a minor-closed class whenever it determines the
orbits of the automorphism group of any arc-colored 3-connected graph belonging
to this class.
Then we prove that, apart from several exceptional graphs (which have
WL-dimension at most 2), the individualization of two correctly chosen vertices
of a colored 3-connected planar graph followed by the 1-dimensional
WL-algorithm produces the discrete vertex partition. This implies that the
3-dimensional WL-algorithm determines the orbits of a colored 3-connected
planar graph.
As a byproduct of the proof, we get a classification of the 3-connected
planar graphs with fixing number 3.Comment: 34 pages, 3 figures, extended version of LICS 2017 pape
Canonisation and Definability for Graphs of Bounded Rank Width
We prove that the combinatorial Weisfeiler-Leman algorithm of dimension
is a complete isomorphism test for the class of all graphs of rank
width at most . Rank width is a graph invariant that, similarly to tree
width, measures the width of a certain style of hierarchical decomposition of
graphs; it is equivalent to clique width. It was known that isomorphism of
graphs of rank width is decidable in polynomial time (Grohe and Schweitzer,
FOCS 2015), but the best previously known algorithm has a running time
for a non-elementary function . Our result yields an isomorphism
test for graphs of rank width running in time . Another
consequence of our result is the first polynomial time canonisation algorithm
for graphs of bounded rank width. Our second main result is that fixed-point
logic with counting captures polynomial time on all graph classes of bounded
rank width.Comment: 32 page