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.