Стивен Артур Кук
Stephen Cook
Стивен Артур Кук — американский учёный в области теории вычислительных систем. Знаменит своей работой над теорией сложности вычислений, лауреат премии Тьюринга. В своей работе «The Complexity of Theorem Proving Procedures» Кук доказал, что задача выполнимости булевых формул является NP-полной. Тем самым он поднял вопрос о равенстве классов сложности P и NP, один из сложнейших вопросов теории вычислительных систем, на который до сих пор нет ответа.
Лучшие фильмы
Welcome to Fatbelly's
Powerball
Фильмография
| Актёр | |||
|---|---|---|---|
| 2024 | Powerball | Smoke | |
| 2024 | Welcome to Fatbelly's | Smoke | |