Tight Bounds for Planar Strongly Connected Steiner Subgraph with Fixed Number of Terminals (and Extensions)

11/29/2019
by   Rajesh Chitnis, et al.
0

(see paper for full abstract) Given a vertex-weighted directed graph G=(V,E) and a set T={t_1, t_2, ... t_k} of k terminals, the objective of the SCSS problem is to find a vertex set H⊆ V of minimum weight such that G[H] contains a t_i→ t_j path for each i≠ j. The problem is NP-hard, but Feldman and Ruhl [FOCS '99; SICOMP '06] gave a novel n^O(k) algorithm for the SCSS problem, where n is the number of vertices in the graph and k is the number of terminals. We explore how much easier the problem becomes on planar directed graphs: - Our main algorithmic result is a 2^O(k)· n^O(√(k)) algorithm for planar SCSS, which is an improvement of a factor of O(√(k)) in the exponent over the algorithm of Feldman and Ruhl. - Our main hardness result is a matching lower bound for our algorithm: we show that planar SCSS does not have an f(k)· n^o(√(k)) algorithm for any computable function f, unless the Exponential Time Hypothesis (ETH) fails. The following additional results put our upper and lower bounds in context: - In general graphs, we cannot hope for such a dramatic improvement over the n^O(k) algorithm of Feldman and Ruhl: assuming ETH, SCSS in general graphs does not have an f(k)· n^o(k/log k) algorithm for any computable function f. - Feldman and Ruhl generalized their n^O(k) algorithm to the more general Directed Steiner Network (DSN) problem; here the task is to find a subgraph of minimum weight such that for every source s_i there is a path to the corresponding terminal t_i. We show that, assuming ETH, there is no f(k)· n^o(k) time algorithm for DSN on acyclic planar graphs.

READ FULL TEXT
research
02/22/2018

Complexity of the Steiner Network Problem with Respect to the Number of Terminals

In the Directed Steiner Network problem we are given an arc-weighted dig...
research
08/11/2022

Subexponential Parameterized Directed Steiner Network Problems on Planar Graphs: a Complete Classification

In the Directed Steiner Network problem, the input is a directed graph G...
research
11/11/2020

Counting Homomorphic Cycles in Degenerate Graphs

Since computing most variants of the subgraph counting problem in genera...
research
09/11/2020

2D Fractional Cascading on Axis-aligned Planar Subdivisions

Fractional cascading is one of the influential techniques in data struct...
research
01/28/2020

The Complexity of Contracting Planar Tensor Network

Tensor networks have been an important concept and technique in many res...
research
08/17/2020

W[1]-Hardness of the k-Center Problem Parameterized by the Skeleton Dimension

In the k-Center problem, we are given a graph G=(V,E) with positive edge...
research
10/09/2019

Minimum Cuts in Surface Graphs

We describe algorithms to efficiently compute minimum (s,t)-cuts and glo...

Please sign up or login with your details

Forgot password? Click here to reset