Cuisinier de Stephen
Le cuisinier ( soutenu 1939 de Stephen Arthur de , Buffalo , le New York ) est un informaticien remarquable .
Le cuisinier a formalisé la notion de la NP-perfection dans un " de papier célèbre du 1971 ; La complexité du théorème prouvant Procedures" ; , qui a également contenu le théorème du cuisinier de , une preuve que le problème booléen de satisfiability de est NP-complet. Le non résolu gauche de papier la plus grande question ouverte dans de l'informatique théorique - si les classes P et NP de complexité de sont équivalentes.
Le cuisinier a reçu la récompense de Turing de dans le 1982 pour sa découverte. Sa citation lit : de
pour son avancement de notre arrangement de la complexité du calcul d'une manière significative et profonde. Son papier séminal, la complexité des procédures de s'avérer de théorème, présenté 1971 au colloque d'ACM SIGACT sur la théorie de calcul, a jeté les fondements pour la théorie de NP-Perfection. L'exploration suivante des frontières et de la nature de la classe NP-complète des problèmes a été l'une des activités les plus actives et les plus importantes de recherches dans de l'informatique pour la dernière décennie.Il a reçu sa licence dans le 1961 de l'Université du Michigan . À l'Université de Harvard , il a reçu sa maîtrise dans le 1962 et son Ph. Du 1966 au 1970 il était assistant à l'Université de Californie de , Berkeley dans le département de maths, qui lui a infâme refusé la tenure. Dans un discours célébrant le 30ème anniversaire du département de Berkeley EECS, Richard Karp le gagnant de récompense de Turing et du professeur semblables de Berkeley ont dit cela, " ; C'est à notre honte éternelle que nous ne pouvions pas persuader le département de maths pour lui donner tenure." ; Le cuisinier a alors joint le corps enseignant à l'université de de Toronto dans 1970 en tant que professeur agrégé, et a été favorisé au professeur dans le 1975 et au professeur d'Université dans le 1985 dans le département de l'informatique et le département de mathématiques.
| Random links: | Banlieue noire de Warren, comté de Franklin, Pennsylvanie | & de Kleiner Perkins Caufield ; Byers | George Whetstone | Stephen Cleobury | Cocinero_de_Stephen |