Existem referências sobre isso?
Existem referências sobre isso?
Respostas:
Além de implicar NP = co-NP, também implicaria que o BQP continha NP.
Também parece implicar que instâncias difíceis de problemas completos de NP foram fáceis de gerar.
Como a fatoração de número inteiro é conhecida como NP e co-NP , uma prova de que é NP- completo implicaria NP = co-NP , o que é considerado altamente improvável.
Há uma discussão interessante neste post antigo de Lance Fortnow .