Skip to main content
Article thumbnail
Location of Repository

The parameterized complexity of counting problems

By Jörg Flum and Martin Grohe

Abstract

We develop a parameterized complexity theory for counting problems. As the basis of this theory, we introduce a hierarchy of parameterized counting complexity classes #W[t], for t ≥ 1, that corresponds to Downey and Fellows’s W-hierarchy [13] and show that a few central W-completeness results for decision problems translate to #W-completeness results for the corresponding counting problems. Counting complexity gets interesting with problems whose decision version is tractable, but whose counting version is hard. Our main result states that counting cycles and paths of length k in both directed and undirected graphs, parameterized by k, is #W[1]-complete. This makes it highly unlikely that any of these problems is fixed-parameter tractable, even though their decision versions are fixed-parameter tractable. More explicitly, our result shows that most likely there is no f(k) · n c-algorithm for counting cycles or paths of length k in a graph of size n for any computable function f: N → N and constant c, even though there is a 2 O(k) · n 2.376 algorithm for finding a cycle or path of length k [2].

Year: 2013
OAI identifier: oai:CiteSeerX.psu:10.1.1.352.8911
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.stanford.edu/~rrwil... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.