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