NP-difficile, en théorie de la complexité de calcul, est la propriété définissant une classe de problèmes qui sont informellement « au moins aussi difficiles que les problèmes les plus difficiles dans NP ».

Un problème est NP-complet lorsqu'il peut être résolu par une classe restreinte d’algorithmes de recherche de force brute et qu'il peut être utilisé pour simuler tout autre problème avec un algorithme similaire.