Ура!

Jan. 20th, 2011 06:45 pm
birdwatcher: (Default)
[personal profile] birdwatcher
В.Ф.Романовым открыт алгоритм решения задачи о выполнимости булевых формул за полиномиальное время. Тем самым неопровержимо доказано равенство P=NP.

Date: 2011-01-21 02:05 am (UTC)
From: [identity profile] starshoi.livejournal.com
Так. Пора искать новую работу. Там в комментариях его критикуют за плохой перевод "очевидно, что". Похоже, ему придется повертеться. Но если доказал, то это что, Turing Award?

Date: 2011-01-21 02:50 am (UTC)
From: [identity profile] birdwatcher.livejournal.com
Мемориальная премия шведского центробанка в области программистских наук.

Date: 2011-01-21 02:53 am (UTC)
From: [identity profile] starshoi.livejournal.com
И в качестве бонуса работающая модель недетерминированной машины Тьюринга в натуральную величину. С запасом батареек на год (ну, или чтоб хватило полиномиально досчитать формулу).

Date: 2011-01-21 04:58 am (UTC)
From: [identity profile] vzasade.livejournal.com
несть им числа (http://www.win.tue.nl/~gwoegi/P-versus-NP.htm)

Date: 2011-01-21 05:14 am (UTC)
From: [identity profile] birdwatcher.livejournal.com
это гениально

Date: 2011-01-21 05:50 am (UTC)
From: [identity profile] hojja-nusreddin.livejournal.com
:))))))))))))

Date: 2011-01-21 05:59 am (UTC)
From: [identity profile] vzasade.livejournal.com
слава богу проблема неподъемна для среднего политика. а то уже установили бы научный консенсус, затравили deniers и понапридумывали специальных налогов на предотвращение последствий.

Date: 2011-01-21 10:26 am (UTC)