English
Related papers

Related papers: A Logic-based Algorithmic Meta-Theorem for Treedep…

200 papers

We study the Requirement Cut problem, a generalization of numerous classical graph partitioning problems including Multicut, Multiway Cut, $k$-Cut, and Steiner Multicut among others. Given a graph with edge costs, terminal groups $(S_1,…

Data Structures and Algorithms · Computer Science 2025-11-25 Nadym Mallek , Kirill Simonov

Our main result is a full classification, for every connected graph $H$, of the computational complexity of Steiner Forest on $H$-subgraph-free graphs. To obtain this dichotomy, we establish the following new algorithmic, hardness, and…

An outerstring graph is the intersection graph of curves lying inside a disk with one endpoint on the boundary of the disk. We show that an outerstring graph with $n$ vertices has treewidth $O(\alpha\log n)$, where $\alpha$ denotes the…

Computational Geometry · Computer Science 2024-06-26 Shinwoo An , Eunjin Oh , Jie Xue

We initiate the algorithmic study of retracting a graph into a cycle in the graph, which seeks a mapping of the graph vertices to the cycle vertices, so as to minimize the maximum stretch of any edge, subject to the constraint that the…

Data Structures and Algorithms · Computer Science 2019-04-29 Samuel Haney , Mehraneh Liaee , Bruce M. Maggs , Debmalya Panigrahi , Rajmohan Rajaraman , Ravi Sundaram

A dynamic graph algorithm is a data structure that answers queries about a property of the current graph while supporting graph modifications such as edge insertions and deletions. Prior work has shown strong conditional lower bounds for…

Data Structures and Algorithms · Computer Science 2023-01-30 Monika Henzinger , Ami Paz , A. R. Sricharan

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 locality of a graph problem is the smallest distance $T$ such that each node can choose its own part of the solution based on its radius-$T$ neighborhood. In many settings, a graph problem can be solved efficiently with a distributed or…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-14 Yi-Jun Chang , Jan Studený , Jukka Suomela

Reachability is the problem of deciding whether there is a path from one vertex to the other in the graph. Standard graph traversal algorithms such as DFS and BFS take linear time to decide reachability however their space complexity is…

Computational Complexity · Computer Science 2019-02-06 Rahul Jain , Raghunath Tewari

Vertex deletion and edge deletion problems play a central role in Parameterized Complexity. Examples include classical problems like Feedback Vertex Set, Odd Cycle Transversal, and Chordal Deletion. Interestingly, the study of edge…

Data Structures and Algorithms · Computer Science 2011-04-20 Pinar Heggernes , Pim van 't Hof , Benjamin Lévêque , Daniel Lokshtanov , Christophe Paul

We consider several problems related to packing forests in graphs. The first one is to find $k$ edge-disjoint forests in a directed graph $G$ of maximal size such that the indegree of each vertex in these forests is at most $k$. We describe…

Data Structures and Algorithms · Computer Science 2026-01-26 Pavel Arkhipov , Vladimir Kolmogorov

Recent research revealed the existence of gaps in the complexity landscape of locally checkable labeling (LCL) problems in the LOCAL model of distributed computing. For example, the deterministic round complexity of any LCL problem on…

Data Structures and Algorithms · Computer Science 2020-09-22 Yi-Jun Chang

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 study two fundamental decremental dynamic graph problems. In both problems, we need to maintain a vertex-weighted forest of size $n$ under edge deletions, weight updates, and a certain information-retrieval query. Both problems can be…

Data Structures and Algorithms · Computer Science 2026-05-08 Benjamin Aram Berendsohn , Marek Sokołowski

In heap-based languages, knowing that a variable x points to an acyclic data structure is useful for analyzing termination: this information guarantees that the depth of the data structure to which x points is greater than the depth of the…

Programming Languages · Computer Science 2014-05-20 Damiano Zanardini , Samir Genaim

In this paper we give fast distributed graph algorithms for detecting and listing small subgraphs, and for computing or approximating the girth. Our algorithms improve upon the state of the art by polynomial factors, and for girth, we…

Data Structures and Algorithms · Computer Science 2021-01-20 Keren Censor-Hillel , Orr Fischer , Tzlil Gonen , François Le Gall , Dean Leitersdorf , Rotem Oshman

We present a scalable approach for range and $k$ nearest neighbor queries under computationally expensive metrics, like the continuous Fr\'echet distance on trajectory data. Based on clustering for metric indexes, we obtain a dynamic tree…

Computational Geometry · Computer Science 2021-12-14 Joachim Gudmundsson , Michael Horton , John Pfeifer , Martin P. Seybold

Given two rooted, ordered, and labeled trees $P$ and $T$ the tree inclusion problem is to determine if $P$ can be obtained from $T$ by deleting nodes in $T$. This problem has recently been recognized as an important query primitive in XML…

Data Structures and Algorithms · Computer Science 2011-01-19 Philip Bille , Inge Li Goertz

At IPEC 2020, Bergougnoux, Bonnet, Brettell, and Kwon showed that a number of problems related to the classic Feedback Vertex Set (FVS) problem do not admit a $2^{o(k \log k)} \cdot n^{\mathcal{O}(1)}$-time algorithm on graphs of treewidth…

Discrete Mathematics · Computer Science 2021-07-01 Hugo Jacob , Thomas Bellitto , Oscar Defrain , Marcin Pilipczuk

In this paper we propose and study a new complexity model for approximation algorithms. The main motivation are practical problems over large data sets that need to be solved many times for different scenarios, e.g., many multicast trees…

Data Structures and Algorithms · Computer Science 2010-06-18 Marek Cygan , Lukasz Kowalik , Marcin Mucha , Marcin Pilipczuk , Piotr Sankowski

We prove complex contraction for zero-free regions of counting weighted set cover problem in which an element can appear in an unbounded number of sets, thus obtaining fully polynomial-time approximation schemes(FPTAS) via Barvinok's…

Data Structures and Algorithms · Computer Science 2022-01-03 Liang Li , Guangzeng Xie