The Set Cover Conjecture and Subgraph Isomorphism with a Tree Pattern

Robert Krauthgamer, Ohad Trabelsi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish
Title of host publication36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019)
EditorsR Niedermeier, C Paul
Number of pages15
DOIs
StatePublished - 2019
Event36th International Symposium on Theoretical Aspects of Computer Science (STACS) - Berlin, Germany
Duration: 13 Mar 201916 Mar 2019

Conference

Conference36th International Symposium on Theoretical Aspects of Computer Science (STACS)
Country/TerritoryGermany
CityBerlin
Period13/03/1916/03/19

Fingerprint

Dive into the research topics of 'The Set Cover Conjecture and Subgraph Isomorphism with a Tree Pattern'. Together they form a unique fingerprint.

Cite this