«Objet accessible» est-il vraiment un problème NP-complet?
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...