Статья дня.
Статья посвящена решению одной из «Задач тысячелетия»: доказательству того, что P=NP. А именно, для любой недетерминированной машины Тьюринга строится детерминированная машина Тьюринга, решающая вопрос существования пути, на котором исходная машина встретит решение. Если при этом исходная машина полиномиальна с временем работы O(t(n)), то детерминированная машина полиномиальна с временем работы O(t(n)^{208}). Автор решения — доцент кафедры информатики СПбГУ — сейчас ждет выплаты приза в миллион долларов от института Клэя. Приятно, что автор не останавливается на достигнутом и постоянно совершенствует свое решение: на данный момент выложена тридцать пятая версия статьи.
Статья посвящена решению одной из «Задач тысячелетия»: доказательству того, что P=NP. А именно, для любой недетерминированной машины Тьюринга строится детерминированная машина Тьюринга, решающая вопрос существования пути, на котором исходная машина встретит решение. Если при этом исходная машина полиномиальна с временем работы O(t(n)), то детерминированная машина полиномиальна с временем работы O(t(n)^{208}). Автор решения — доцент кафедры информатики СПбГУ — сейчас ждет выплаты приза в миллион долларов от института Клэя. Приятно, что автор не останавливается на достигнутом и постоянно совершенствует свое решение: на данный момент выложена тридцать пятая версия статьи.
Article of the day.
The article is devoted to solving one of the "Millennium Challenges": proving that P = NP. Namely, for any non-deterministic Turing machine, a deterministic Turing machine is built that solves the question of the existence of a path on which the original machine meets a solution. If the original machine is polynomial with the running time O (t (n)), then the deterministic machine is polynomial with the running time O (t (n) ^ {208}). The author of the solution, an associate professor of the Department of Informatics of St. Petersburg State University, is now waiting for the payment of a million dollar prize from the Clay Institute. It's nice that the author does not stop there and is constantly improving his solution: at the moment, the thirty-fifth version of the article has been posted.
The article is devoted to solving one of the "Millennium Challenges": proving that P = NP. Namely, for any non-deterministic Turing machine, a deterministic Turing machine is built that solves the question of the existence of a path on which the original machine meets a solution. If the original machine is polynomial with the running time O (t (n)), then the deterministic machine is polynomial with the running time O (t (n) ^ {208}). The author of the solution, an associate professor of the Department of Informatics of St. Petersburg State University, is now waiting for the payment of a million dollar prize from the Clay Institute. It's nice that the author does not stop there and is constantly improving his solution: at the moment, the thirty-fifth version of the article has been posted.
У записи 50 лайков,
11 репостов.
11 репостов.
Эту запись оставил(а) на своей стене Александр Лузгарев
