Exact exponential algorithms

FV Fomin, P Kaski - Communications of the ACM, 2013 - dl.acm.org
Exact exponential algorithms Page 1 80 coMMunicATions of ThE AcM | MARCh 2013 | Vol. 56
| No. 3 review articles Exact Exponential Algorithms of non-parameterized instances of intractable …

Classical simulation of short-time quantum dynamics

DS Wild, ÁM Alhambra - PRX Quantum, 2023 - APS
Recent progress in the development of quantum technologies has enabled the direct
investigation of the dynamics of increasingly complex quantum many-body systems. This …

Algorithmic pirogov-sinai theory

T Helmuth, W Perkins, G Regts - Proceedings of the 51st Annual ACM …, 2019 - dl.acm.org
We develop an efficient algorithmic approach for approximate counting and sampling in the
low-temperature regime of a broad class of statistical physics models on finite subsets of the …

Algorithms for# BIS-hard problems on expander graphs

M Jenssen, P Keevash, W Perkins - SIAM Journal on Computing, 2020 - SIAM
We give a fully polynomial-time approximation scheme (FPTAS) and an efficient sampling
algorithm for the high-fugacity hard-core model on bounded-degree bipartite expander …

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 …

Fast polynomial-space algorithms using möbius inversion: Improving on steiner tree and related problems

J Nederlof - International Colloquium on Automata, Languages …, 2009 - Springer
Given a graph with n vertices, k terminals and bounded integer weights on the edges, we
compute the minimum Steiner Tree in O^*(2^k) time and polynomial space, where the O …

Independent sets in the hypercube revisited

M Jenssen, W Perkins - Journal of the London Mathematical …, 2020 - Wiley Online Library
We revisit Sapozhenko's classic proof on the asymptotics of the number of independent sets
in the discrete hypercube {0, 1} d and Galvin's follow‐up work on weighted independent …

Fast polynomial-space algorithms using inclusion-exclusion: Improving on Steiner tree and related problems

J Nederlof - Algorithmica, 2013 - Springer
Given a graph with n vertices, k terminals and positive integer weights not larger than c, we
compute a minimum Steiner Tree in O^⋆(2^kc) time and O^⋆(c) space, where the O^⋆ …

Counting independent sets in unbalanced bipartite graphs

S Cannon, W Perkins - Proceedings of the Fourteenth Annual ACM-SIAM …, 2020 - SIAM
Understanding the complexity of approximately counting the number of weighted or
unweighted independent sets in a bipartite graph (# BIS) is a central open problem in the …

[HTML][HTML] Homomorphisms from the torus

M Jenssen, P Keevash - Advances in Mathematics, 2023 - Elsevier
We present a detailed probabilistic and structural analysis of the set of weighted
homomorphisms from the discrete torus Z mn, where m is even, to any fixed graph: we show …