TY - GEN
T1 - On the Parameterized Complexity of the Connected Flow and Many Visits TSP Problem
AU - Mannens, Isja
AU - Nederlof, Jesper
AU - Swennenhuis, Céline M. F.
AU - Szilágyi, Krisztina
PY - 2021
Y1 - 2021
N2 - 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⊆ V(G) with demands dem: D→ N, and costs and capacities for each edge. The goal is to find a minimum cost flow that satisfies the demands, respects the capacities and induces a (strongly) connected subgraph. This generalizes previously studied problems like the (Many Visits) TSP. We study the parameterized complexity of Connected Flow parameterized by |D|, the treewidth tw and by vertex cover size k of G and provide: 1.NP-completeness already for the case | D| = 2 with only unit demands and capacities and no edge costs, and fixed-parameter tractability if there are no capacities,2.a fixed-parameter tractable O ⋆(k O ( k )) time algorithm for the general case, and a kernel of size polynomial in k for the special case of Many Visits TSP,3.a | V(G) | O ( t w ) time algorithm and a matching | V(G) | o ( t w ) time conditional lower bound conditioned on the Exponential Time Hypothesis. To achieve some of our results, we significantly extend an approach by Kowalik et al. [ESA’20].
AB - 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⊆ V(G) with demands dem: D→ N, and costs and capacities for each edge. The goal is to find a minimum cost flow that satisfies the demands, respects the capacities and induces a (strongly) connected subgraph. This generalizes previously studied problems like the (Many Visits) TSP. We study the parameterized complexity of Connected Flow parameterized by |D|, the treewidth tw and by vertex cover size k of G and provide: 1.NP-completeness already for the case | D| = 2 with only unit demands and capacities and no edge costs, and fixed-parameter tractability if there are no capacities,2.a fixed-parameter tractable O ⋆(k O ( k )) time algorithm for the general case, and a kernel of size polynomial in k for the special case of Many Visits TSP,3.a | V(G) | O ( t w ) time algorithm and a matching | V(G) | o ( t w ) time conditional lower bound conditioned on the Exponential Time Hypothesis. To achieve some of our results, we significantly extend an approach by Kowalik et al. [ESA’20].
UR - https://www.scopus.com/pages/publications/85115882972
U2 - 10.1007/978-3-030-86838-3_5
DO - 10.1007/978-3-030-86838-3_5
M3 - Conference contribution
SN - 9783030868376
T3 - Lecture Notes in Computer Science
SP - 52
EP - 79
BT - Graph-Theoretic Concepts in Computer Science
A2 - Kowalik, Lukasz
A2 - Pilipczuk, Michal
A2 - Rzazewski, Pawel
PB - Springer
T2 - 47th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2021
Y2 - 23 June 2021 through 25 June 2021
ER -