Home » Знаменательные события » Стивен Артур Кук

Стивен Артур Кук

Стивен Артур Кук (14 декабря 1939 года) — американский учёный в области теории вычислительных систем. Знаменит своей работой над теорией сложности вычислений, лауреат премии Тьюринга.

Кук Стивен Артур
Кук Стивен Артур

Одно из важных достижений:
В своей работе «The Complexity of Theorem Proving Procedures» Кук доказал, что задача выполнимости булевых формул является NP-полной. Тем самым он поднял вопрос о равенстве классов сложности P и NP, один из сложнейших вопросов теории вычислительных систем, на который до сих пор нет ответа.

Лауреат премии Тьюринга
1982 год. За существенный прогресс, достигнутый им в понимании сложности вычислений. Его работа положила основу теории NP-полноты.
Исследование свойств и границ этого класса стало одним из важнейших направлений теории вычислительных систем за последние десять лет.

Яндекс цитирования Яндекс.Метрика