English
Related papers

Related papers: Space-Efficient Vertex Separators for Treewidth

200 papers

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

In [1], a new construction called red-black hierarchy characterizing Laman graphs and an algorithm for computing it were presented. For a Laman graph G=(V,E) with n vertices it runs in O(n^2) time assuming that a partition of (V,E+e) into…

Computational Geometry · Computer Science 2008-02-29 Sergey Bereg

It is shown that every tree of size $n$ over a fixed set of $\sigma$ different ranked symbols can be decomposed (in linear time as well as in logspace) into $O\big(\frac{n}{\log_\sigma n}\big) = O\big(\frac{n \log \sigma}{\log n}\big)$ many…

Data Structures and Algorithms · Computer Science 2015-09-22 Moses Ganardi , Danny Hucke , Artur Jez , Markus Lohrey , Eric Noeth

Given a graph of which the n vertices form a regular two-dimensional grid, and in which each (possibly weighted and/or directed) edge connects a vertex to one of its eight neighbours, the following can be done in O(scan(n)) I/Os, provided M…

Data Structures and Algorithms · Computer Science 2012-11-12 Herman Haverkort

We present the first optimal randomized algorithm for constructing the order-$k$ Voronoi diagram of $n$ points in two dimensions. The expected running time is $O(n\log n + nk)$, which improves the previous, two-decades-old result of Ramos…

Computational Geometry · Computer Science 2023-10-25 Timothy M. Chan , Pingan Cheng , Da Wei Zheng

We give an algorithm that given a graph $G$ with $n$ vertices and $m$ edges and an integer $k$, in time $O_k(n^{1+o(1)}) + O(m)$ either outputs a rank decomposition of $G$ of width at most $k$ or determines that the rankwidth of $G$ is…

Data Structures and Algorithms · Computer Science 2024-02-20 Tuukka Korhonen , Marek Sokołowski

Tree decompositions were developed by Robertson and Seymour. Since then algorithms have been developed to solve intractable problems efficiently for graphs of bounded treewidth. In this paper we extend tree decompositions to allow cycles to…

Data Structures and Algorithms · Computer Science 2007-05-23 Melanie J. Agnew , Christopher M. Homan

We show two results related to the Hamiltonicity and $k$-Path algorithms in undirected graphs by Bj\"orklund [FOCS'10], and Bj\"orklund et al., [arXiv'10]. First, we demonstrate that the technique used can be generalized to finding some…

Data Structures and Algorithms · Computer Science 2015-02-24 Andreas Björklund , Vikram Kamat , Łukasz Kowalik , Meirav Zehavi

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

In this paper we give upper bounds on the number of minimal separators and potential maximal cliques of graphs w.r.t. two graph parameters, namely vertex cover ($\operatorname{vc}$) and modular width ($\operatorname{mw}$). We prove that for…

Data Structures and Algorithms · Computer Science 2014-04-16 Fedor V. Fomin , Mathieu Liedloff , Pedro Montealegre , Ioan Todinca

We study treewidth sparsifiers. Informally, given a graph $G$ of treewidth $k$, a treewidth sparsifier $H$ is a minor of $G$, whose treewidth is close to $k$, $|V(H)|$ is small, and the maximum vertex degree in $H$ is bounded. Treewidth…

Data Structures and Algorithms · Computer Science 2014-10-07 Chandra Chekuri , Julia Chuzhoy

Linear rankwidth is a linearized variant of rankwidth, introduced by Oum and Seymour [Approximating clique-width and branch-width. J. Combin. Theory Ser. B, 96(4):514--528, 2006]. Motivated from recent development on graph modification…

Data Structures and Algorithms · Computer Science 2016-01-13 Mamadou Moustapha Kanté , Eun Jung Kim , O-joung Kwon , Christophe Paul

The Minimum Size Tree Decomposition (MSTD) and Minimum Size Path Decomposition (MSPD) problems ask for a given n-vertex graph G and integer k, what is the minimum number of bags of a tree decomposition (respectively, path decomposition) of…

Data Structures and Algorithms · Computer Science 2016-05-05 Hans L. Bodlaender , Jesper Nederlof

The study of structural graph width parameters like tree-width, clique-width and rank-width has been ongoing during the last five decades, and their algorithmic use has also been increasing [Cygan et al., 2015]. New width parameters…

Data Structures and Algorithms · Computer Science 2025-01-23 Flavia Bonomo-Braberman , Eric Brandwein , Carolina Lucía González , Agustín Sansone

The recently introduced graph parameter tree-cut width plays a similar role with respect to immersions as the graph parameter treewidth plays with respect to minors. In this paper, we provide the first algorithmic applications of tree-cut…

Data Structures and Algorithms · Computer Science 2022-06-03 Robert Ganian , Eun Jung Kim , Stefan Szeider

Given $n$ subspaces of a finite-dimensional vector space over a fixed finite field $\mathbb F$, we wish to find a "branch-decomposition" of these subspaces of width at most $k$ that is a subcubic tree $T$ with $n$ leaves mapped bijectively…

Discrete Mathematics · Computer Science 2022-10-05 Jisu Jeong , Eun Jung Kim , Sang-il Oum

The future of main memory appears to lie in the direction of new technologies that provide strong capacity-to-performance ratios, but have write operations that are much more expensive than reads in terms of latency, bandwidth, and energy.…

Data Structures and Algorithms · Computer Science 2017-10-10 Naama Ben-David , Guy E. Blelloch , Jeremy T. Fineman , Phillip B. Gibbons , Yan Gu , Charles McGuffey , Julian Shun

We show that for every $r \ge 2$ there exists $\epsilon_r > 0$ such that any $r$-uniform hypergraph with $m$ edges and maximum vertex degree $o(\sqrt{m})$ contains a set of at most $(\frac{1}{2} - \epsilon_r)m$ edges the removal of which…

Logic in Computer Science · Computer Science 2023-06-22 Michal Koucký , Vojtěch Rödl , Navid Talebanfard

We give new decomposition theorems for classes of graphs that can be transduced in first-order logic from classes of sparse graphs -- more precisely, from classes of bounded expansion and from nowhere dense classes. In both cases, the…

Logic in Computer Science · Computer Science 2022-01-27 Jan Dreier , Jakub Gajarský , Sandra Kiefer , Michał Pilipczuk , Szymon Toruńczyk

We consider a new Steiner tree problem, called vertex-cover-weighted Steiner tree problem. This problem defines the weight of a Steiner tree as the minimum weight of vertex covers in the tree, and seeks a minimum-weight Steiner tree in a…

Data Structures and Algorithms · Computer Science 2018-08-08 Takuro Fukunaga , Takanori Maehara