Теорема Кука — Левина.

Гладишь ты такой в ночи бельишко, и на фоне играет третьесортный русский телесериал. И тут герой обсуждает теорему Кука, у меня чуть утюг не выпал.

Точнее, работу в кругах математиков принято называть теоремой Кука — Левина. Доказательство теоремы было сформулировано Стивеном Куком в работе 1971 года. Но в то же самое время независимо теорему доказал советский математик Леонид Левин.

В этом дуэте через некоторое время возник третий участник — Ричард Карп. Стивен за свою работу в 1982 году получает престижную премию Алана Тьюринга. И вслед за ним в 1985 году ту же премию получает Ричард, по факту за продолжительный вклад в теорию алгоритмов и решение ряда задач.

Как-то уже писал, что в 1983 году Кен Томпсон и Деннис Ритчи получили премию Тьюринга за разработку общей теории операционных систем и, в частности, за создание ОС UNIX.

Тут мысль остановилась и пошла спать.

Теорема Кука — Левина.
Гладишь ты такой в ночи бельишко, и на фоне играет третьесортный русский телесериал. И тут герой обсуждает теорему Кука, у меня чуть утюг не выпал | Сетка — новая социальная сеть от hh.ru
repost

2

input message

напишите коммент

еще контент в этом сообществе

еще контент в этом соообществе

войдите, чтобы увидеть

и подписаться на интересных профи

в приложении больше возможностей

пока в веб-версии есть не всё — мы вовсю работаем над ней

сетка — cоциальная сеть для нетворкинга от hh.ru

пересекайтесь с теми, кто повлияет на ваш профессиональный путь