English
Related papers

Related papers: Plane Decompositions as Tools for Approximation

200 papers

Fixed parameter tractable algorithms for bounded treewidth are known to exist for a wide class of graph optimization problems. While most research in this area has been focused on exact algorithms, it is hard to find decompositions of…

Data Structures and Algorithms · Computer Science 2016-10-05 Thomas Bosman

This paper presents several new tractability results for planning based on macros. We describe an algorithm that optimally solves planning problems in a class that we call inverted tree reducible, and is provably tractable for several…

Artificial Intelligence · Computer Science 2014-01-16 Anders Jonsson

Several problems that are NP-hard on general graphs are efficiently solvable on graphs with bounded treewidth. Efforts have been made to generalize treewidth and the related notion of pathwidth to digraphs. Directed treewidth, DAG-width and…

Data Structures and Algorithms · Computer Science 2026-05-22 Shiva Kintali , Nishad Kothari , Akash Kumar

We study the set of all decompositions (clusterings) of a graph through its characterization as a set of lifted multicuts. This leads us to practically relevant insights related to the definition of a class of decompositions by must-join…

Discrete Mathematics · Computer Science 2017-06-09 Andrea Horňáková , Jan-Hendrik Lange , Bjoern Andres

Control-flow graphs (CFGs) of structured programs are well known to exhibit strong sparsity properties. Traditionally, this sparsity has been modeled using graph parameters such as treewidth and pathwidth, enabling the development of faster…

Programming Languages · Computer Science 2026-02-10 Xuran Cai , Amir Goharshady , S Hitarth , Chun Kit Lam

Given a set of points in the plane, we want to establish a connection network between these points that consists of several disjoint layers. Motivated by sensor networks, we want that each layer is spanning and plane, and that no edge is…

Expander decompositions form the basis of one of the most flexible paradigms for close-to-linear-time graph algorithms. Length-constrained expander decompositions generalize this paradigm to better work for problems with lengths, distances…

Data Structures and Algorithms · Computer Science 2024-05-16 Bernhard Haeupler , D Ellis Hershkowitz , Zihan Tan

One perspective on tree decompositions is that they display (low-order) separations of the underlying graph or matroid. The separations displayed by a tree decomposition are necessarily nested. In 2013, Clark and Whittle proved the…

Combinatorics · Mathematics 2023-12-22 Ann-Kathrin Elm , Hendrik Heine

Treewidth is a measure of how tree-like a graph is. It has many important algorithmic applications because many NP-hard problems on general graphs become tractable when restricted to graphs of bounded treewidth. Algorithms for problems on…

Data Structures and Algorithms · Computer Science 2020-06-03 Johan M. M. van Rooij

The Graph Isomorphism problem restricted to graphs of bounded treewidth or bounded tree distance width are known to be solvable in polynomial time [Bod90],[YBFT99]. We give restricted space algorithms for these problems proving the…

Computational Complexity · Computer Science 2010-02-03 Bireswar Das , Jacobo Toran , Fabian Wagner

Parameterized complexity theory has lead to a wide range of algorithmic breakthroughs within the last decades, but the practicability of these methods for real-world problems is still not well understood. We investigate the practicability…

Data Structures and Algorithms · Computer Science 2018-06-28 Max Bannach , Sebastian Berndt

The theory of sparse structures usually uses tree like structures as building blocks. In the context of sparse/dense dichotomy this role is played by graphs with bounded tree depth. In this paper we survey results related to this concept…

Combinatorics · Mathematics 2016-08-09 Jaroslav Nesetril , Patrice Ossona De Mendez

The Tree Decomposition Conjecture by Bar\'at and Thomassen states that for every tree $T$ there exists a natural number $k(T)$ such that the following holds: If $G$ is a $k(T)$-edge-connected simple graph with size divisible by the size of…

Combinatorics · Mathematics 2016-03-02 Martin Merker

An algorithm is presented that solves the Minimum Dominating Set problem exactly using polynomial space based on dynamic programming for a tree decomposition. A direct application of dynamic programming based on a tree decomposition would…

Data Structures and Algorithms · Computer Science 2017-11-29 Mahdi Belbasi , Martin Fürer

In this work we study the interleaving distance between merge trees from a combinatorial point of view. We use a particular type of matching between trees to obtain a novel formulation of the distance. With such formulation, we tackle the…

Combinatorics · Mathematics 2024-11-11 Matteo Pegoraro

We present a general method of designing fast approximation algorithms for cut-based minimization problems in undirected graphs. In particular, we develop a technique that given any such problem that can be approximated quickly on trees,…

Data Structures and Algorithms · Computer Science 2010-11-09 Aleksander Madry

Tree-width has been proven to be a useful parameter to design fast and efficient algorithms for intractable problems. However, while tree-width is low on relatively sparse graphs can be arbitrary high on dense graphs. Therefore, we…

Data Structures and Algorithms · Computer Science 2021-11-04 Chris Aronis

We develop a new approach for distributed distance computation in planar graphs that is based on a variant of the metric compression problem recently introduced by Abboud et al. [SODA'18]. One of our key technical contributions is in…

Data Structures and Algorithms · Computer Science 2019-12-30 Jason Li , Merav Parter

In this paper, we propose an incremental algorithm for computing cylindrical algebraic decompositions. The algorithm consists of two parts: computing a complex cylindrical tree and refining this complex tree into a cylindrical tree in real…

Symbolic Computation · Computer Science 2012-10-23 Changbo Chen , Marc Moreno Maza

Branchwidth determines how graphs, and more generally, arbitrary connectivity (basically symmetric and submodular) functions could be decomposed into a tree-like structure by specific cuts. We develop a general framework for designing…

Data Structures and Algorithms · Computer Science 2021-11-08 Fedor V. Fomin , Tuukka Korhonen
‹ Prev 1 4 5 6 7 8 10 Next ›