English
Related papers

Related papers: Fixed-parameter tractability of counting small min…

200 papers

We study a variant of Min Cost Flow in which the flow needs to be connected. Specifically, in the Connected Flow problem one is given a directed graph $G$, along with a set of demand vertices $D \subseteq V(G)$ with demands $\mathsf{dem}: D…

Data Structures and Algorithms · Computer Science 2021-07-21 Isja Mannens , Jesper Nederlof , Céline Swennenhuis , Krisztina Szilágyi

We study the linearizability monitoring problem, which asks whether a given concurrent history of a data structure is equivalent to some sequential execution of the same data structure. In general, this problem is $\textsf{NP}$-hard, even…

Programming Languages · Computer Science 2026-05-26 Lee Zheng Han , Umang Mathur

Given a graph property $\Phi$, we consider the problem $\mathtt{EdgeSub}(\Phi)$, where the input is a pair of a graph $G$ and a positive integer $k$, and the task is to decide whether $G$ contains a $k$-edge subgraph that satisfies $\Phi$.…

Computational Complexity · Computer Science 2021-05-14 Marc Roth , Johannes Schmitt , Philip Wellnitz

In a right-angle crossing (RAC) drawing of a graph, each edge is represented as a polyline and edge crossings must occur at an angle of exactly $90^\circ$, where the number of bends on such polylines is typically restricted in some way.…

Computational Geometry · Computer Science 2023-08-24 Cornelius Brand , Robert Ganian , Sebastian Röder , Florian Schager

In the weighted partial vertex cover problem (WPVC), we are given a graph $G=(V,E)$, cost function $c:V\rightarrow N$, profit function $p:E\rightarrow N$, and positive integers $R$ and $L$. The goal is to check whether there is a subset…

Discrete Mathematics · Computer Science 2019-04-30 Vahan Mkrtchyan , Garik Petrosyan , K. Subramani

In the $k$-Cut problem, we are given an edge-weighted graph $G$ and an integer $k$, and have to remove a set of edges with minimum total weight so that $G$ has at least $k$ connected components. Prior work on this problem gives, for all $h…

Data Structures and Algorithms · Computer Science 2017-10-25 Anupam Gupta , Euiwoong Lee , Jason Li

We prove essentially tight lower bounds, conditionally to the Exponential Time Hypothesis, for two fundamental but seemingly very different cutting problems on surface-embedded graphs: the Shortest Cut Graph problem and the Multiway Cut…

Computational Complexity · Computer Science 2021-02-18 Vincent Cohen-Addad , Éric Colin de Verdière , Daniel Marx , Arnaud de Mesmay

We show an algorithm that, given an $n$-vertex graph $G$ and a parameter $k$, in time $2^{O(k \log k)} n^{O(1)}$ finds a tree decomposition of $G$ with the following properties: * every adhesion of the tree decomposition is of size at most…

Data Structures and Algorithms · Computer Science 2020-09-29 Marek Cygan , Paweł Komosa , Daniel Lokshtanov , Michał Pilipczuk , Marcin Pilipczuk , Saket Saurabh , Magnus Wahlström

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

In the Disjoint Paths problem, the input consists of an $n$-vertex graph $G$ and a collection of $k$ vertex pairs, $\{(s_i,t_i)\}_{i=1}^k$, and the objective is to determine whether there exists a collection $\{P_i\}_{i=1}^k$ of $k$…

Data Structures and Algorithms · Computer Science 2020-08-20 Daniel Lokshtanov , Saket Saurabh , Meirav Zehavi

We give query-efficient algorithms for the global min-cut and the s-t cut problem in unweighted, undirected graphs. Our oracle model is inspired by the submodular function minimization problem: on query $S \subset V$, the oracle returns the…

Data Structures and Algorithms · Computer Science 2019-08-07 Aviad Rubinstein , Tselil Schramm , S. Matthew Weinberg

Graph modification problems are typically asked as follows: is there a small set of operations that transforms a given graph to have a certain property. The most commonly considered operations include vertex deletion, edge deletion, and…

Data Structures and Algorithms · Computer Science 2014-06-02 Yixin Cao , Dániel Marx

For a family of graphs $\mathcal{G}$, the $\mathcal{G}$-\textsc{Contraction} problem takes as an input a graph $G$ and an integer $k$, and the goal is to decide if there exists $F \subseteq E(G)$ of size at most $k$ such that $G/F$ belongs…

Discrete Mathematics · Computer Science 2020-08-19 Saket Saurabh , Uéverton dos Santos Souza , Prafullkumar Tale

We continue and extend previous work on the parameterized complexity analysis of the NP-hard Stable Roommates with Ties and Incomplete Lists problem, thereby strengthening earlier results both on the side of parameterized hardness as well…

Computational Complexity · Computer Science 2021-03-09 Robert Bredereck , Klaus Heeger , Dušan Knop , Rolf Niedermeier

In this paper we study the complexity of the following problems: Given a colored graph X=(V,E,c), compute a minimum cardinality set S of vertices such that no nontrivial automorphism of X fixes all vertices in S. A closely related problem…

Computational Complexity · Computer Science 2016-06-15 V. Arvind , Frank Fuhlbrück , Johannes Köbler , Sebastian Kuhnert , Gaurav Rattan

We present a \emph{deterministic exact algorithm} for the \emph{minimum $k$-cut problem} on simple graphs. Our approach combines the \emph{principal sequence of partitions (PSP)}, derived canonically from ideal loads, with a single level of…

Data Structures and Algorithms · Computer Science 2025-12-23 Mohit Daga

The parametric global minimum cut problem concerns a graph $G = (V,E)$ where the cost of each edge is an affine function of a parameter $\mu \in \mathbb{R}^d$ for some fixed dimension $d$. We consider the problems of finding the next…

Data Structures and Algorithms · Computer Science 2019-11-28 Hassene Aissi , S. Thomas McCormick , Maurice Queyranne

Given a directed graph $G$ with arbitrary real-valued weights, the single source shortest-path problem (SSSP) asks for, given a source $s$ in $G$, finding a shortest path from $s$ to each vertex $v$ in $G$. A classical SSSP algorithm…

Data Structures and Algorithms · Computer Science 2019-03-06 Sanjiang Li , Yongming Li

We introduce FlowCutter, a novel algorithm to compute a set of edge cuts or node separators that optimize cut size and balance in the Pareto-sense. Our core algorithm solves the balanced connected st-edge-cut problem, where two given nodes…

Data Structures and Algorithms · Computer Science 2017-11-23 Michael Hamann , Ben Strasser

In a breakthrough work, Kawarabayashi and Thorup (J.~ACM'19) gave a near-linear time deterministic algorithm for minimum cut in a simple graph $G = (V,E)$. A key component is finding the $(1+\varepsilon)$-KT partition of $G$, the coarsest…

Data Structures and Algorithms · Computer Science 2021-11-03 Simon Apers , Paweł Gawrychowski , Troy Lee