Logarithmic Weisfeiler-Leman Identifies All Planar Graphs

@inproceedings{Grohe2021LogarithmicWI,
  title={Logarithmic Weisfeiler-Leman Identifies All Planar Graphs},
  author={Martin Grohe and Sandra Kiefer},
  booktitle={ICALP},
  year={2021}
}
The Weisfeiler-Leman (WL) algorithm is a well-known combinatorial procedure for detecting symmetries in graphs and it is widely used in graph-isomorphism tests. It proceeds by iteratively refining a colouring of vertex tuples. The number of iterations needed to obtain the final output is crucial for the parallelisability of the algorithm. We show that there is a constant k such that every planar graph can be identified (that is, distinguished from every non-isomorphic graph) by the k… 

Figures from this paper

A Study of Weisfeiler-Leman Colorings on Planar Graphs

TLDR
The colorings computed by 2-WL on planar graphs, a combinatorial procedure that computes colorings on graphs, are investigated and the graphs induced by edge color classes in the graph are analyzed.

Combinatorial refinement on circulant graphs

The combinatorial refinement techniques have proven to be an efficient approach to isomorphism testing for particular classes of graphs. If the number of refinement rounds is small, this puts the

On the Parallel Complexity of Group Isomorphism and Canonization via Weisfeiler–Leman

In this paper, we show that the constant-dimensional Weisfeiler–Leman algorithm for groups (Brachter & Schweitzer, LICS 2020) can be fruitfully used to improve parallel complexity upper bounds on

On the parallel complexity of Group Isomorphism via Weisfeiler-Leman

In this paper, we show that the constant-dimensional Weisfeiler–Leman algorithm for groups (Brachter & Schweitzer, LICS 2020) can be fruitfully used to improve parallel complexity upper bounds on

Weisfeiler and Leman go Machine Learning: The Story so far

TLDR
This research presents a parallel version of the TSP called TSP “TSP2” that was developed at the proofs stage at the University of California, Berkeley with real-time constraints.

On the Descriptive Complexity of Groups without Abelian Normal Subgroups

In this paper, we explore the descriptive complexity theory of finite groups by examining the power of the second Ehrenfeucht–Fra¨ıss´e bijective pebble game in Hella’s ( Ann. Pure Appl. Log. , 1989)

References

SHOWING 1-10 OF 39 REFERENCES

The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs

TLDR
It is proved that the 2-dimensional Weisfeiler-Leman algorithm implicitly computes the decomposition of a graph into its 3-connected components and insights are obtained about the connectivity of constituent graphs of association schemes.

A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus

TLDR
It is proved that the WL dimension of graphs embeddable in a surface of Euler genus g is at most $4g+3$ and the approach yields an upper bound of $2g-3.

Canonisation and Definability for Graphs of Bounded Rank Width

  • Martin GroheDaniel Neuen
  • Mathematics, Computer Science
    2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
  • 2019
TLDR
It is proved that the combinatorial Weisfeiler-Leman algorithm of dimension $(3k+4)$ is a complete isomorphism test for the class of all graphs of rank width at most k, and that fixed-point logic with counting captures polynomial time on all graph classes of bounded rank width.

Lovász Meets Weisfeiler and Leman

In this paper, we relate a beautiful theory by Lov\'asz with a popular heuristic algorithm for the graph isomorphism problem, namely the color refinement algorithm and its k-dimensional

The Weisfeiler-Leman Algorithm: An Exploration of its Power

Some of my favorite open problems concern fixed-point logic with counting, FPC. It is known that counting logic with k + 1 variables, Ck+1, has exactly the same expressive power as the classic

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

TLDR
This work exploits a new refinement based on counting walks and argues that its iteration number differs from the classic Weisfeiler-Leman refinement by at most a logarithmic factor, and proves matching linear upper and lower bounds on the number of iterations of the walk refinement.

Isomorphism testing for embeddable graphs through definability

TLDR
It is shown that for every surface S, there is a k _> 1 such that the k-dimensional WL-algori thm succeeds to decide isomorphism of graphs embeddable in S.

Sherali-Adams relaxations and indistinguishability in counting logics

TLDR
It is shown that certain properties of graphs, such as that of having a flow-circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables.

Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic

TLDR
It is shown that on graphs with n vertices the 2-dimensional Weisfei-ler-Leman algorithm requires at most O(n2/log(n) iterations to reach stabilization, and the previously best, trivial upper bound of O( n2) is asymptotically not tight.

Testing Graph Isomorphism in Parallel by Playing a Game

TLDR
It is proved that if every graph in C is definable in a finite-variable first order logic with counting quantifiers within logarithmic quantifier depth, then Graph Isomorphism for C is in TC1, and an AC1 algorithm for testing isomorphism of rotation systems (combinatorial specifications of graph embeddings).