Therefore, if the strong exponential time hypothesis is true, then there would be no algorithm for general CNF satisfiability that is significantly faster than testing all possible truth assignments.
Таким образом, если сильная гипотеза об экспоненциальном времени верна, то не существует алгоритма для общей задачи CNF выполнимости, который существенно быстрее, чем проверка всех возможных высказываний на истинность.