Skip to search boxSkip to navigationSkip to main content

Block interpolation: A framework for tight exponential-time counting complexity

  • Hungarian Academy of Sciences
Research Output:
Journal Article or Conference Article in Journal
Journal article
Peer-review

Open access

Publication Information

Output type

Research Output:
Journal Article or Conference Article in Journal
Journal article
Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 265-280 (16 pages)

Journal (Volume, Issue Number)

Information and Computation (Volume 261)

Publication milestones

  • Published - 08/2018

Publication status

Published - 08/2018

ISSN

0890-5401

Publication IDs

  • Scopus: 85042202811

Abstract

We devise a framework for proving tight lower bounds under the counting exponential-time hypothesis #ETH introduced by Dell et al. (2014)
[18]. Our framework allows us to convert classical #P-hardness results for counting problems into tight lower bounds under #ETH, thus ruling out algorithms with running time 2o(n) graphs with n vertices and O(n) edges. As exemplary applications of this framework, we obtain tight lower bounds under #ETH for the evaluation of the zero-one permanent, the matching polynomial, and the Tutte polynomial on all non-easy points except for one line. This remaining line was settled very recently by Brand et al. (2016)

Publication metrics

PlumX, opens in new tab

Citations
14
Captures
8