English
Related papers

Related papers: The probabilistic Weisfeiler-Leman algorithm

200 papers

Consider algorithms with unbounded computation time that probe the entries of the adjacency matrix of an $n$ vertex graph, and need to output a clique. We show that if the input graph is drawn at random from $G_{n,\frac{1}{2}}$ (and hence…

Combinatorics · Mathematics 2018-09-20 Uriel Feige , David Gamarnik , Joe Neeman , Miklós Z. Rácz , Prasad Tetali

We study sublinear time algorithms for estimating the size of maximum matching in graphs. Our main result is a $(\frac{1}{2}+\Omega(1))$-approximation algorithm which can be implemented in $O(n^{1+\epsilon})$ time, where $n$ is the number…

Data Structures and Algorithms · Computer Science 2022-06-28 Soheil Behnezhad , Mohammad Roghani , Aviad Rubinstein , Amin Saberi

We give a maximal independent set (MIS) algorithm that runs in $O(\log \log \Delta)$ rounds in the congested clique model, where $\Delta$ is the maximum degree of the input graph. This improves upon the $O(\frac{\log(\Delta) \cdot \log \log…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-02-22 Christian Konrad

In 2002, D. Fon-Der-Flaass constructed a prolific family of strongly regular graphs. In this paper, we prove that for infinitely many natural numbers $n$, this family contains $n^{\Omega(n^{2/3})}$ strongly regular $n$-vertex graphs $X$…

Combinatorics · Mathematics 2023-12-04 Jinzhuan Cai , Jin Guo , Alexander L. Gavrilyuk , Ilia Ponomarenko

We present an $O(n^5)$ algorithm that computes a maximum stable set of any perfect graph with no balanced skew-partition. We present $O(n^7)$ time algorithm that colors them.

Discrete Mathematics · Computer Science 2020-12-01 Maria Chudnovsky , Nicolas Trotignon , Théophile Trunck , Kristina Vuskovic

We show that any randomised Monte Carlo distributed algorithm for the Lov\'asz local lemma requires $\Omega(\log \log n)$ communication rounds, assuming that it finds a correct assignment with high probability. Our result holds even in the…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-11-04 Sebastian Brandt , Orr Fischer , Juho Hirvonen , Barbara Keller , Tuomo Lempiäinen , Joel Rybicki , Jukka Suomela , Jara Uitto

For two independent Erd\H{o}s-R\'enyi graphs $\mathbf G(n,p)$, we study the maximal overlap (i.e., the number of common edges) of these two graphs over all possible vertex correspondence. We present a polynomial-time algorithm which finds a…

Probability · Mathematics 2022-10-17 Jian Ding , Hang Du , Shuyang Gong

Graph coloring is a computationally difficult problem, and currently the best known classical algorithm for $k$-coloring of graphs on $n$ vertices has runtimes $\Omega(2^n)$ for $k\ge 5$. The list coloring problem asks the following more…

Quantum Physics · Physics 2022-03-04 Sayan Mukherjee

Let $G=(V(G),E(G))$ be a molecular graph, where $V(G)$ and $E(G)$ are the sets of vertices (atoms) and edges (bonds). A topological index of a molecular graph is a numerical quantity which helps to predict the chemical/physical properties…

Combinatorics · Mathematics 2022-04-25 Bo Bi , Muhammad Kamran Jamil , Khawaja Muhammad Fahd , Tian-Le Sun , Imran Ahmad , Lei Ding

We devise an algorithm that approximately computes the number of paths of length $k$ in a given directed graph with $n$ vertices up to a multiplicative error of $1 \pm \varepsilon$. Our algorithm runs in time $\varepsilon^{-2} 4^k(n+m)…

Data Structures and Algorithms · Computer Science 2018-04-26 Cornelius Brand , Holger Dell , Thore Husfeldt

A circulant graph H is defined on the set of vertices V=\left\{ 1,\ldots,n\right\} and edges E=\left\{ \left(i,j\right):\left|i-j\right|\equiv s\left(\textrm{mod}n\right),s\in S\right\} , where S\subseteq\left\{…

Combinatorics · Mathematics 2017-07-17 Sebastian Richter , Israel Rocha

We prove that the combinatorial Weisfeiler-Leman algorithm of dimension $(3k+4)$ is a complete isomorphism test for the class of all graphs of rank width at most $k$. Rank width is a graph invariant that, similarly to tree width, measures…

Data Structures and Algorithms · Computer Science 2023-05-30 Martin Grohe , Daniel Neuen

In this paper we show lower bounds for a certain large class of algorithms solving the Graph Isomorphism problem, even on expander graph instances. Spielman [25] shows an algorithm for isomorphism of strongly regular expander graphs that…

Computational Complexity · Computer Science 2016-10-31 Aaron Snook , Grant Schoenebeck , Paolo Codenotti

Vizing's theorem states that any graph of maximum degree $\Delta$ can be properly edge colored with at most $\Delta+1$ colors. In the online setting, it has been a matter of interest to find an algorithm that can properly edge color any…

Data Structures and Algorithms · Computer Science 2024-10-30 Aditi Dudeja , Rashmika Goswami , Michael Saks

There is a huge difference in techniques and runtimes of distributed algorithms for problems that can be solved by a sequential greedy algorithm and those that cannot. A prime example of this contrast appears in the edge coloring problem:…

Data Structures and Algorithms · Computer Science 2025-05-27 Manuel Jakob , Yannic Maus , Florian Schager

We present a deterministic distributed algorithm in the LOCAL model that finds a proper $(\Delta + 1)$-edge-coloring of an $n$-vertex graph of maximum degree $\Delta$ in $\mathrm{poly}(\Delta, \log n)$ rounds. This is the first nontrivial…

Combinatorics · Mathematics 2021-03-08 Anton Bernshteyn

In vertex recoloring, we are given $n$ vertices with their initial coloring, and edges arrive in an online fashion. The algorithm must maintain a valid coloring by recoloring vertices, at a cost. The problem abstracts a scenario of job…

Data Structures and Algorithms · Computer Science 2025-01-13 Boaz Patt-Shamir , Adi Rosen , Seeun William Umboh

In the minimum planarization problem, given some $n$-vertex graph, the goal is to find a set of vertices of minimum cardinality whose removal leaves a planar graph. This is a fundamental problem in topological graph theory. We present a…

Data Structures and Algorithms · Computer Science 2017-08-17 Ken-ichi Kawarabayashi , Anastasios Sidiropoulos

We present ${\rm poly\log\log n}$-round randomized distributed algorithms to compute vertex splittings, a partition of the vertices of a graph into $k$ parts such that a node of degree $d(u)$ has $\approx d(u)/k$ neighbors in each part. Our…

Data Structures and Algorithms · Computer Science 2022-08-18 Magnús M. Halldórsson , Yannic Maus , Alexandre Nolin

A review of the Loop Algorithm, its generalizations, and its relation to some other Monte Carlo techniques is given. The loop algorithm is a Quantum Monte Carlo procedure which employs nonlocal changes of worldline configurations,…

Strongly Correlated Electrons · Physics 2014-10-13 H. G. Evertz