'N anonieme leser skryf: "In die namiddag van 4 Mei 1971, in die Stouffer se Somerset Inn in Shaker Heights, Ohio, Steve Cook het sy Voorraad papier bewys dat satisfiability is NP-volledige en tautologie is NP-hard." Die stellings dui daarop dat tautologie is 'n goeie kandidaat vir' n interessante stel nie in [P] en ek dink dit die moeite werd om aansienlike inspanning probeer om hierdie vermoede te bewys So 'n bewys sou' n groot deurbraak in die kompleksiteit teorie.. " En so Cook geformuleer wat was gou om te word genoem die P versus NP probleem Die res is geskiedenis.. Hier is die 1971 Voorraad Program (daar was 143 deelnemers) en wat dit heilige grond lyk soos vandag. "
Lees meer van hierdie storie op Slashdot.
No comments:
Post a Comment