TY - JOUR
T1 - A Tight Algorithm for Strongly Connected Steiner Subgraph on Two Terminals with Demands
AU - Chitnis, Rajesh
AU - Esfandiari, Hossein
AU - Hajiaghayi, Mohammad Taghi
AU - Khandekar, Rohit
AU - Kortsarz, Guy
AU - Seddighin, Saeed
N1 - Publisher Copyright:
© 2016, Springer Science+Business Media New York.
PY - 2017/4/1
Y1 - 2017/4/1
N2 - Given an edge-weighted directed graph G= (V, E) on n vertices and a set T= { t1, t2, … , tp} of p terminals, the objective of the Strongly Connected Steiner Subgraph (p-SCSS) problem is to find an edge set H⊆ E of minimum weight such that G[H] contains an ti→ tj path for each 1 ≤ i≠ j≤ p. The p-SCSS problem is NP-hard, but Feldman and Ruhl [FOCS ’99; SICOMP ’06] gave a novel nO(p) time algorithm. In this paper, we investigate the computational complexity of a variant of 2-SCSS where we have demands for the number of paths between each terminal pair. Formally, the 2 -SCSS-(k1, k2) problem is defined as follows: given an edge-weighted directed graph G= (V, E) with weight function ω: E→ R≥ 0, two terminal vertices s, t, and integers k1, k2; the objective is to find a set of k1 paths F1,F2,…,Fk1 from s⇝ t and k2 paths B1,B2,…,Bk2 from t⇝ s such that ∑ e∈Eω(e) · ϕ(e) is minimized, where ϕ(e)=max{|{i∈[k1]:e∈Fi}|,|{j∈[k2]:e∈Bj}|}. For each k≥ 1 , we show the following:The 2 -SCSS-(k, 1) problem can be solved in time nO(k).A matching lower bound for our algorithm: the 2 -SCSS-(k, 1) problem does not have an f(k) · no(k) time algorithm for any computable function f, unless the Exponential Time Hypothesis fails. Our algorithm for 2 -SCSS-(k, 1) relies on a structural result regarding an optimal solution followed by using the idea of a “token game” similar to that of Feldman and Ruhl. We show with an example that the structural result does not hold for the 2 -SCSS-(k1, k2) problem if min { k1, k2} ≥ 2. Therefore 2 -SCSS-(k, 1) is the most general problem one can attempt to solve with our techniques. To obtain the lower bound matching the algorithm, we reduce from a special variant of the Grid Tiling problem introduced by Marx [FOCS ’07; ICALP ’12].
AB - Given an edge-weighted directed graph G= (V, E) on n vertices and a set T= { t1, t2, … , tp} of p terminals, the objective of the Strongly Connected Steiner Subgraph (p-SCSS) problem is to find an edge set H⊆ E of minimum weight such that G[H] contains an ti→ tj path for each 1 ≤ i≠ j≤ p. The p-SCSS problem is NP-hard, but Feldman and Ruhl [FOCS ’99; SICOMP ’06] gave a novel nO(p) time algorithm. In this paper, we investigate the computational complexity of a variant of 2-SCSS where we have demands for the number of paths between each terminal pair. Formally, the 2 -SCSS-(k1, k2) problem is defined as follows: given an edge-weighted directed graph G= (V, E) with weight function ω: E→ R≥ 0, two terminal vertices s, t, and integers k1, k2; the objective is to find a set of k1 paths F1,F2,…,Fk1 from s⇝ t and k2 paths B1,B2,…,Bk2 from t⇝ s such that ∑ e∈Eω(e) · ϕ(e) is minimized, where ϕ(e)=max{|{i∈[k1]:e∈Fi}|,|{j∈[k2]:e∈Bj}|}. For each k≥ 1 , we show the following:The 2 -SCSS-(k, 1) problem can be solved in time nO(k).A matching lower bound for our algorithm: the 2 -SCSS-(k, 1) problem does not have an f(k) · no(k) time algorithm for any computable function f, unless the Exponential Time Hypothesis fails. Our algorithm for 2 -SCSS-(k, 1) relies on a structural result regarding an optimal solution followed by using the idea of a “token game” similar to that of Feldman and Ruhl. We show with an example that the structural result does not hold for the 2 -SCSS-(k1, k2) problem if min { k1, k2} ≥ 2. Therefore 2 -SCSS-(k, 1) is the most general problem one can attempt to solve with our techniques. To obtain the lower bound matching the algorithm, we reduce from a special variant of the Grid Tiling problem introduced by Marx [FOCS ’07; ICALP ’12].
KW - Directed graphs
KW - Exponential time hypothesis
KW - FPT algorithms
KW - Strongly connected Steiner subgraph
UR - http://www.scopus.com/inward/record.url?scp=84962257824&partnerID=8YFLogxK
U2 - 10.1007/s00453-016-0145-8
DO - 10.1007/s00453-016-0145-8
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84962257824
SN - 0178-4617
VL - 77
SP - 1216
EP - 1239
JO - Algorithmica
JF - Algorithmica
IS - 4
ER -