English
Related papers

Related papers: Towards Fully Automatic Distributed Lower Bounds

200 papers

We investigate the distributed complexity of maximal matching and maximal independent set (MIS) in hypergraphs in the LOCAL model. A maximal matching of a hypergraph $H=(V_H,E_H)$ is a maximal disjoint set $M\subseteq E_H$ of hyperedges and…

Data Structures and Algorithms · Computer Science 2022-11-04 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Dennis Olivetti

The multiway-cut problem is, given a weighted graph and k >= 2 terminal nodes, to find a minimum-weight set of edges whose removal separates all the terminals. The problem is NP-hard, and even NP-hard to approximate within 1+delta for some…

Data Structures and Algorithms · Computer Science 2015-06-02 David Karger , Phil Klein , Cliff Stein , Mikkel Thorup , Neal E. Young

We study the problem of bounding the posterior distribution of discrete probabilistic programs with unbounded support, loops, and conditioning. Loops pose the main difficulty in this setting: even if exact Bayesian inference is possible,…

Programming Languages · Computer Science 2024-12-06 Fabian Zaiser , Andrzej S. Murawski , C. -H. Luke Ong

Linial's seminal result shows that any deterministic distributed algorithm that finds a $3$-colouring of an $n$-cycle requires at least $\log^*(n)/2 - 1$ communication rounds. We give a new simpler proof of this theorem.

Distributed, Parallel, and Cluster Computing · Computer Science 2014-02-12 Juhana Laurinharju , Jukka Suomela

We develop an algorithmic framework for graph colouring that reduces the problem to verifying a local probabilistic property of the independent sets. With this we give, for any fixed $k\ge 3$ and $\varepsilon>0$, a randomised…

Data Structures and Algorithms · Computer Science 2020-04-16 Ewan Davies , Ross J. Kang , François Pirot , Jean-Sébastien Sereni

Let $\Pi$ be a hereditary graph class. The problem of deletion to $\Pi$, takes as input a graph $G$ and asks for a minimum number (or a fixed integer $k$) of vertices to be deleted from $G$ so that the resulting graph belongs to $\Pi$. This…

Data Structures and Algorithms · Computer Science 2023-04-14 Ashwin Jacob , Diptapriyo Majumdar , Venkatesh Raman

Given a graph $G$ with $n$ vertices and maximum degree $\Delta$, it is known that $G$ admits a vertex coloring with $\Delta + 1$ colors such that no edge of $G$ is monochromatic. This can be seen constructively by a simple greedy algorithm,…

Data Structures and Algorithms · Computer Science 2021-02-16 Jackson Morris , Fang Song

We consider the problem of finding a minimum edge cost subgraph of a graph satisfying both given node-connectivity requirements and degree upper bounds on nodes. We present an iterative rounding algorithm of the biset LP relaxation for this…

Data Structures and Algorithms · Computer Science 2015-08-11 Takuro Fukunaga , Zeev Nutov , R. Ravi

This paper studies the fundamental problem of graph coloring in fully dynamic graphs. Since the problem of computing an optimal coloring, or even approximating it to within $n^{1-\epsilon}$ for any $\epsilon > 0$, is NP-hard in static…

Data Structures and Algorithms · Computer Science 2020-06-23 Shay Solomon , Nicole Wein

Vizing's celebrated theorem asserts that any graph of maximum degree $\Delta$ admits an edge coloring using at most $\Delta+1$ colors. In contrast, Bar-Noy, Naor and Motwani showed over a quarter century that the trivial greedy algorithm,…

Data Structures and Algorithms · Computer Science 2019-04-22 Ilan Reuven Cohen , Binghui Peng , David Wajc

This paper proves strong lower bounds for distributed computing in the CONGEST model, by presenting the bit-gadget: a new technique for constructing graphs with small cuts. The contribution of bit-gadgets is twofold. First, developing…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-15 Amir Abboud , Keren Censor-Hillel , Seri Khoury , Ami Paz

The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then…

Combinatorics · Mathematics 2022-02-21 Pu Gao , Calum MacRury , Pawel Pralat

Studying distributed computing through the lens of algebraic topology has been the source of many significant breakthroughs during the last two decades, especially in the design of lower bounds or impossibility results for deterministic…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-26 Pierre Fraigniaud , Ran Gelles , Zvi Lotker

We present new deterministic algorithms for computing distributed weighted minimum weight cycle (MWC) in undirected and directed graphs and distributed weighted all nodes shortest cycle (ANSC) in directed graphs. Our algorithms for these…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-10-03 Udit Agarwal

We provide a simple new randomized contraction approach to the global minimum cut problem for simple undirected graphs. The contractions exploit 2-out edge sampling from each vertex rather than the standard uniform edge sampling. We…

Data Structures and Algorithms · Computer Science 2019-09-04 Mohsen Ghaffari , Krzysztof Nowicki , Mikkel Thorup

Distributed graph coloring is one of the most extensively studied problems in distributed computing. There is a canonical family of distributed graph coloring algorithms known as the locally-iterative coloring algorithms, first formalized…

Data Structures and Algorithms · Computer Science 2023-01-31 Xinyu Fu , Yitong Yin , Chaodong Zheng

We present a simple $(1+\varepsilon)\Delta$-edge-coloring algorithm for graphs of maximum degree $\Delta = \Omega(\log n / \varepsilon)$ with running time $O\left(m\,\log^3 n/\varepsilon^3\right)$. Our algorithm improves upon that of [Duan,…

Data Structures and Algorithms · Computer Science 2024-07-24 Abhishek Dhawan

We present improved distributed algorithms for triangle detection and its variants in the CONGEST model. We show that Triangle Detection, Counting, and Enumeration can be solved in $\tilde{O}(n^{1/2})$ rounds. In contrast, the previous…

Data Structures and Algorithms · Computer Science 2018-07-19 Yi-Jun Chang , Seth Pettie , Hengjie Zhang

We study the edge-colouring problem, and give efficient algorithms where the number of colours is parameterised by the graph's arboricity, $\alpha$. In a dynamic graph, subject to insertions and deletions, we give a deterministic algorithm…

Data Structures and Algorithms · Computer Science 2025-01-15 Aleksander B. G. Christiansen , Eva Rotenberg , Juliette Vlieghe

In this paper, we revisit the problem of sampling edges in an unknown graph $G = (V, E)$ from a distribution that is (pointwise) almost uniform over $E$. We consider the case where there is some a priori upper bound on the arboriciy of $G$.…

Computational Complexity · Computer Science 2019-02-22 Talya Eden , Dana Ron , Will Rosenbaum