## Abstract

In the Strongly Connected Steiner Subgraph problem, we are given an n-vertex digraph D, a weight function w: A(D) ↦ R^{+} on the arc set of D, and a set of k terminals Q⊆ V(D), and our objective is to find a strongly connected subgraph of D containing Q with minimum total weight. The problem is known to be W[1]-hard on general digraphs. However on bi-directed graphs (digraphs where, if uv is an arc then so is vu) with symmetric weight function w: A(D) ↦ R^{+} (i.e., w(uv) = w(vu) for any uv∈ A(D) ), Chitnis, Feldmann and Manurangsi [TALG 2021] showed that the problem is fixed parameter tractable (FPT) with running time 2O(k2)nO(1), where n is the input length. They also show that, unless the Exponential Time Hypothesis (ETH) fails, there is no algorithm for the problem on bi-directed graphs with running time 2 ^{o} ^{(} ^{k} ^{)}n^{O} ^{(} ^{1} ^{)}. They left the existence of a single-exponential in k time algorithm as an open problem. We resolve this question, by designing an algorithm for the problem running in time 2 ^{O} ^{(} ^{k} ^{)}n^{O} ^{(} ^{1} ^{)} that is asymptotically tight under ETH, thereby closing the gap between the upper and lower-bounds for this problem. Chitnis, Feldmann and Manurangsi [TALG 2021] showed that an optimum solution to this problem can always be described by a collection of trees, that are mapped to the input graph via homomorphisms, and glued together at the terminal vertices. This structural result allows us to design an algorithm via the combination of a Dreyfus-Wagner style dynamic programming algorithm and the notion of representative sets over linear matroids.

Original language | English |
---|---|

Title of host publication | Algorithms and Data Structures - 18th International Symposium, WADS 2023, Proceedings |

Editors | Pat Morin, Subhash Suri |

Publisher | Springer Science and Business Media Deutschland GmbH |

Pages | 588-604 |

Number of pages | 17 |

ISBN (Print) | 9783031389054 |

DOIs | |

State | Published - 1 Jan 2023 |

Event | 18th International Symposium on Algorithms and Data Structures, WADS 2023 - Montreal, Canada Duration: 31 Jul 2023 → 2 Aug 2023 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Volume | 14079 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Conference

Conference | 18th International Symposium on Algorithms and Data Structures, WADS 2023 |
---|---|

Country/Territory | Canada |

City | Montreal |

Period | 31/07/23 → 2/08/23 |

## Keywords

- FPT
- Graph Connectivity
- Matroids
- Representative Family

## ASJC Scopus subject areas

- Theoretical Computer Science
- General Computer Science