Les exemples courants de problèmes NP-difficiles (clique, 3-SAT, vertex cover, etc.) sont du type où nous ne savons pas si la réponse est "oui" ou "non" au préalable. Supposons que nous ayons un problème dans lequel nous savons que la réponse est oui, en outre, nous pouvons vérifier un témoin en...
Cette question est en quelque sorte l'inverse d' une question précédente sur les ensembles formés à partir d'opérations sur les ensembles NP-complets: Si l'ensemble résultant de l'union, de l'intersection ou du produit cartésien de deux ensembles décidables et L 2 est NP-complet, au moins l'un de L...
J'ai un problème dans mon esprit, je pense que c'est un problème de PNJ mais je ne sais pas comment le prouver. Voici le problème: Il y a k îles dans un lac très grand, et il y a n pontons en forme d' éventail. Ces pontons sont de la même taille mais ont des directions initiales différentes et sont...
Supposer ΠΠ\Pi est un problème de décision décidable. Est-ce que Π ∉ NPΠ∉NP\Pi\not \in NP impliquer ΠΠ\Pi est NPNPNP-Difficile? Edit: si l'on suppose qu'il existe Π ∈ c o NP∖ NPΠ∈coNP∖NP\Pi\in coNP\setminus NPalors nous avons terminé. Pouvons-nous réfuter la réclamation sans hypothèses...
C'est une tâche du concours informatique allemand ("Bundeswettbewerb Informatik"), mais comme la date limite est passée, poser cette question n'est pas une tricherie. Étant donné un graphique orienté pondéré par les sommets G = ( V, E)g=(V,E)G=(V, E) et valeurs cvcvc_v, trouver un sous-ensemble de...
Je lisais cet article où les auteurs expliquent le théorème 1, qui déclare que "l'objet accessible" (tel que défini dans l'article) est NP-complet. Cependant, ils prouvent la réduction dans une seule direction, c'est-à-dire de 2P1N SAT à l'objet accessible. Cela prouve seulement que le problème est...
Ma question est la suivante. Supposons que est un problème NP-difficile. Étant donné une instance arbitraire de et supposant qu'un adversaire sait que cette instance est facile à résoudre, est-il possible de trouver un algorithme déterministe en temps polynomial pour résoudre cette instance...