## Abstract

In the Set Cover problem, the input is a ground set of n elements and a collection of m sets, and the goal is to find the smallest sub -collection of sets whose union is the entire ground set. The fastest algorithm known runs in time 0(mn2') [Fomin et al., WG 2004], and the Set Cover Conjecture (SeCoCo) [Cygan et al., TALG 2016] asserts that for every fixed s > 0, no algorithm can solve Set Cover in time 2(1 ')'poly(m), even if set sizes are bounded by A = A(s). We show strong connections between this problem and kTree, a special case of Subgraph Isomorphism where the input is an n -node graph G and a k -node tree T, and the goal is to determine whether G has a subgraph isomorphic to T. First, we propose a weaker conjecture Log-SeCoCo, that allows input sets of size L = O(1/s"log n), and show that an algorithm breaking Log-SeCoCo would imply a faster algorithm than the currently known 2'poly(n)-time algorithm [Koutis and Williams, TALG 2016] for Directed nTree, which is kTree with k = n and arbitrary directions to the edges of G and T. This would also improve the running time for Directed Hamiltonicity, for which no algorithm significantly faster than 2'poly(n) is known despite extensive research. Second, we prove that if p -Partial Cover, a parameterized version of Set Cover that requires covering at least p elements, cannot be solved significantly faster than 2'poly(m) (an assumption even weaker than Log-SeCoCo) then kTree cannot be computed significantly faster than 2k poly(n), the running time of the Koutis and Williams' algorithm.

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

Title of host publication | 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019) |

Editors | R Niedermeier, C Paul |

Number of pages | 15 |

DOIs | |

State | Published - 2019 |

Event | 36th International Symposium on Theoretical Aspects of Computer Science (STACS) - Berlin, Germany Duration: 13 Mar 2019 → 16 Mar 2019 |

### Conference

Conference | 36th International Symposium on Theoretical Aspects of Computer Science (STACS) |
---|---|

Country/Territory | Germany |

City | Berlin |

Period | 13/03/19 → 16/03/19 |