next up previous contents
suivant : 10.4.2 3-SAT remonter : 10.4 Les problèmes NP-complets précédent : 10.4 Les problèmes NP-complets

10.4.1 Courte méditation

Si vous vous trouvez face à un problème $\Pi$ que vous ne parvenez pas à décider à l'aide d'un algorithme polynomial, il vous suffit de montrer, par exemple, que $TSP \leq
\Pi$ pour ne pas vous faire mépriser par vos supérieurs. Supposons qu'il existe un algorithme polynomial décidant $\Pi$, alors vous en déduiriez immédiatement un algorithme décidant le problème $TSP$, qui tient tout le monde en échec... Vous montrerez de ce fait non pas que le problème $\Pi$ n'a pas de solution, mais que ni vous, ni personne d'autre (encore moins vos supérieurs...), n'est capable, pour le moment, de trouver un algorithme polynomial pour le décider.



Alexandre
2009-07-20