Euh, minime... bôf.
La résolution de ce problème plane un peu comme une épée de damoclès au-dessus de nos têtes depuis des années, quand même. Tout le monde se fait un peu pipi dessus en se disant que si 'P = NP', c'est la fin du monde...
Si 'P = NP' alors tous nos algorithmes de chiffrage de données sont bons à jeter, puisque le déchiffrage à algorithme connu se fait en temps polynômial. Ajoute à ça l'arrivée imminente (ou presque) des processeurs quantiques, et tu obtiens bien la fin du monde...
Mais ouf,... P != NP.
'fin bon, d'un autre côté, bon nombre de mathématiciens ont pu faire passer des théorèmes dont la preuve était fausse, et qui ont été annulés seulement quelques siècles plus tard... Pour être réavérés encore un siècle plus tard...
Théorème 22 : plus y'a de pages, plus y'a de fautes probables. En 100 pages de démonstration, t'as le temps d'en faire, des fautes (j'irai pas vérifier, j'ai pas le level).
[^] # Re: Il dit qu'il est pas d'accord.
Posté par darkhi . En réponse au journal P != NP : la preuve. Évalué à 3.
La résolution de ce problème plane un peu comme une épée de damoclès au-dessus de nos têtes depuis des années, quand même. Tout le monde se fait un peu pipi dessus en se disant que si 'P = NP', c'est la fin du monde...
Si 'P = NP' alors tous nos algorithmes de chiffrage de données sont bons à jeter, puisque le déchiffrage à algorithme connu se fait en temps polynômial. Ajoute à ça l'arrivée imminente (ou presque) des processeurs quantiques, et tu obtiens bien la fin du monde...
Mais ouf,... P != NP.
'fin bon, d'un autre côté, bon nombre de mathématiciens ont pu faire passer des théorèmes dont la preuve était fausse, et qui ont été annulés seulement quelques siècles plus tard... Pour être réavérés encore un siècle plus tard...
Théorème 22 : plus y'a de pages, plus y'a de fautes probables. En 100 pages de démonstration, t'as le temps d'en faire, des fautes (j'irai pas vérifier, j'ai pas le level).