Graph isomorphism in quasipolynomial time parameterized by treewidth

11/25/2019
by   Daniel Wiebking, et al.
0

We extend Babai's quasipolynomial-time graph isomorphism test (STOC 2016) and develop a quasipolynomial-time algorithm for the multiple-coset isomorphism problem. The algorithm for the multiple-coset isomorphism problem allows to exploit graph decompositions of the given input graphs within Babai's group theoretic framework. We use it to develop a graph isomorphism test that runs in time n^polylog(k) where n is the number of vertices and k is the maximum treewidth of the given graphs and polylog(k) is some polynomial in log(k). Our result generalizes Babai's quasipolynomial-time graph isomorphism test.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/30/2023

The Leafed Induced Subtree in chordal and bounded treewidth graphs

In the Fully Leafed Induced Subtrees, one is given a graph G and two int...
research
07/03/2023

A Fine-Grained Classification of the Complexity of Evaluating the Tutte Polynomial on Integer Points Parameterized by Treewidth and Cutwidth

We give a fine-grained classification of evaluating the Tutte polynomial...
research
04/28/2020

As Time Goes By: Reflections on Treewidth for Temporal Graphs

Treewidth is arguably the most important structural graph parameter lead...
research
02/21/2023

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability

We show that feasibility of the t^th level of the Lasserre semidefinite ...
research
03/14/2023

Logarithmic Weisfeiler–Leman and Treewidth

In this paper, we show that the (3k+4)-dimensional Weisfeiler–Leman algo...
research
11/04/2021

Finding All Leftmost Separators of Size ≤ k

We define a notion called leftmost separator of size at most k. A leftmo...
research
06/29/2022

Recognizing Map Graphs of Bounded Treewidth

A map graph is a graph admitting a representation in which vertices are ...

Please sign up or login with your details

Forgot password? Click here to reset