---
title: Exponential-Time Hypothesis Overview
url: https://www.emergentmind.com/topics/exponential-time-hypothesis
type: topic
---

# Exponential-Time Hypothesis Overview

The Exponential-Time Hypothesis (ETH) is a central conjecture in fine-grained complexity theory, positing precise exponential lower bounds for the computational complexity of fundamental NP-complete and counting problems. Its assertion and implications underpin a significant fraction of current lower-bound research, explaining the empirical optimality of known algorithms for a wide array of combinatorial optimization and counting tasks. ETH and its variants (including the counting ETH and SETH) function as benchmarks for ruling out subexponential or even polynomial improvements on classic algorithms in theoretical computer science, parameterized complexity, counting complexity, and beyond.

## 1. Formal Statement and Standard Variants

ETH was introduced to capture the belief that the best algorithms for k-SAT require exponential time in the number of variables. Formally, ETH asserts that there exists a constant $c > 0$ such that no deterministic algorithm solves 3-SAT in time $\exp(cn)$, where $n$ is the number of variables. In notation:

\[
\exists\ c > 0:\quad \text{3-SAT on } n \text{ variables cannot be solved in } \exp(cn)\text{ time}
\]

A closely related (and strictly stronger) statement is the Strong Exponential-Time Hypothesis (SETH), which posits that for every $\epsilon < 1$, there exists $k$ such that $k$-CNF-SAT cannot be solved in $O(2^{\epsilon n})$ time [1112.2275]. The counting versions, denoted as #ETH and #SETH, apply these bounds to the counting variants of SAT (e.g., #3-SAT).

Table: ETH and Variants

| Acronym | Formal Statement | Applies To                             |
|---------|-----------------|----------------------------------------|
| ETH     | $\exists\ c>0:$ 3-SAT cannot be solved in $\exp(cn)$     | Decision problems (e.g., 3-SAT)      |
| #ETH    | $\exists\ c>0:$ #3-SAT cannot be solved in $\exp(cn)$    | Counting problems (e.g., #3-SAT)     |
| SETH    | $\forall \epsilon<1, \exists k:$ $k$-SAT cannot be solved in $O(2^{\epsilon n})$ | Decision, all $k\geq 3$         |

## 2. Reductions and Methodological Foundations

ETH is pivotal in the design of reductions which aim to rule out faster (subexponential) algorithms for various problems. Through carefully parameter-preserving reductions, lower bounds for SAT propagate to other domains. The central mechanisms include:

