English
Related papers

Related papers: Complexity landscape for local certification

200 papers

This paper presents efficient distributed algorithms for a number of fundamental problems in the area of graph sparsification: We provide the first deterministic distributed algorithm that computes an ultra-sparse spanner in…

Data Structures and Algorithms · Computer Science 2022-09-26 Marcel Bezdrighin , Michael Elkin , Mohsen Ghaffari , Christoph Grunau , Bernhard Haeupler , Saeed Ilchi , Václav Rozhoň

Modern state estimation is often formulated as an optimization problem and solved using efficient local search methods. These methods at best guarantee convergence to local minima, but, in some cases, global optimality can also be…

Robotics · Computer Science 2022-11-28 Connor Holmes , Timothy D. Barfoot

We describe approximation algorithms in Linial's classic LOCAL model of distributed computing to find maximum-weight matchings in a hypergraph of rank $r$. Our main result is a deterministic algorithm to generate a matching which is an…

Data Structures and Algorithms · Computer Science 2023-10-13 David G. Harris

We study the communication complexity of distributed offline dynamic programming, where a fixed batch dataset is partitioned across (M) machines connected by the data-induced dependency graph. We compare two paradigms: direct boundary-value…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-22 Ibne Farabi Shihab

$H$-Packing is the problem of finding a maximum number of vertex-disjoint copies of $H$ in a given graph $G$. $H$-Partition is the special case of finding a set of vertex-disjoint copies that cover each vertex of $G$ exactly once. Our goal…

Data Structures and Algorithms · Computer Science 2025-09-09 Barış Can Esmer , Dániel Marx

Degree heterogeneity and latent geometry, also referred to as popularity and similarity, are key explanatory components underlying the structure of real-world networks. The relationship between these components and the statistical…

Social and Information Networks · Computer Science 2024-09-18 Keith Malcolm Smith , Jason P. Smith

Revealing the structural features of a complex system from the observed collective dynamics is a fundamental problem in network science. In order to compute the various topological descriptors commonly used to characterize the structure of…

Data Analysis, Statistics and Probability · Physics 2021-02-16 Sebastian Raimondo , Manlio De Domenico

Graph matching, also known as network alignment, refers to finding a bijection between the vertex sets of two given graphs so as to maximally align their edges. This fundamental computational problem arises frequently in multiple fields…

Data Structures and Algorithms · Computer Science 2021-08-10 Cheng Mao , Mark Rudelson , Konstantin Tikhomirov

Simplifying graphs is a very applicable problem in numerous domains, especially in computational geometry. Given a geometric graph and a threshold, the minimum-complexity graph simplification asks for computing an alternative graph of…

Computational Geometry · Computer Science 2021-11-05 Omrit Filtser , Majid Mirzanezhad , Carola Wenk

Viewing neural network models in terms of their loss landscapes has a long history in the statistical mechanics approach to learning, and in recent years it has received attention within machine learning proper. Among other things, local…

Machine Learning · Computer Science 2021-12-14 Yaoqing Yang , Liam Hodgkinson , Ryan Theisen , Joe Zou , Joseph E. Gonzalez , Kannan Ramchandran , Michael W. Mahoney

This paper considers the collaborative graph exploration problem in GPS-denied environments, where a group of robots are required to cover a graph environment while maintaining reliable pose estimations in collaborative simultaneous…

Robotics · Computer Science 2024-07-02 Ruofei Bai , Shenghai Yuan , Hongliang Guo , Pengyu Yin , Wei-Yun Yau , Lihua Xie

For intractable problems on graphs of bounded treewidth, two graph parameters treedepth and vertex cover number have been used to obtain fine-grained complexity results. Although the studies in this direction are successful, we still need a…

Data Structures and Algorithms · Computer Science 2023-04-03 Tatsuya Gima , Tesshu Hanaka , Masashi Kiyomi , Yasuaki Kobayashi , Yota Otachi

We present time-efficient distributed algorithms for decomposing graphs with large edge or vertex connectivity into multiple spanning or dominating trees, respectively. As their primary applications, these decompositions allow us to achieve…

Data Structures and Algorithms · Computer Science 2013-11-22 Keren Censor-Hillel , Mohsen Ghaffari , Fabian Kuhn

In this work, we develop the low-space Massively Parallel Computation (MPC) complexity landscape for a family of fundamental graph problems on trees. We present a general method that solves most locally checkable labeling (LCL) problems…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-04 Sebastian Brandt , Rustam Latypov , Jara Uitto

We consider the problem of finding a Hamiltonian path or a Hamiltonian cycle with precedence constraints in the form of a partial order on the vertex set. We show that the path problem is $\mathsf{NP}$-complete for graphs of pathwidth 4…

Discrete Mathematics · Computer Science 2025-07-01 Jesse Beisegel , Katharina Klost , Kristin Knorr , Fabienne Ratajczak , Robert Scheffler

Given an input $x$, and a search problem $F$, local computation algorithms (LCAs) implement access to specified locations of $y$ in a legal output $y \in F(x)$, using polylogarithmic time and space. Mansour et al., (2012), had previously…

Data Structures and Algorithms · Computer Science 2014-04-23 Omer Reingold , Shai Vardi

A graph $G=(V,E)$ is a geometric intersection graph if every node $v \in V$ is identified with a geometric object of some particular type, and two nodes are adjacent if the corresponding objects intersect. Geometric intersection graph…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-07 Benjamin Jauregui , Pedro Montealegre , Ivan Rapaport

By prior work, we have many results related to distributed graph algorithms for problems that can be defined with local constraints; the formal framework used in prior work is locally checkable labeling problems (LCLs), introduced by Naor…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-07-09 Alkida Balliu , Mohsen Ghaffari , Fabian Kuhn , Augusto Modanese , Dennis Olivetti , Mikaël Rabie , Jukka Suomela , Jara Uitto

We study the query complexity of determining if a graph is connected with global queries. The first model we look at is matrix-vector multiplication queries to the adjacency matrix. Here, for an $n$-vertex graph with adjacency matrix $A$,…

Data Structures and Algorithms · Computer Science 2021-09-07 Arinta Auza , Troy Lee

This work bridges the gap between distributed and centralised models of computing in the context of sublinear-time graph algorithms. A priori, typical centralised models of computing (e.g., parallel decision trees or centralised local…

Data Structures and Algorithms · Computer Science 2015-12-18 Mika Göös , Juho Hirvonen , Reut Levi , Moti Medina , Jukka Suomela