English
Related papers

Related papers: The probabilistic Weisfeiler-Leman algorithm

200 papers

The $k$-dimensional Weisfeiler-Leman algorithm ($k$-WL) is a fruitful approach to the Graph Isomorphism problem. 2-WL corresponds to the original algorithm suggested by Weisfeiler and Leman over 50 years ago. 1-WL is the classical color…

Discrete Mathematics · Computer Science 2019-04-10 V. Arvind , Frank Fuhlbrück , Johannes Köbler , Oleg Verbitsky

There is no known polynomial-time algorithm for graph isomorphism testing, but elementary combinatorial "refinement" algorithms seem to be very efficient in practice. Some philosophical justification is provided by a classical theorem of…

Combinatorics · Mathematics 2025-10-17 Michael Anastos , Matthew Kwan , Benjamin Moore

Vizing showed that it suffices to color the edges of a simple graph using $\Delta + 1$ colors, where $\Delta$ is the maximum degree of the graph. However, up to this date, no efficient distributed edge-coloring algorithms are known for…

Data Structures and Algorithms · Computer Science 2019-04-11 Hsin-Hao Su , Hoa T. Vu

We improve on random sampling techniques for approximately solving problems that involve cuts and flows in graphs. We give a near-linear-time construction that transforms any graph on n vertices into an O(n\log n)-edge graph on the same…

Data Structures and Algorithms · Computer Science 2007-05-23 Andras Benczur , David R. Karger

The distributed (Delta + 1)-coloring problem is one of most fundamental and well-studied problems of Distributed Algorithms. Starting with the work of Cole and Vishkin in 86, there was a long line of gradually improving algorithms…

Distributed, Parallel, and Cluster Computing · Computer Science 2008-12-26 Leonid Barenboim , Michael Elkin

Vizing's theorem states that any $n$-vertex $m$-edge graph of maximum degree $\Delta$ can be edge colored using at most $\Delta + 1$ different colors [Vizing, 1964]. Vizing's original proof is algorithmic and shows that such an edge…

Data Structures and Algorithms · Computer Science 2025-10-15 Sepehr Assadi , Soheil Behnezhad , Sayan Bhattacharya , Martín Costa , Shay Solomon , Tianyi Zhang

The clique chromatic number of a graph is the minimum number of colours needed to colour its vertices so that no inclusion-wise maximal clique which is not an isolated vertex is monochromatic. We show that every graph of maximum degree…

Combinatorics · Mathematics 2021-09-13 Gwenaël Joret , Piotr Micek , Bruce Reed , Michiel Smid

Given a dynamic graph subject to edge insertions and deletions, we show how to update an implicit representation of a proper vertex colouring, such that colours of vertices are computable upon query time. We give a deterministic algorithm…

Data Structures and Algorithms · Computer Science 2022-11-15 Aleksander B. G. Christiansen , Krzysztof D. Nowicki , Eva Rotenberg

We give a closed formula for Lovasz theta number of the powers of cycle graphs and of their complements, the circular complete graphs. As a consequence, we establish that the circular chromatic number of a circular perfect graph is…

Combinatorics · Mathematics 2011-10-27 Christine Bachoc , Arnaud Pêcher , Alain Thiéry

A recent work by Christiansen, Nowicki, and Rotenberg provides dynamic algorithms for coloring sparse graphs, concretely as a function of the arboricity alpha of the input graph. They give two randomized algorithms: O({alpha} log {alpha})…

Data Structures and Algorithms · Computer Science 2024-10-28 Mohsen Ghaffari , Christoph Grunau

In this paper, we show that the $(3k+4)$-dimensional Weisfeiler--Leman algorithm can identify graphs of treewidth $k$ in $O(\log n)$ rounds. This improves the result of Grohe & Verbitsky (ICALP 2006), who previously established the…

Data Structures and Algorithms · Computer Science 2024-04-26 Michael Levet , Puck Rombach , Nicholas Sieger

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

Uncertainty estimation in deep models is essential in many real-world applications and has benefited from developments over the last several years. Recent evidence suggests that existing solutions dependent on simple Gaussian formulations…

Machine Learning · Computer Science 2022-05-11 Jurijs Nazarovs , Ronak R. Mehta , Vishnu Suresh Lokhande , Vikas Singh

In this paper, we prove that, given a clique-width $k$-expression of an $n$-vertex graph, \textsc{Hamiltonian Cycle} can be solved in time $n^{\mathcal{O}(k)}$. This improves the naive algorithm that runs in time $n^{\mathcal{O}(k^2)}$ by…

Data Structures and Algorithms · Computer Science 2019-06-11 Benjamin Bergougnoux , Mamadou Moustapha Kanté , O-joung Kwon

We give fast, simple, and implementable catalytic logspace algorithms for two fundamental graph problems. First, a randomized catalytic algorithm for $s\to t$ connectivity running in $\widetilde{O}(nm)$ time, and a deterministic catalytic…

Data Structures and Algorithms · Computer Science 2025-09-09 James Cook , Edward Pyne

A simple but empirically efficient heuristic algorithm for the edge-coloring of graphs is presented. Its basic idea is the displacement of "conflicts" (repeated colors in the edges incident to a vertex) along paths of adjacent vertices…

Combinatorics · Mathematics 2012-10-19 M. A. Fiol , J. Vilaltella

This article presents a numerical illustration of a recently proposed strongly polynomial-time algorithm for the general linear programming (LP) problem. Each iteration of the proposed algorithm consists of two Gauss-Jordan pivoting…

Optimization and Control · Mathematics 2026-05-12 Samuel Awoniyi

Given an instance of the preferential attachment graph $G_n=([n],E_n)$, we would like to find vertex 1, using only 'local' information about the graph; that is, by exploring the neighborhoods of small sets of vertices. Borgs et. al gave an…

Combinatorics · Mathematics 2016-05-20 Alan Frieze , Wesley Pegden

We propose a new algorithm for 3-coloring that runs in time O(1.3217^n). For this algorithm, we make use of the time O(1.3289^n) algorithm for 3-coloring by Beigel and Eppstein. They described a structure in all graphs, whose vertices could…

Data Structures and Algorithms · Computer Science 2023-02-28 Lucas Meijer

A set of colored graphs are compatible, if for every color $i$, the number of vertices of color $i$ is the same in every graph. A simultaneous embedding of $k$ compatibly colored graphs, each with $n$ vertices, consists of $k$ planar…

Computational Geometry · Computer Science 2021-01-19 Debajyoti Mondal