- **Parsimonious Reductions**: Transform instances of SAT (or #SAT) into target problems (e.g., Hitting Set, Set Splitting, NAE-SAT) such that improvements for the target would imply unexpected improvements for SAT, refuting ETH or SETH [1112.2275].
- **Block Interpolation**: For counting problems, the block interpolation framework converts #P-hardness (classically via polynomial interpolation) into tight #ETH-based exponential lower bounds for polynomial and graph-related counting problems [1511.02910].
- **Sparsification Lemma**: The sparsification lemma (appropriately extended to the counting setting [1206.1775]) allows reductions to "sparse" formulas or graphs while controlling blow-up, ensuring the ETH-based lower bounds remain tight in both the number of variables and clauses or edges.
- **Gadget Constructions**: Reductions often employ gadgets, especially in problems involving graph parameters, so that the problem's hardness is retained under parameterized complexity considerations [1009.2363].

## 3. ETH in Counting and Graph Problems

In the context of counting complexity, ETH (and #ETH) enable nearly tight lower bounds for canonical #P-hard problems. Noteworthy examples include:

- **Permanent and Tutte Polynomial**: Under #ETH, computing the permanent of an $n\times n$ $0$-$1$ matrix cannot be done in time $\exp(o(n))$, matching Ryser's inclusion-exclusion-based upper bound [1206.1775, 1511.02910]. For the Tutte polynomial, conditional lower bounds extend to almost all evaluation points in the $(x,y)$-plane for simple or sparse graphs, i.e., the time required is at least $\exp(\Omega(n/\operatorname{polylog}(n)))$, except at certain "easy" points [1206.1775].
- **Graph Reliability**: Eth-based reductions, notably exploiting "bounce graphs" and careful multivariate interpolation, show that the computation of the all-terminal reliability function REL$(G,p)$ for a simple graph on $m$ edges requires time at least $\exp(\Omega(m/\log^2 m))$ [1009.2363].
- **Constraint Satisfaction and Optimization**: Problems parameterized by treewidth or treedepth (e.g., Feedback Vertex Set, Connected Dominating Set) are shown to have essentially optimal algorithmic dependence on these parameters under SETH/ETH. For example, single-exponential $c^{tw}\cdot n^{O(1)}$ algorithms for many connectivity-type problems are optimal up to the base $c$ [1103.0534, 2001.05364].

## 4. Parameterized Complexity and ETH-based Lower Bounds

ETH provides precise boundaries for what is fixed-parameter tractable (FPT) or not in parameterized complexity:

- **2-CSP and Embedding Lower Bounds**: Reductions exploiting expander embeddings show that for 2-CSP with $k$ constraints, no algorithm runs in $f(k)\cdot n^{o(k/\log k)}$ time unless ETH fails [2311.05913]. This fine-grained lower bound is transferred to many other parameterized problems through gadget-based reductions.
- **Logical Frameworks and Problems over Bounded Width**: Modal-logical frameworks and algebraic characterizations show that a broad class of optimization and CSPs (including VCSP, Max-Ones, etc.) fall within single-exponential-time tractability, with ETH implying this is optimal [1406.3247, 1706.05902, 1104.3057].

## 5. Algorithmic Implications and Tightness Results

ETH rigorously explains the empirical optimality of many well-known exponential-time algorithms:

- **Exact Algorithms**: For problems ranging from SAT, Hitting Set, and Set Cover to various CSPs and graph problems (Hamiltonian Path, Steiner Tree, Subset Sum), the best known exponential-time algorithms cannot be significantly improved upon without falsifying ETH or SETH [1112.2275]. A key quantitative manifestation is the "optimal growth rate" $\lim_{k\to\infty} \sigma$(CNF-SAT$_k$ / $n$) = 1 [1112.2275].
- **Approximation Algorithms**: Even in the exponential-time approximation regime, ETH-based lower bounds guide which tradeoffs between solution quality ($r$-approximation) and running time (e.g., $O^*(2^{n/r})$) are achievable. Recent results "shave" factors from the exponent but demonstrate that further progress would refute even stronger hypotheses such as gap-ETH [1708.03515].
- **Counting and Meta-complexity**: In the meta-complexity realm, ETH-based arguments yield superpolynomial lower bounds for naturally restricted computational models (e.g., minimization of branching program size [2407.04632]) and reinforce the hardness of compressing circuit and branching program representations.

## 6. Foundational and Cross-disciplinary Consequences

ETH's implications extend to space complexity and quantum computation, as well as cryptography:

- **Space Complexity Barriers**: Under SETH, deterministic algorithms for NL-complete problems, such as graph connectivity, require at least $O(\log^2 n)$ space, matching Savitch's upper bound and separating L from NL [2305.02271].
- **Lattice Problems and Cryptographic Hardness**: Reductions from ETH-hard CSPs to closest vector, shortest vector, and bounded distance decoding problems on lattices establish that these fundamental problems in lattice-based cryptography are not solvable in time $2^{o(n)}$ for lattice dimension $n$, supporting cryptographic security assumptions [2504.02695].
- **Quantum Complexity**: Quantum analogues of ETH (QSETH) have been formulated, transferring classical ETH-based lower bounds to quantum settings and establishing, for instance, that edit distance remains hard for quantum algorithms, with time lower bounds matching or even exceeding the classical case under quantum SETH assumptions [1911.05686].

## 7. Limits, Extensions, and Open Directions

While ETH-based results are robust and widely applied, some lines of research address potential limitations or necessary refinements:

- **Limits of Subexponential Algorithms**: Results concerning treewidth, treedepth, and domain-size show that even as structural graph parameters change (e.g., treewidth $\to$ treedepth, domain-size in CSP), ETH implies precise lower bounds that cannot be improved except possibly for domain-size increases [1706.05902, 2001.05364].
- **Complex Weighted CSP**: Sharp dichotomies under #ETH hold for complex weighted #CSPs, classifying tractable cases in terms of closure properties (affine or product type functions) and showing that outside these, subexponential-time algorithms are impossible even for bounded-degree cases [2202.02782].
- **Parameterization and Approximation Hypotheses**: The Parameterized Inapproximability Hypothesis (PIH), previously only derived from stronger assumptions (Gap-ETH), is now obtainable from ETH via gap-producing reductions and structured PCPs, providing a more natural baseline for inapproximability in parameterized complexity [2311.16587].

## References

- [1009.2363] The Exponential Time Complexity of Computing the Probability That a Graph is Connected
- [1103.0534] Solving connectivity problems parameterized by treewidth in single exponential time
- [1104.3057] Problems parameterized by treewidth tractable in single exponential time: a logical approach
- [1112.2275] On Problems as Hard as CNFSAT
- [1205.0044] A Singly-Exponential Time Algorithm for Computing Nonnegative Rank
- [1206.1775] Exponential Time Complexity of the Permanent and the Tutte Polynomial
- [1406.3247] Relating the Time Complexity of Optimization Problems in Light of the Exponential-Time Hypothesis
- [1511.02910] Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity
- [1706.05902] Time Complexity of Constraint Satisfaction via Universal Algebra
- [1708.03515] New Tools and Connections for Exponential-time Approximation
- [1911.05686] The Quantum Strong Exponential-Time Hypothesis
- [2001.05364] Solving connectivity problems parameterized by treedepth in single-exponential time and polynomial space
- [2002.10145] Hardness of equations over finite solvable groups under the exponential time hypothesis
- [2008.06805] Superlinear Lower Bounds Based on ETH
- [2202.02782] The Exponential-Time Complexity of the complex weighted #CSP
- [2305.02271] $L$ is unequal $NL$ under the Strong Exponential Time Hypothesis
- [2311.05913] Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof
- [2311.16587] Parameterized Inapproximability Hypothesis under ETH
- [2407.04632] Partial Minimum Branching Program Size Problem is ETH-hard
- [2504.02695] Mind the Gap? Not for SVP Hardness under ETH!

Source: https://www.emergentmind.com/topics/exponential-time-hypothesis