В теории сложности вычислений теорема Кука - Левина, также известная как теорема Кука, утверждает, что проблема булевой выполнимости является NP-полной.
Вопрос о том, существует ли такой алгоритм, называется проблемой P против NP и широко считается наиболее важной нерешенной проблемой в теоретической информатике.