Anonyymi lukija kirjoittaa: "Iltapäivällä 04 toukokuu 1971, ja Stouffer n Somerset Inn Shaker Heights, Ohio, Steve Cook esitteli stoc paperi osoittaa, että Satisfiability on NP-täydellinen ja tautologia on NP-kova." Lauseet viittaavat siihen, että tautologia on hyvä ehdokas mielenkiintoinen ei [P] ja mielestäni on syytä käyttää paljon vaivaa yrittäessään todistaa tämän arveluja. Tällainen todiste olisi läpimurtoa kompleksisuusteoriaan. " Ja näin Cook muotoiltu mitä oli pian kutsutaan P vs. NP ongelma. Loppu on historiaa. Tässä 1971 stoc Program (oli 143 osallistujaa), ja mitä se pyhä maa näyttää tänään. "
Lue lisää tämän tarinan on Slashdot.
Ingen kommentarer:
Send en kommentar