Стивен Артур Кук
Stephen Cook
Стивен Артур Кук — американский учёный в области теории вычислительных систем. Знаменит своей работой над теорией сложности вычислений, лауреат премии Тьюринга. В своей работе «The Complexity of Theorem Proving Procedures» Кук доказал, что задача выполнимости булевых формул является NP-полной. Тем самым он поднял вопрос о равенстве классов сложности P и NP, один из сложнейших вопросов теории вычислительных систем, на который до сих пор нет ответа.
Лучшие фильмы
Rocky & Wrighty: From Brockley to the Big Time
Фильмография
| Продюссер | |||
|---|---|---|---|
| 2017 | Rocky & Wrighty: From Brockley to the Big Time | ||