Hypothesis 3 (Strong exponential time hypothesis (SETH) [1]}, [2]}) 
For every \(\delta >0\) , there exists a \(k\in \)  such that \(k\) -CNF-SAT on \(n\)  variables cannot be solved in time \(O(2^{n(1-\delta )})\) .


Гипотеза 3 (Сильная экспоненциальная гипотеза времени (SETH) [1]}, [2]}) 

Для каждого \(\delta >0\) существует \(k\in \) такое, что \(k\) -CNF-SAT на \(n\) переменных не может быть решена за время \(O(2^{n(1-\delta )})\) .