English
Related papers

Related papers: Distributed Treewidth Computation and Courcelle's …

200 papers

In the minimum $k$-edge-connected spanning subgraph ($k$-ECSS) problem the goal is to find the minimum weight subgraph resistant to up to $k-1$ edge failures. This is a central problem in network design, and a natural generalization of the…

Data Structures and Algorithms · Computer Science 2018-05-22 Michal Dory

Brambles were introduced as the dual notion to treewidth, one of the most central concepts of the graph minor theory of Robertson and Seymour. Recently, Grohe and Marx showed that there are graphs G, in which every bramble of order larger…

Discrete Mathematics · Computer Science 2009-07-20 Stephan Kreutzer , Siamak Tazari

A class of graph languages is definable in Monadic Second-Order logic (MSO) if and only if it consists of sets of models of MSO formul{\ae}. If, moreover, there is a computable bound on the tree-widths of the graphs in each such set, the…

Logic in Computer Science · Computer Science 2024-02-27 Lucas Bueri , Radu Iosif , Florian Zuleger

In $d$-Scattered Set we are given an (edge-weighted) graph and are asked to select at least $k$ vertices, so that the distance between any pair is at least $d$, thus generalizing Independent Set. We provide upper and lower bounds on the…

Computational Complexity · Computer Science 2018-11-13 Ioannis Katsikarelis , Michael Lampis , Vangelis Th. Paschos

We show that, for any graph optimization problem in which the feasible solutions can be expressed by a formula in monadic second-order logic describing sets of vertices or edges and in which the goal is to minimize the sum of the weights in…

Data Structures and Algorithms · Computer Science 2017-03-09 David Eppstein , Denis Kurz

For a fixed finite collection of graphs ${\cal F}$, the ${\cal F}$-M-DELETION problem asks, given an $n$-vertex input graph $G,$ for the minimum number of vertices that intersect all minor models in $G$ of the graphs in ${\cal F}$. by…

Data Structures and Algorithms · Computer Science 2021-03-12 Julien Baste , Ignasi Sau , Dimitrios M. Thilikos

Parameterized complexity seeks to use input structure to obtain faster algorithms for NP-hard problems. This has been most successful for graphs of low treewidth: Many problems admit fast algorithms relative to treewidth and many of them…

Computational Complexity · Computer Science 2022-12-20 Falko Hegerfeld , Stefan Kratsch

Tree-decompositions and treewidth are of fundamental importance in structural and algorithmic graph theory. The "spread" of a tree-decomposition is the minimum integer $s$ such that every vertex lies in at most $s$ bags. A…

Combinatorics · Mathematics 2026-04-08 Marc Distel , Neel Kaul , Raj Kaul , David R. Wood

We study the problem of computing approximate minimum edge cuts by distributed algorithms. We use a standard synchronous message passing model where in each round, $O(\log n)$ bits can be transmitted over each edge (a.k.a. the CONGEST…

Data Structures and Algorithms · Computer Science 2013-11-21 Mohsen Ghaffari , Fabian Kuhn

We study local aggregation and graph analysis in distributed environments using the message passing model. We provide a flexible framework, where each of the nodes in a set $S$--which is a subset of all nodes in the network--can perform a…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-05-24 Benjamin Dissler , Stephan Holzer , Roger Wattenhofer

We present near-optimal algorithms for detecting small vertex cuts in the CONGEST model of distributed computing. Despite extensive research in this area, our understanding of the vertex connectivity of a graph is still incomplete,…

Data Structures and Algorithms · Computer Science 2023-06-21 Merav Parter , Asaf Petruschka

For an undirected graph G, we consider the following problems: given a fixed graph H, can we partition the vertices of G into two non-empty sets A and B such that neither the induced graph G[A] nor G[B] contain H (i) as a subgraph? (ii) as…

Data Structures and Algorithms · Computer Science 2018-04-12 N. R. Aravind , Subrahmanyam Kalyanasundaram , Anjeneya Swami Kare

The notion of directed treewidth was introduced by Johnson, Robertson, Seymour and Thomas [Journal of Combinatorial Theory, Series B, Vol 82, 2001] as a first step towards an algorithmic metatheory for digraphs. They showed that some…

Data Structures and Algorithms · Computer Science 2015-10-09 Mateus de Oliveira Oliveira

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

We consider the distributed and parallel construction of low-diameter decompositions with strong diameter for (weighted) graphs and (weighted) graphs that can be separated through $k \in \tilde{O}(1)$ shortest paths. This class of graphs…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-02 Jinfeng Dou , Thorsten Götte , Henning Hillebrandt , Christian Scheideler , Julian Werthmann

We study the distributed minimum spanning tree (MST) problem, a fundamental problem in distributed computing. It is well-known that distributed MST can be solved in $\tilde{O}(D+\sqrt{n})$ rounds in the standard CONGEST model (where $n$ is…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-12-20 John Augustine , William K. Moses , Gopal Pandurangan

The minimum degree spanning tree (MDST) problem requires the construction of a spanning tree $T$ for graph $G=(V,E)$ with $n$ vertices, such that the maximum degree $d$ of $T$ is the smallest among all spanning trees of $G$. In this paper,…

Data Structures and Algorithms · Computer Science 2018-06-12 Michael Dinitz , Magnús M. Halldórsson , Calvin Newport

We investigate the computation of minimum-cost spanning trees satisfying prescribed vertex degree constraints: Given a graph $G$ and a constraint function $D$, we ask for a (minimum-cost) spanning tree $T$ such that for each vertex $v$, $T$…

Data Structures and Algorithms · Computer Science 2026-05-05 Narek Bojikian , Alexander Firbas , Robert Ganian , Hung P. Hoang , Krisztina Szilágyi

We present a data structure that for a dynamic graph $G$ that is updated by edge insertions and deletions, maintains a tree decomposition of $G$ of width at most $6k+5$ under the promise that the treewidth of $G$ never grows above $k$. The…

Data Structures and Algorithms · Computer Science 2023-04-05 Tuukka Korhonen , Konrad Majewski , Wojciech Nadara , Michał Pilipczuk , Marek Sokołowski

We study smoothed analysis of distributed graph algorithms, focusing on the fundamental minimum spanning tree (MST) problem. With the goal of studying the time complexity of distributed MST as a function of the "perturbation" of the input…

Data Structures and Algorithms · Computer Science 2019-11-11 Soumyottam Chatterjee , Gopal Pandurangan , Nguyen Dinh Pham