Car-tech

Un chercheur de HP prétend souffrir de l'énigme de la complexité de l'ordinateur

Les "surdoués" et l'école

Les "surdoués" et l'école
Anonim

Le Clay Mathematics Institute a donc juré de récompenser la personne qui le résout. 1 million de dollars. C'est l'un des sept problèmes, collectivement connus sous le nom de problèmes du prix du millénaire, l'institut a offert cette prime pour. Une des sept, la conjecture de Poincaré, a été officiellement résolue en 2006.

On ne sait pas encore si Deolalikar obtiendra l'argent, puisque Clay n'a pas dit qu'il considère que le problème a été résolu.

Ce problème, Les problèmes en suspens en informatique, "implique" de déterminer s'il existe des questions dont la réponse peut être rapidement vérifiée, mais qui nécessitent un temps incroyablement long à résoudre par toute procédure directe ", explique une page de l'Institut. Dans le problème, P représente le temps polynomial et NP signifie le temps polynomial non déterministe.

"Je suis heureux d'annoncer une preuve que P n'est pas égal à NP", a annoncé Deolalikar dans un courriel à un groupe de professeurs de mathématiques. Greg Baker, maître de conférences à l'Université Simon Fraser de la Colombie-Britannique, a publié un article sur le sujet.

Cela peut signifier que certains problèmes ne peuvent être résolus que par la recherche de force brute.

Naturellement, ceux qui connaissent le problème hésitent à proclamer que Deolalikar a résolu le problème, étant donné le nombre de vérifications qui devraient être faites. Et tandis qu'ils louent Deolalikar pour son approche approfondie, qui diffère des suppositions plus hasardeuses qui sont habituellement présentées, personne n'a définitivement prétendu qu'il a résolu le problème.

"Il semble introduire quelques nouvelles idées qui suscitent la réflexion, en particulier un lien entre la physique statistique et la caractérisation logique de premier ordre de NP », a écrit Scott Aaronson, professeur adjoint de génie électrique et d'informatique au Massachusetts Institute of Technology, dans un blog sans engagement.

« Je ne sais pas quoi »Dick Lipton, professeur d'informatique au Georgia Institute of Technology.

Joab Jackson couvre les logiciels d'entreprise et les nouvelles de dernière heure pour

The IDG News Service

. Suivez Joab sur Twitter à @Joab_Jackson. L'adresse e-mail de Joab est [email protected]