English
Related papers

Related papers: An exponential lower bound for Individualization-R…

200 papers

It is well known that almost all graphs are canonizable by a simple combinatorial routine known as color refinement, also referred to as the 1-dimensional Weisfeiler-Leman algorithm. With high probability, this method assigns a unique label…

Computational Complexity · Computer Science 2025-08-19 Oleg Verbitsky , Maksim Zhukovskii

It is unknown whether two graphs can be tested for isomorphism in polynomial time. A classical approach to the Graph Isomorphism Problem is the d-dimensional Weisfeiler-Lehman algorithm. The d-dimensional WL-algorithm can distinguish many…

Combinatorics · Mathematics 2010-12-10 Harm Derksen

The $k$-dimensional Weisfeiler-Leman algorithm is a powerful tool in graph isomorphism testing. For an input graph $G$, the algorithm determines a canonical coloring of $s$-tuples of vertices of $G$ for each $s$ between 1 and $k$. We say…

Computational Complexity · Computer Science 2020-05-20 Frank Fuhlbrück , Johannes Köbler , Oleg Verbitsky

The Weisfeiler-Leman (WL) algorithm is a combinatorial procedure that computes colorings on graphs, which can often be used to detect their (non-)isomorphism. Particularly the 1- and 2-dimensional versions 1-WL and 2-WL have received much…

Discrete Mathematics · Computer Science 2022-06-22 Sandra Kiefer , Daniel Neuen

An assignment of colours to the vertices of a graph is stable if any two vertices of the same colour have identically coloured neighbourhoods. The goal of colour refinement is to find a stable colouring that uses a minimum number of…

Data Structures and Algorithms · Computer Science 2015-09-29 Christoph Berkholz , Paul Bonsma , Martin Grohe

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 isomorphism testing for several families of…

Data Structures and Algorithms · Computer Science 2025-09-09 Joshua A. Grochow , Michael Levet

We study the parameterized complexity of the graph isomorphism problem when parameterized by width parameters related to tree decompositions. We apply the following technique to obtain fixed-parameter tractability for such parameters. We…

Discrete Mathematics · Computer Science 2014-03-31 Yota Otachi , Pascal Schweitzer

In the Independent Set Reconfiguration problem under the Token Addition/Removal rule, given a graph $G$ and two independent sets $I$ and $J$ of $G$, we want to transform $I$ into $J$ by adding and removing vertices, such that all the sets…

Data Structures and Algorithms · Computer Science 2026-04-30 Hung P. Hoang , Naoto Ohsaka , Rin Saito , Yuma Tamura

Learning to optimize is a rapidly growing area that aims to solve optimization problems or improve existing optimization algorithms using machine learning (ML). In particular, the graph neural network (GNN) is considered a suitable ML model…

Machine Learning · Computer Science 2023-05-29 Ziang Chen , Jialin Liu , Xinshang Wang , Jianfeng Lu , Wotao Yin

Color refinement is an important technique that works very well in practice for the graph isomorphism problem. Tinhofer graphs are the class of graphs for which refinement together with individualization correctly tests graph isomorphism…

Computational Complexity · Computer Science 2026-05-20 Sutanay Bhattacharjee , Ameya Panse , Jayalal Sarma

The Weisfeiler-Leman (WL) dimension is an established measure for the inherent descriptive complexity of graphs and relational structures. It corresponds to the number of variables that are needed and sufficient to define the object of…

Discrete Mathematics · Computer Science 2024-02-06 Sandra Kiefer , Daniel Neuen

We exhibit an analogy between the problem of pushing forward measurable sets under measure preserving maps and linear relaxations in combinatorialoptimization. We show how invariance of hyperfiniteness of graphings under local isomorphism…

Combinatorics · Mathematics 2021-02-17 László Lovász

The Weisfeiler-Leman (WL) dimension of a graph is a measure for the inherent descriptive complexity of the graph. While originally derived from a combinatorial graph isomorphism test called the Weisfeiler-Leman algorithm, the WL dimension…

Discrete Mathematics · Computer Science 2019-04-16 Martin Grohe , Sandra Kiefer

Graphs are widely used to model complicated data semantics in many application domains. In this paper, two novel and efficient algorithms Fast-ON and Fast-P are proposed for solving the subgraph isomorphism problem. The two algorithms are…

Data Structures and Algorithms · Computer Science 2019-04-19 Mosab Hassaan , Karam Gouda

In this paper, we address the challenge of differential privacy in the context of graph cuts, specifically focusing on the multiway cut and the minimum $k$-cut. We introduce edge-differentially private algorithms that achieve nearly optimal…

Cryptography and Security · Computer Science 2024-12-04 Rishi Chandra , Michael Dinitz , Chenglin Fan , Zongrui Zou

We consider the problem of deterministically factoring a univariate polynomial over a finite field under the assumption of the Extended Riemann Hypothesis (ERH). This work builds upon the line of approach first explored by Gao in $2001$.…

Discrete Mathematics · Computer Science 2015-12-16 Aurko Roy

In the multicoloring problem, also known as ($a$:$b$)-coloring or $b$-fold coloring, we are given a graph G and a set of $a$ colors, and the task is to assign a subset of $b$ colors to each vertex of G so that adjacent vertices receive…

Data Structures and Algorithms · Computer Science 2017-02-20 Marthe Bonamy , Łukasz Kowalik , Michał Pilipczuk , Arkadiusz Socała , Marcin Wrochna

Extremal graph theory studies the maximum or minimum number of subgraphs isomorphic to a prescribed graph under given constraints. \textit{Localization} has recently emerged as a framework that refines such problems by assigning extremal…

Combinatorics · Mathematics 2026-03-10 Rajat Adak , L. Sunil Chandran

The lower and the upper irredundance numbers of a graph $G$, denoted $ir(G)$ and $IR(G)$ respectively, are conceptually linked to domination and independence numbers and have numerous relations to other graph parameters. It is a…

Properties of the `$k$-equivalent' graph families constructed in Cai, F\"{u}rer and Immerman, and Evdokimov and Ponomarenko are analysed relative the the recursive $k$-dim WL method. An extension to the recursive $k$-dim WL method is…

Combinatorics · Mathematics 2011-01-28 B. L. Douglas