English
Related papers

Related papers: Tight Lower Bounds in the Supported LOCAL Model

200 papers

We analyze the query complexity of finding a local minimum in $t$ rounds on general graphs. More precisely, given a graph $G = (V,E)$ and oracle access to an unknown function $f : V \to \mathbb{R}$, the goal is to find a local minimum--a…

Computational Complexity · Computer Science 2026-02-03 Simina Brânzei , Ioannis Panageas , Dimitris Paparas

We propose graph-dependent implicit regularisation strategies for distributed stochastic subgradient descent (Distributed SGD) for convex problems in multi-agent learning. Under the standard assumptions of convexity, Lipschitz continuity,…

Machine Learning · Computer Science 2018-09-20 Dominic Richards , Patrick Rebeschini

The classic lower bound of Kuhn, Moscibroda and Wattenhofer [JACM 2016] states that approximate maximum matching and approximate vertex cover (among other problems) in the LOCAL model require $\Omega(\min\{\sqrt{\frac{\log n}{\log\log n}},…

Data Structures and Algorithms · Computer Science 2026-05-14 Peter Davies-Peck

The question of what can be computed, and how efficiently, are at the core of computer science. Not surprisingly, in distributed systems and networking research, an equally fundamental question is what can be computed in a…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-04-01 Fabian Kuhn , Thomas Moscibroda , Roger Wattenhofer

We study the problem of detecting local geometry in random graphs. We introduce a model $\mathcal{G}(n, p, d, k)$, where a hidden community of average size $k$ has edges drawn as a random geometric graph on $\mathbb{S}^{d-1}$, while all…

Statistics Theory · Mathematics 2026-03-26 Jinho Bok , Shuangping Li , Sophie H. Yu

We introduce a novel lower bound technique for distributed graph algorithms under bandwidth limitations. We define the notion of \emph{fooling views} and exemplify its strength by proving two new lower bounds for triangle membership in the…

Data Structures and Algorithms · Computer Science 2017-12-14 Amir Abboud , Keren Censor-Hillel , Seri Khoury , Christoph Lenzen

A local algorithm is a distributed algorithm that completes after a constant number of synchronous communication rounds. We present local approximation algorithms for the minimum dominating set problem and the maximum matching problem in…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-02-02 Matti Åstrand , Valentin Polishchuk , Joel Rybicki , Jukka Suomela , Jara Uitto

Consider any locally checkable labeling problem $\Pi$ in rooted regular trees: there is a finite set of labels $\Sigma$, and for each label $x \in \Sigma$ we specify what are permitted label combinations of the children for an internal node…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-09-05 Alkida Balliu , Sebastian Brandt , Yi-Jun Chang , Dennis Olivetti , Jan Studený , Jukka Suomela , Aleksandr Tereshchenko

A standard model in network synchronised distributed computing is the LOCAL model. In this model, the processors work in rounds and, in the classic setting, they know the number of vertices of the network, $n$. Using $n$, they can compute…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-05-20 Laurent Feuilloley

We study stochastic graph optimization problems in a novel distributed setting. As in the standard centralized setting, a random subgraph $G^*$ of a known base graph $G$ is realized by including each edge $e$ independently with a known…

Data Structures and Algorithms · Computer Science 2026-05-21 Keren Censor-Hillel , Aditi Dudeja , George Giakkoupis

A number of recent papers -- e.g. Brandt et al. (STOC 2016), Chang et al. (FOCS 2016), Ghaffari & Su (SODA 2017), Brandt et al. (PODC 2017), and Chang & Pettie (FOCS 2017) -- have advanced our understanding of one of the most fundamental…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-04-06 Alkida Balliu , Juho Hirvonen , Janne H. Korhonen , Tuomo Lempiäinen , Dennis Olivetti , Jukka Suomela

By prior work, there is a distributed algorithm that finds a maximal fractional matching (maximal edge packing) in $O(\Delta)$ rounds, where $\Delta$ is the maximum degree of the graph. We show that this is optimal: there is no distributed…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-24 Mika Göös , Juho Hirvonen , Jukka Suomela

In a celebrated work, Blais, Brody, and Matulef developed a technique for proving property testing lower bounds via reductions from communication complexity. Their work focused on testing properties of functions, and yielded new lower…

Computational Complexity · Computer Science 2018-01-26 Talya Eden , Will Rosenbaum

We generalize the technique of smoothed analysis to distributed algorithms in dynamic network models. Whereas standard smoothed analysis studies the impact of small random perturbations of input values on algorithm performance metrics,…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-08-17 Michael Dinitz , Jeremy T. Fineman , Seth Gilbert , Calvin Newport

Graph learning is often a necessary step in processing or representing structured data, when the underlying graph is not given explicitly. Graph learning is generally performed centrally with a full knowledge of the graph signals, namely…

Signal Processing · Electrical Eng. & Systems 2021-12-14 Isabela Cunha Maia Nobre , Mireille El Gheche , Pascal Frossard

In a recent breakthrough result, Balliu et al. [FOCS'19] proved a deterministic $\Omega(\min(\Delta,\log n /\log \log n))$-round and a randomized $\Omega(\min(\Delta,\log \log n/\log \log \log n))$-round lower bound for the complexity of…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-02-20 Sebastian Brandt , Dennis Olivetti

In this thesis, I study the minimax oracle complexity of distributed stochastic optimization. First, I present the "graph oracle model", an extension of the classic oracle complexity framework that can be applied to study distributed…

Optimization and Control · Mathematics 2021-09-03 Blake Woodworth

In this work we study local computation with advice: the goal is to solve a graph problem $\Pi$ with a distributed algorithm in $T(\Delta)$ communication rounds, for some function $T$ that only depends on the maximum degree $\Delta$ of the…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-25 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Krzysztof Nowicki , Dennis Olivetti , Eva Rotenberg , Jukka Suomela

We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world…

We give an algorithmic and lower-bound framework that facilitates the construction of subexponential algorithms and matching conditional complexity bounds. It can be applied to intersection graphs of similarly-sized fat objects, yielding…

Computational Geometry · Computer Science 2020-12-18 Mark de Berg , Hans L. Bodlaender , Sándor Kisfaludi-Bak , Dániel Marx , Tom C. van der Zanden