Ci sono riferimenti a questo proposito?
Ci sono riferimenti a questo proposito?
Risposte:
Oltre a implicare NP = co-NP, implicherebbe anche che BQP contenesse NP.
Sembrerebbe anche implicare che casi difficili di problemi NP-completi fossero facili da generare.
Poiché la fattorizzazione a numeri interi è nota sia in NP che in co-NP , una prova che sia NP-completa implicherebbe NP = co-NP , che è considerato altamente improbabile.
C'è una discussione interessante in questo vecchio post di Lance Fortnow .