Ура!

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