Exponential time complexity of the permanent and the Tutte polynomial

H Dell, T Husfeldt, D Marx, N Taslaman… - ACM Transactions on …, 2014 - dl.acm.org
We show conditional lower bounds for well-studied# P-hard problems: The number of
satisfying assignments of a 2-CNF formula with n variables cannot be computed in time exp …

A complexity dichotomy for partition functions with mixed signs

LA Goldberg, M Grohe, M Jerrum, M Thurley - SIAM Journal on Computing, 2010 - SIAM
Partition functions, also known as homomorphism functions, form a rich family of graph
invariants that contain combinatorial invariants such as the number of k-colorings or the …

Computing the Tutte polynomial in vertex-exponential time

A Björklund, T Husfeldt, P Kaski… - 2008 49th Annual IEEE …, 2008 - ieeexplore.ieee.org
The deletion–contraction algorithm is perhapsthe most popular method for computing a host
of fundamental graph invariants such as the chromatic, flow, and reliability polynomials in …

The simple, little and slow things count: on parameterized counting complexity

R Curticapean - 2015 - publikationen.sulb.uni-saarland.de
In this thesis, we study the parameterized complexity of counting problems, as introduced by
Flum and Grohe. This area mainly involves questions of the following kind: On inputs x with …

Tight conditional lower bounds for counting perfect matchings on graphs of bounded treewidth, cliquewidth, and genus

R Curticapean, D Marx - Proceedings of the Twenty-Seventh Annual ACM …, 2016 - SIAM
By now, we have a good understanding of how NP-hard problems become easier on graphs
of bounded treewidth and bounded cliquewidth: for various problems, matching upper …

[HTML][HTML] An extension of the bivariate chromatic polynomial

I Averbouch, B Godlin, JA Makowsky - European Journal of Combinatorics, 2010 - Elsevier
K. Dohmen, A. Pönitz and P. Tittmann [K. Dohmen, A. Pönitz, P. Tittmann, A new two-
variable generalization of the chromatic polynomial, Discrete Mathematics and Theoretical …

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

R Curticapean - Information and Computation, 2018 - Elsevier
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 …

From a zoo to a zoology: Towards a general theory of graph polynomials

JA Makowsky - Theory of Computing Systems, 2008 - Springer
We outline a general theory of graph polynomials which covers all the examples we found in
the vast literature, in particular, the chromatic polynomial, various generalizations of the …

[HTML][HTML] The enumeration of vertex induced subgraphs with respect to the number of components

P Tittmann, I Averbouch, JA Makowsky - European Journal of …, 2011 - Elsevier
Inspired by the study of community structure in connection networks, we introduce the graph
polynomial Q (G; x, y), the bivariate generating function which counts the number of …

[HTML][HTML] Noncommutativity makes determinants hard

M Bläser - Information and Computation, 2015 - Elsevier
We consider the complexity of computing the determinant over arbitrary finite-dimensional
algebras. We first consider the case that A is fixed. In this case, we obtain the following …