指数时间假设

计算复杂性理论猜想，断言 SAT 问题不存在亚指数时间算法，是许多 NP 难问题下界的基础。