English
Related papers

Related papers: Computational complexity of the Weisfeiler-Leman d…

200 papers

The maximum modularity of a graph is a parameter widely used to describe the level of clustering or community structure in a network. Determining the maximum modularity of a graph is known to be NP-complete in general, and in practice a…

Data Structures and Algorithms · Computer Science 2022-12-22 Kitty Meeks , Fiona Skerman

For $k\in \mathbb{N}$, a $k$-acyclic colouring of a graph $G$ is a function $f\colon V(G)\to \{0,1,\dots,k-1\}$ such that (i)~$f(u)\neq f(v)$ for every edge $uv$ of $G$, and (ii)~there is no cycle in $G$ bicoloured by $f$. For $k\in…

Combinatorics · Mathematics 2023-09-22 Shalu M. A. , Cyriac Antony

In recent years, algorithms and neural architectures based on the Weisfeiler-Leman algorithm, a well-known heuristic for the graph isomorphism problem, emerged as a powerful tool for (supervised) machine learning with graphs and relational…

Machine Learning · Computer Science 2021-11-23 Christopher Morris , Matthias Fey , Nils M. Kriege

A graph $G$ is 3-colorable if and only if it maps homomorphically to the complete 3-vertex graph $K_3$. The last condition can be checked by a $k$-consistency algorithm where the parameter $k$ has to be chosen large enough, dependent on…

Computational Complexity · Computer Science 2014-02-18 Albert Atserias , Anuj Dawar , Oleg Verbitsky

The famous Wegner's Planar Graph Conjecture asserts tight upper bounds on the chromatic number of the square $G^2$ of a planar graph $G$, depending on the maximum degree $\Delta(G)$ of $G$. The only case that the conjecture is resolved is…

Combinatorics · Mathematics 2026-02-17 Eun-Kyung Cho , Ilkyoo Choi , Bernard Lidický

The WL-dimension of a graph X is the smallest positive integer m such that the m-dimensional Weisfeiler-Leman algorithm correctly tests the isomorphism between X and any other graph. It is proved that the WL-dimension of any circulant graph…

Combinatorics · Mathematics 2022-07-01 Ilia Ponomarenko

Golovach, Paulusma and Song (Inf. Comput. 2014) asked to determine the parameterized complexity of the following problems parameterized by $k$: (1) Given a graph $G$, a clique modulator $D$ (a clique modulator is a set of vertices, whose…

Data Structures and Algorithms · Computer Science 2019-07-30 Gregory Gutin , Diptapriyo Majumdar , Sebastian Ordyniak , Magnus Wahlström

The classical Weisfeiler-Lehman method WL[2] uses edge colors to produce a powerful graph invariant. It is at least as powerful in its ability to distinguish non-isomorphic graphs as the most prominent algebraic graph invariants. It…

Data Structures and Algorithms · Computer Science 2017-04-05 Martin Fürer

We give an overview of recent advances on the graph isomorphism problem. Our main focus will be on Babai's quasi-polynomial time isomorphism test and subsequent developments that led to the design of isomorphism algorithms with a…

Data Structures and Algorithms · Computer Science 2021-01-15 Martin Grohe , Daniel Neuen

The \emph{$k$-restricted edge-connectivity} of a graph $G$, denoted by $\lambda_k(G)$, is defined as the minimum size of an edge set whose removal leaves exactly two connected components each containing at least $k$ vertices. This graph…

Data Structures and Algorithms · Computer Science 2016-09-20 Luis Pedro Montejano , Ignasi Sau

Given graphs $H$ and $G$, possibly with vertex-colors, a homomorphism is a function $f:V(H)\to V(G)$ that preserves colors and edges. Many interesting counting problems (e.g., subgraph and induced subgraph counts) are finite linear…

Computational Complexity · Computer Science 2023-05-09 Radu Curticapean

The problem of computing the chromatic number of a $P_5$-free graph is known to be NP-hard. In contrast to this negative result, we show that determining whether or not a $P_5$-free graph admits a $k$-colouring, for each fixed number of…

Data Structures and Algorithms · Computer Science 2016-08-14 Chính T. Hoàng , Marcin Kamiński , Vadim Lozin , J. Sawada , X. Shu

This paper studies sufficient conditions to obtain efficient distributed algorithms coloring graphs optimally (i.e.\ with the minimum number of colors) in the LOCAL model of computation. Most of the work on distributed vertex coloring so…

Combinatorics · Mathematics 2019-01-25 Étienne Bamas , Louis Esperet

Clique-width is a well-studied graph parameter. For graphs of bounded clique-width, many problems that are NP-hard in general can be polynomial-time solvable. The fact motivates several studies to investigate whether the clique-width of…

Data Structures and Algorithms · Computer Science 2022-02-01 Yu Nakahata

Let $G$ be an $n$-vertex graph with the maximum degree $\Delta$ and the minimum degree $\delta$. We give algorithms with complexity $O(1.3158^{n-0.7~\Delta(G)})$ and $O(1.32^{n-0.73~\Delta(G)})$ that determines if $G$ is 3-colorable, when…

Combinatorics · Mathematics 2020-09-01 Nicholas Crawford , Sogol Jahanbekam , Katerina Potika

The isomorphism problem is a fundamental problem in network analysis, which involves capturing both low-order and high-order structural information. In terms of extracting low-order structural information, graph isomorphism algorithms…

Data Structures and Algorithms · Computer Science 2023-07-28 Yifan Feng , Jiashu Han , Shihui Ying , Yue Gao

Computing cohesive subgraphs is a central problem in graph theory. While many formulations of cohesive subgraphs lead to NP-hard problems, finding a densest subgraph can be done in polynomial time. As such, the densest subgraph model has…

Data Structures and Algorithms · Computer Science 2021-11-24 Riccardo Dondi , Danny Hermelin

For a positive integer $k$, a $k$-colouring of a graph $G=(V,E)$ is a mapping $c: V\rightarrow\{1,2,...,k\}$ such that $c(u)\neq c(v)$ whenever $uv\in E$. The Colouring problem is to decide, for a given $G$ and $k$, whether a $k$-colouring…

Computational Complexity · Computer Science 2016-02-16 Petr A. Golovach , Matthew Johnson , Daniël Paulusma , Jian Song

Let $G = (V,w)$ be a weighted undirected graph with $m$ edges. The cut dimension of $G$ is the dimension of the span of the characteristic vectors of the minimum cuts of $G$, viewed as vectors in $\{0,1\}^m$. For every $n \ge 2$ we show…

Computational Complexity · Computer Science 2020-11-30 Troy Lee , Tongyang Li , Miklos Santha , Shengyu Zhang

We initiate the study of computational problems on $k$-mers (strings of length $k$) in labeled graphs. As a starting point, we consider the problem of counting the number of distinct $k$-mers found on the walks of a graph. We establish that…

Data Structures and Algorithms · Computer Science 2026-02-23 Jarno N. Alanko , Maximo Perez-Lopez