Tag: np

NP (« non déterministe polynomial ») est une classe de complexité des problèmes de décision qui peuvent être résolus par une machine de Turing non déterministe en temps polynomial. De manière équivalente, c’est l’ensemble des problèmes de décision pour lesquels une réponse peut être vérifiée en temps polynomial par une machine de Turing déterministe.

La preuve que le problème de l'arrêt est NP-dur?