English
Related papers

Related papers: Efficient Classification of Locally Checkable Prob…

200 papers

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

The AHU-algorithm solves the computationally difficult graph isomorphism problem for rooted trees, and does so with a linear time complexity. Although the AHU-algorithm has remained state of the art for almost 50 years, it has been…

Computational Complexity · Computer Science 2024-01-17 Anna Lindeberg

By providing a new framework, we extend previous results on locally checkable problems in bounded treewidth graphs. As a consequence, we show how to solve, in polynomial time for bounded treewidth graphs, double Roman domination and Grundy…

Discrete Mathematics · Computer Science 2023-04-04 Flavia Bonomo-Braberman , Carolina Lucía Gonzalez

We present two improved algorithms for weighted discrete $p$-center problem for tree networks with $n$ vertices. One of our proposed algorithms runs in $O(n \log n + p \log^2 n \log(n/p))$ time. For all values of $p$, our algorithm thus…

Data Structures and Algorithms · Computer Science 2016-04-27 Aritra Banik , Binay Bhattacharya , Sandip Das , Tsunehiko Kameda , Zhao Song

This work studies distributed algorithms for locally optimal load-balancing: We are given a graph of maximum degree $\Delta$, and each node has up to $L$ units of load. The task is to distribute the load more evenly so that the loads of…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-02-17 Laurent Feuilloley , Juho Hirvonen , Jukka Suomela

This paper presents constant-time and near-constant-time distributed algorithms for a variety of problems in the congested clique model. We show how to compute a 3-ruling set in expected $O(\log \log \log n)$ rounds and using this, we…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-09-12 James W. Hegeman , Sriram V. Pemmaraju , Vivek B. Sardeshmukh

We introduce the concept of a class of graphs, or more generally, relational structures, being locally tree-decomposable. There are numerous examples of locally tree-decomposable classes, among them the class of planar graphs and all…

Data Structures and Algorithms · Computer Science 2007-05-23 Markus Frick , Martin Grohe

Constructing a spanning tree of a graph is one of the most basic tasks in graph theory. We consider a relaxed version of this problem in the setting of local algorithms. The relaxation is that the constructed subgraph is a sparse spanning…

Data Structures and Algorithms · Computer Science 2021-04-28 Reut Levi , Dana Ron , Ronitt Rubinfeld

Motivated by the increasing need to understand the algorithmic foundations of distributed large-scale graph computations, we study a number of fundamental graph problems in a message-passing model for distributed computing where $k \geq 2$…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-07-07 Gopal Pandurangan , Peter Robinson , Michele Scquizzato

We investigate the complexity of several fundamental polynomial-time solvable problems on graphs and on matrices, when the given instance has low treewidth; in the case of matrices, we consider the treewidth of the graph formed by non-zero…

Data Structures and Algorithms · Computer Science 2015-11-05 Fedor V. Fomin , Daniel Lokshtanov , Michał Pilipczuk , Saket Saurabh , Marcin Wrochna

This paper tightens the best known analysis of Hein's 1989 algorithm to infer the topology of a weighted tree based on the lengths of paths between its leaves. It shows that the number of length queries required for a degree-$k$ tree of $n$…

Data Structures and Algorithms · Computer Science 2024-12-05 Jack Gardiner , Lachlan L. H. Andrew , Junhao Gan , Jean Honorio , Seeun William Umboh

We establish that every monadic second-order logic (MSO) formula on graphs with bounded treedepth is decidable in a constant number of rounds within the CONGEST model. To our knowledge, this marks the first meta-theorem regarding…

Data Structures and Algorithms · Computer Science 2024-05-07 Fedor V. Fomin , Pierre Fraigniaud , Pedro Montealegre , Ivan Rapaport , Ioan Todinca

In this paper, we present fixed-parameter tractability algorithms for both the undirected and directed versions of the Spanning Tree Isomorphism Problem, parameterized by the size $k$ of a redundant set. A redundant set is a collection of…

Data Structures and Algorithms · Computer Science 2025-08-08 Fangjian Shen , Yicheng Zheng , Wushao Wen , Hankz Hankui Zhuo

In this paper, we study three algorithmic problems involving computation trees: the optimization, solvability, and satisfiability problems. The solvability problem is concerned with recognizing computation trees that solve problems. The…

Logic in Computer Science · Computer Science 2025-01-06 Mikhail Moshkov

For a well-studied family of domination-type problems, in bounded-treewidth graphs, we investigate whether it is possible to find faster algorithms. For sets $\sigma,\rho$ of non-negative integers, a $(\sigma,\rho)$-set of a graph $G$ is a…

Computational Complexity · Computer Science 2023-06-07 Jacob Focke , Dániel Marx , Fionn Mc Inerney , Daniel Neuen , Govind S. Sankar , Philipp Schepper , Philip Wellnitz

The last five years of research on distributed graph algorithms have seen huge leaps of progress, both regarding algorithmic improvements and impossibility results: new strong lower bounds have emerged for many central problems and…

Data Structures and Algorithms · Computer Science 2025-01-08 Sebastian Brandt , Yannic Maus , Ananth Narayanan , Florian Schager , Jara Uitto

Edit distance between trees is a natural generalization of the classical edit distance between strings, in which the allowed elementary operations are contraction, uncontraction and relabeling of an edge. Demaine et al. [ACM Trans. on…

Data Structures and Algorithms · Computer Science 2018-04-27 Bartłomiej Dudek , Paweł Gawrychowski

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

The maximum/minimum bisection problems are, given an edge-weighted graph, to find a bipartition of the vertex set into two sets whose sizes differ by at most one, such that the total weight of edges between the two sets is…

Data Structures and Algorithms · Computer Science 2020-09-17 Tesshu Hanaka , Yasuaki Kobayashi , Taiga Sone

The Tree Evaluation Problem ($\mathsf{TreeEval}$) is a computational problem originally proposed as a candidate to prove a separation between complexity classes $\mathsf{P}$ and $\mathsf{L}$. Recently, this problem has gained significant…

Computational Complexity · Computer Science 2026-04-09 Vahid R. Asadi , Richard Cleve
‹ Prev 1 3 4 5 6 7 10 Next ›