a plupart des chercheurs dans le domaines tentent de prouver P=NP en trouvant un algorithme.
Dans ce cas cela ne prouve rien. Car trouver UN algo n'indique pas que les ensembles sont égaux.
Pour prouver par cette méthode, il faudrait trouver TOUS les algos. Pas gagné :-)
Par contre ça fonctionne dans le cas où on souhaite prouver l'existence d'une propriété. Du genre "est-ce qu'il y a des armes de destructions massives en Iraq ?". Il suffit de trouver UNE arme pour prouver. A l'inverse, ne pas trouver d'arme ne prouve rien.
[^] # Re: Il dit qu'il est pas d'accord.
Posté par Kerro . En réponse au journal P != NP : la preuve. Évalué à 1.
Dans ce cas cela ne prouve rien. Car trouver UN algo n'indique pas que les ensembles sont égaux.
Pour prouver par cette méthode, il faudrait trouver TOUS les algos. Pas gagné :-)
Par contre ça fonctionne dans le cas où on souhaite prouver l'existence d'une propriété. Du genre "est-ce qu'il y a des armes de destructions massives en Iraq ?". Il suffit de trouver UNE arme pour prouver. A l'inverse, ne pas trouver d'arme ne prouve rien.