English
Related papers

Related papers: The Sharp Power Law of Local Search on Expanders

200 papers

The main goal in distributed symmetry-breaking is to understand the locality of problems; i.e., the radius of the neighborhood that a node needs to explore in order to arrive at its part of a global solution. In this work, we study the…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-23 Seri Khoury , Manish Purohit , Aaron Schild , Joshua Wang

Many combinatorial optimization problems can be approximated within $(1 \pm \epsilon)$ factors in $\text{poly}(\log n, 1/\epsilon)$ rounds in the LOCAL model via network decompositions [Ghaffari, Kuhn, and Maus, STOC 2018]. These approaches…

Data Structures and Algorithms · Computer Science 2025-10-24 Yi-Jun Chang , Hsin-Hao Su

In a recent work, Esmer et al. describe a simple method - Approximate Monotone Local Search - to obtain exponential approximation algorithms from existing parameterized exact algorithms, polynomial-time approximation algorithms and, more…

Data Structures and Algorithms · Computer Science 2023-08-30 Baris Can Esmer , Ariel Kulik , Daniel Marx , Daniel Neuen , Roohani Sharma

It is an easy observation that a natural greedy approach yields a $\left(d-O(1)\right)$-factor approximation algorithm for the maximum induced matching problem in $d$-regular graphs. The only considerable and non-trivial improvement of this…

Combinatorics · Mathematics 2017-08-08 Maximilian Fürst , Marilena Leichter , Dieter Rautenbach

We consider the following generalization of the classic Binary Search Problem: a searcher is required to find a hidden target vertex $x$ in a graph $G$, by iteratively performing queries about vertices. A query to $v$ incurs a cost $c(v,…

Data Structures and Algorithms · Computer Science 2026-03-19 Michał Szyfelbein

We present a complete classification of the distributed computational complexity of local optimization problems in directed cycles for both the deterministic and the randomized LOCAL model. We show that for any local optimization problem…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-06 Thomas Boudier , Fabian Kuhn , Augusto Modanese , Ronja Stimpert , Jukka Suomela

Constructing a sparse spanning subgraph is a fundamental primitive in graph theory. In this paper, we study this problem in the Centralized Local model, where the goal is to decide whether an edge is part of the spanning subgraph by…

Data Structures and Algorithms · Computer Science 2017-07-20 Christoph Lenzen , Reut Levi

In graph sparsification, the goal has almost always been of {global} nature: compress a graph into a smaller subgraph ({sparsifier}) that maintains certain features of the original graph. Algorithms can then run on the sparsifier, which in…

Data Structures and Algorithms · Computer Science 2021-05-06 Shay Solomon

Dominating Set is a well-known combinatorial optimization problem which finds application in computational biology or mobile communication. Because of its $\mathrm{NP}$-hardness, one often turns to heuristics for good solutions. Many such…

Data Structures and Algorithms · Computer Science 2026-01-21 Hendrik Higl

We initiate the study of approximation algorithms and computational barriers for constructing sparse $\alpha$-navigable graphs [IX23, DGM+24], a core primitive underlying recent advances in graph-based nearest neighbor search. Given an…

Data Structures and Algorithms · Computer Science 2025-07-21 Sanjeev Khanna , Ashwin Padaki , Erik Waingarten

In the Upper Degree-Constrained Partial Orientation problem we are given an undirected graph $G=(V,E)$, together with two degree constraint functions $d^-,d^+ : V \to \mathbb{N}$. The goal is to orient as many edges as possible, in such a…

Data Structures and Algorithms · Computer Science 2014-10-13 Marek Cygan , Tomasz Kociumaka

We present a general technique, based on parametric search with some twist, for solving a variety of optimization problems on a set of semi-algebraic geometric objects of constant complexity. The common feature of these problems is that…

Computational Geometry · Computer Science 2022-07-15 Matthew J. Katz , Micha Sharir

Given a graph $G = (V,E)$, an $(\alpha, \beta)$-ruling set is a subset $S \subseteq V$ such that the distance between any two vertices in $S$ is at least $\alpha$, and the distance between any vertex in $V$ and the closest vertex in $S$ is…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-06-03 Alkida Balliu , Sebastian Brandt , Dennis Olivetti

The Local Computation Algorithm (LCA) model is a popular model in the field of sublinear-time algorithms that measures the complexity of an algorithm by the number of probes the algorithm makes in the neighborhood of one node to determine…

Data Structures and Algorithms · Computer Science 2021-12-06 Sebastian Brandt , Christoph Grunau , Václav Rozhoň

We tackle two long-standing problems related to re-expansions in heuristic search algorithms. For graph search, A* can require $\Omega(2^{n})$ expansions, where $n$ is the number of states within the final $f$ bound. Existing algorithms…

Data Structures and Algorithms · Computer Science 2019-07-31 Malte Helmert , Tor Lattimore , Levi H. S. Lelis , Laurent Orseau , Nathan R. Sturtevant

In the NP-hard Max $c$-Cut problem, one is given an undirected edge-weighted graph $G$ and aims to color the vertices of $G$ with $c$ colors such that the total weight of edges with distinctly colored endpoints is maximal. The case with…

Computational Complexity · Computer Science 2024-09-23 Jaroslav Garvardt , Niels Grüttemeier , Christian Komusiewicz , Nils Morawietz

One powerful technique to solve NP-hard optimization problems in practice is branch-and-reduce search---which is branch-and-bound that intermixes branching with reductions to decrease the input size. While this technique is known to be very…

Data Structures and Algorithms · Computer Science 2018-10-26 Sebastian Lamm , Christian Schulz , Darren Strash , Robert Williger , Huashuo Zhang

The local minimum degree of a graph is the minimum degree that can be reached by means of local complementation. For any n, there exist graphs of order n which have a local minimum degree at least 0.189n, or at least 0.110n when restricted…

Discrete Mathematics · Computer Science 2016-08-18 David Cattanéo , Simon Perdrix

We give a nearly optimal sublinear-time algorithm for approximating the size of a minimum vertex cover in a graph G. The algorithm may query the degree deg(v) of any vertex v of its choice, and for each 1 <= i <= deg(v), it may ask for the…

Data Structures and Algorithms · Computer Science 2011-10-06 Krzysztof Onak , Dana Ron , Michal Rosen , Ronitt Rubinfeld

Local search is a fundamental optimization technique that is both widely used in practice and deeply studied in theory, yet its computational complexity remains poorly understood. The traditional frameworks, PLS and the standard algorithm…

Computational Complexity · Computer Science 2026-01-05 Robert Ganian , Hung P. Hoang , Christian Komusiewicz , Nils Morawietz