Une version antérieure de cette réponse a été initialement publiée comme réponse à la question « Conséquences des jeux uniques étant un problème NPI » par NicosM. Parce qu'il s'est avéré qu'il ne répondait pas à ce qu'il voulait demander, je l'ai déplacé vers cette question.
Réponse courte: ils signifient des déclarations différentes. Cette dernière implique la première, mais la première n'implique pas nécessairement la seconde.
Réponse longue: Rappelez-vous que le problème de jeu unique est le problème de promesse suivant.
Problème de jeu unique avec les paramètres k ∈ℕ et ε , δ > 0 (1− ε > δ )
Instance : Un jeu unique à deux joueurs G à un tour avec une taille d'étiquette k .
Oui, promesse : G a une valeur d'au moins 1− ε .
Pas de promesse : G a une valeur au plus δ .
La conjecture des jeux uniques déclare:
Conjecture de jeux uniques. Pour toutes les constantes ε et δ , il existe une constante k telle que le problème de jeu unique avec les paramètres k , ε et δ est NP-complet.
Considérez les résultats du formulaire suivant:
(1) En supposant la conjecture des jeux uniques, le problème X est NP-difficile.
(Un exemple de X est le problème de l'approximation de la coupe maximale à l'intérieur d'un facteur R > R GW constant .)
La plupart (sinon la totalité) des résultats du formulaire (1) prouvent en fait le fait suivant:
(2) Il existe des constantes e et ô telle que pour chaque constante k , le problème de jeu unique avec des paramètres k , ε et δ est réductible à X .
Il est facile de vérifier que (2) implique (1). Cependant, (2) implique plus que (1): par exemple, supposons qu'un jour nous pouvons prouver qu'une variante de la conjecture de jeux unique où «NP-complet» est remplacé par « GI- dur». Alors (2) implique que X est également GI-dur. (1) n'implique pas cela. C'est pourquoi certaines personnes considèrent que l'énoncé (1) n'est pas la meilleure façon d'énoncer le théorème: (1) est plus faible que ce qui est réellement prouvé, et la différence pourrait être importante.
Bien que (2) soit un énoncé plus précis de ce qui est prouvé, il est clairement gustatif. C'est pourquoi les gens ont trouvé un raccourci pour cela: «Le problème X est UG-difficile» est un raccourci pour (2).