English
Related papers

Related papers: Faster Algorithms for Quantitative Verification in…

200 papers

It is well known that the treewidth of a graph $G$ corresponds to the node search number where a team of cops is pursuing a robber that is lazy, visible and has the ability to move at infinite speed via unguarded path. In recent papers,…

Data Structures and Algorithms · Computer Science 2021-01-28 Guillaume Mescoff , Christophe Paul , Dimitrios Thilikos

We consider the problem of finding a subgraph of a given graph which minimizes the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already when all functions are the same, we show that it…

Combinatorics · Mathematics 2023-05-30 Shmuel Onn

Vertex Integrity is a graph measure which sits squarely between two more well-studied notions, namely vertex cover and tree-depth, and that has recently gained attention as a structural graph parameter. In this paper we investigate the…

Computational Complexity · Computer Science 2024-12-04 Michael Lampis , Valia Mitsou

We give two fully dynamic algorithms that maintain a $(1+\varepsilon)$-approximation of the weight $M$ of a minimum spanning forest (MSF) of an $n$-node graph $G$ with edges weights in $[1,W]$, for any $\varepsilon>0$. (1) Our deterministic…

Data Structures and Algorithms · Computer Science 2021-09-29 Monika Henzinger , Pan Peng

We study the Maximum Cardinality Matching (MCM) and the Maximum Weight Matching (MWM) problems, on trees and on some special classes of graphs, in the Online Preemptive and the Incremental Dynamic Graph models. In the {\em Online…

Data Structures and Algorithms · Computer Science 2018-01-23 Sumedh Tirodkar , Sundar Vishwanathan

We develop a framework for applying treewidth-based dynamic programming on graphs with "hybrid structure", i.e., with parts that may not have small treewidth but instead possess other structural properties. Informally, this is achieved by…

Data Structures and Algorithms · Computer Science 2019-08-28 Eduard Eiben , Robert Ganian , Thekla Hamm , O-joung Kwon

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

The mim-width of a graph is a powerful structural parameter that, when bounded by a constant, allows several hard problems to be polynomial-time solvable - with a recent meta-theorem encompassing a large class of problems [SODA2023]. Since…

Discrete Mathematics · Computer Science 2025-12-09 Max Dupré la Tour , Manuel Lafond , Ndiamé Ndiaye

In the \textsc{Waypoint Routing Problem} one is given an undirected capacitated and weighted graph $G$, a source-destination pair $s,t\in V(G)$ and a set $W\subseteq V(G)$, of \emph{waypoints}. The task is to find a walk which starts at the…

Data Structures and Algorithms · Computer Science 2021-09-27 Šimon Schierreich , Ondřej Suchý

For the vast majority of local graph problems standard dynamic programming techniques give c^tw V^O(1) algorithms, where tw is the treewidth of the input graph. On the other hand, for problems with a global requirement (usually…

Data Structures and Algorithms · Computer Science 2011-03-03 Marek Cygan , Jesper Nederlof , Marcin Pilipczuk , Michał Pilipczuk , Johan van Rooij , Jakub Onufry Wojtaszczyk

We investigate how efficiently a well-studied family of domination-type problems can be solved on bounded-treewidth graphs. For sets $\sigma,\rho$ of non-negative integers, a $(\sigma,\rho)$-set of a graph $G$ is a set $S$ of vertices such…

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

In the classical facility location problem we consider a graph $G$ with fixed weights on the edges of $G$. The goal is then to find an optimal positioning for a set of facilities on the graph with respect to some objective function. We…

Data Structures and Algorithms · Computer Science 2014-06-10 Boaz Ben-Moshe , Michael Elkin , Lee-Ad Gottlieb , Eran Omri

We give a 2-approximation algorithm for Non-Uniform Sparsest Cut that runs in time $n^{O(k)}$, where $k$ is the treewidth of the graph. This improves on the previous $2^{2^k}$-approximation in time $\poly(n) 2^{O(k)}$ due to Chlamt\'a\v{c}…

Data Structures and Algorithms · Computer Science 2013-05-08 Anupam Gupta , Kunal Talwar , David Witmer

The {\em maximum cardinality} and {\em maximum weight matching} problems can be solved in time $\tilde{O}(m\sqrt{n})$, a bound that has resisted improvement despite decades of research. (Here $m$ and $n$ are the number of edges and…

Data Structures and Algorithms · Computer Science 2011-12-06 Ran Duan , Seth Pettie , Hsin-Hao Su

It has recently been shown that starting with a classical query algorithm (decision tree) and a guessing algorithm that tries to predict the query answers, we can design a quantum algorithm with query complexity $O(\sqrt{GT})$ where $T$ is…

Quantum Physics · Physics 2022-10-18 Salman Beigi , Leila Taghavi , Artin Tajdini

The notion of $\mathcal{H}$-treewidth, where $\mathcal{H}$ is a hereditary graph class, was recently introduced as a generalization of the treewidth of an undirected graph. Roughly speaking, a graph of $\mathcal{H}$-treewidth at most $k$…

Data Structures and Algorithms · Computer Science 2023-06-30 Bart M. P. Jansen , Jari J. H. de Kroon , Michal Wlodarczyk

We give an algorithm to find a minimum cut in an edge-weighted directed graph with $n$ vertices and $m$ edges in $\tilde O(n\cdot \max(m^{2/3}, n))$ time. This improves on the 30 year old bound of $\tilde O(nm)$ obtained by Hao and Orlin…

Data Structures and Algorithms · Computer Science 2021-11-18 Ruoxu Cen , Jason Li , Danupon Nanongkai , Debmalya Panigrahi , Kent Quanrud , Thatchaphol Saranurak

We study the directed global minimum vertex-cut problem: given a directed vertex-weighted graph $G$, compute a vertex-cut $(L,S,R)$ in $G$ of minimum value, which is defined to be the total weight of all vertices in $S$. The problem,…

Data Structures and Algorithms · Computer Science 2026-01-01 Julia Chuzhoy , Ron Mosenzon , Ohad Trabelsi

In the minimum $k$-cut problem, we want to find the minimum number of edges whose deletion breaks the input graph into at least $k$ connected components. The classic algorithm of Karger and Stein runs in $\tilde O(n^{2k-2})$ time, and…

Data Structures and Algorithms · Computer Science 2021-12-02 Zhiyang He , Jason Li

An edge-weighted graph $G=(V,E)$ is called stable if the value of a maximum-weight matching equals the value of a maximum-weight fractional matching. Stable graphs play an important role in some interesting game theory problems, such as…

Data Structures and Algorithms · Computer Science 2017-11-28 Zhuan Khye Koh , Laura Sanità