Problemas NP-completos que admitem um algoritmo eficiente sob a promessa de uma solução única
Eu estava lendo recentemente um artigo muito bom por Valiant e Vazirani que mostra que se , então não pode haver um algoritmo eficiente para resolver SAT mesmo sob a promessa de que ela é ou insatisfatível ou tem uma solução única. Assim, mostrando que o SAT não admite um algoritmo eficiente, mesmo...