Førti år med P = NP?

Interessante nyheter på url:http://rss.slashdot.org/~r/Slashdot/slashdot/~3/JqcI51DIe6c/Forty-Years-of-PNP:
En anonym leser skriver "I ettermiddag av 4. mai 1971, i Stouffer's Somerset Inn i Shaker Heights, Ohio, Steve Cook presenterte sin STOC papir som beviser at Satisfiability er NP-komplett og tautologi er NP-hard. 'The teoremer foreslår at tautologi er en god kandidat for en interessant sett ikke i [P] og jeg føler det er verdt å bruke mye krefter på å prøve å bevise denne formodningen. Et slikt bevis vil være et stort gjennombrudd i kompleksitet teorien. " Og slik Cook formulert hva som snart skulle bli kalt P versus NP problem. Resten er historie. Her er det 1971 STOC Program (var det 143 deltakere) og hva som hellig grunn ser ut i dag. "

Les mer i denne historien på Slashdot.