Анонимни читалац пише: "У послијеподневним сатима 4. маја 1971, у Стоуффер је Сомерсет Инн у шејкер висораван, Охајо, Стив Кук је представио свој СТОЦ папира који доказује да задовољивости је НП-комплетан и Таутологија је НП-тежак". Теореме показују да таутологија је добар кандидат за занимљив скуп не [П] а мислим да је вредно трошења значајан напор покушавајући да докаже ову претпоставку Такав доказ ће бити велики пробој у теорији комплексности.. ' И тако Кук формулисао оно што је ускоро да се зове П у односу на НП проблема остало је историја.. Ево 1971 СТОЦ програм (било је 143 учесника) и шта то свето тло изгледа као данас. "
Прочитајте више ове приче на Сласхдот.
Няма коментари:
Публикуване на коментар