English
Related papers

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

200 papers

Let $G$ be a DAG with $n$ vertices and $m$ edges. Two vertices $u,v$ are incomparable if $u$ doesn't reach $v$ and vice versa. We denote by \emph{width} of a DAG $G$, $w_G$, the maximum size of a set of incomparable vertices of $G$. In this…

Data Structures and Algorithms · Computer Science 2019-06-24 Giacomo Ortali , Ioannis G. Tollis

It is proved that the Weisfeiler-Leman dimension of the class of permutation graphs is at most 18. Previously it was only known that this dimension is finite (Gru{\ss}ien, 2017).

Combinatorics · Mathematics 2023-05-26 Jin Guo , Alexander L. Gavrilyuk , Ilia Ponomarenko

Let $k \geq 1$. A graph $G$ is $\mathbf{W_k}$ if for any $k$ pairwise disjoint independent vertex subsets $A_1, \dots, A_k$ in $G$, there exist $k$ pairwise disjoint maximum independent sets $S_1, \dots, S_k$ in $G$ such that $A_i \subseteq…

Combinatorics · Mathematics 2023-11-16 Carl Feghali , Malory Marin

A vertex set $S$ of a graph $G$ is geodetic if every vertex of $G$ lies on a shortest path between two vertices in $S$. Given a graph $G$ and $k \in \mathbb N$, the NP-hard Geodetic Set problem asks whether there is a geodetic set of size…

Data Structures and Algorithms · Computer Science 2020-10-01 Leon Kellerhals , Tomohiro Koana

The Weisfeiler-Lehman graph kernels are among the most prevalent graph kernels due to their remarkable time complexity and predictive performance. Their key concept is based on an implicit comparison of neighborhood representing trees with…

Machine Learning · Computer Science 2021-01-21 Till Hendrik Schulz , Tamás Horváth , Pascal Welke , Stefan Wrobel

In recent years, graph neural networks (GNNs) have emerged as a powerful neural architecture to learn vector representations of nodes and graphs in a supervised, end-to-end fashion. Up to now, GNNs have only been evaluated empirically --…

The (torsion) complexity of a finite signed graph is defined to be the order of the torsion subgroup of the abelian group presented by its Laplacian matrix. When $G$ is $d$-periodic (i.e., $G$ has a free ${\mathbb Z}^d$-action by graph…

Geometric Topology · Mathematics 2020-08-14 Daniel S. Silver , Susan G. Williams

Given a graph $G(V,E)$, a vertex subset $S$ of $G$ is called an open packing in $G$ if no pair of distinct vertices in $S$ have a common neighbour in $G$. The size of a largest open packing in $G$ is called the open packing number,…

Discrete Mathematics · Computer Science 2024-07-15 M. A. Shalu , V. K. Kirubakaran

General factors are a generalization of matchings. Given a graph $G$ with a set $\pi(v)$ of feasible degrees, called a degree constraint, for each vertex $v$ of $G$, the general factor problem is to find a (spanning) subgraph $F$ of $G$…

Discrete Mathematics · Computer Science 2024-05-24 Shuai Shao , Stanislav Živný

We give an isomorphism test for graphs of Euler genus $g$ running in time $2^{O(g^4 \log g)}n^{O(1)}$. Our algorithm provides the first explicit upper bound on the dependence on $g$ for an fpt isomorphism test parameterized by the Euler…

Data Structures and Algorithms · Computer Science 2024-03-08 Daniel Neuen

The main goal of this paper is to formalize and explore a connection between chromatic properties of graphs with geometric representations and competitive analysis of on-line algorithms, which became apparent after the recent construction…

Data Structures and Algorithms · Computer Science 2016-12-30 Tomasz Krawczyk , Bartosz Walczak

This paper studies the kernelization complexity of graph coloring problems with respect to certain structural parameterizations of the input instances. We are interested in how well polynomial-time data reduction can provably shrink…

Data Structures and Algorithms · Computer Science 2015-03-19 Bart M. P. Jansen , Stefan Kratsch

The classical (vertex) metric dimension of a graph G is defined as the cardinality of a smallest set S in V (G) such that any two vertices x and y from G have different distances to least one vertex from S: The k-metric dimension is a…

Combinatorics · Mathematics 2023-09-06 Iztok Peterina , Jelena Sedlar , Riste Škrekovski , Ismael G. Yero

The distributed coloring problem is arguably one of the key problems studied in the area of distributed graph algorithms. The most standard variant of the problem asks for a proper vertex coloring of a graph with $\Delta+1$ colors, where…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-05 Marc Fuchs , Fabian Kuhn

We consider the problem of coloring k-colorable graphs with the fewest possible colors. We present a randomized polynomial time algorithm that colors a 3-colorable graph on $n$ vertices with min O(Delta^{1/3} log^{1/2} Delta log n),…

Data Structures and Algorithms · Computer Science 2007-05-23 David Karger , Rajeev Motwani , Madhu Sudan

A graph on $n$ vertices is equitably $k$-colorable if it is $k$-colorable and every color is used either $\left\lfloor n/k \right\rfloor$ or $\left\lceil n/k \right\rceil$ times. Such a problem appears to be considerably harder than vertex…

Discrete Mathematics · Computer Science 2023-06-22 Guilherme de C. M. Gomes , Carlos V. G. C. Lima , Vinícius F. dos Santos

The clique-width is a measure of complexity of decomposing graphs into certain tree-like structures. The class of graphs with bounded clique-width contains bounded tree-width graphs. We give a polynomial time graph isomorphism algorithm for…

Computational Complexity · Computer Science 2016-04-29 Bireswar Das , Murali Krishna Enduri , I. Vinod Reddy

A subcoloring of a graph is a partition of its vertex set into subsets (called colors), each inducing a disjoint union of cliques. It is a natural generalization of the classical proper coloring, in which each color must instead induce an…

Data Structures and Algorithms · Computer Science 2025-06-25 Malory Marin , Rémi Watrigant

The Weisfeiler-Leman (WL) dimension of a graph parameter $f$ is the minimum $k$ such that, if $G_1$ and $G_2$ are indistinguishable by the $k$-dimensional WL-algorithm then $f(G_1)=f(G_2)$. The WL-dimension of $f$ is $\infty$ if no such $k$…

Discrete Mathematics · Computer Science 2024-03-12 Andreas Göbel , Leslie Ann Goldberg , Marc Roth

In this work, we study the maximum matching problem from the perspective of sensitivity. The sensitivity of an algorithm $A$ on a graph $G$ is defined as the maximum Wasserstein distance between the output distributions of $A$ on $G$ and on…

Data Structures and Algorithms · Computer Science 2025-11-24 Yuichi Yoshida , Zihan Zhang