Ура!

[birdwatcher]

В.Ф.Романовым открыт алгоритм решения задачи о выполнимости булевых формул за полиномиальное время. Тем самым неопровержимо доказано равенство P=NP.

Comments

[birdwatcher.livejournal.com]

Мемориальная премия шведского центробанка в области программистских наук.

[starshoi.livejournal.com]

И в качестве бонуса работающая модель недетерминированной машины Тьюринга в натуральную величину. С запасом батареек на год (ну, или чтоб хватило полиномиально досчитать формулу).