1
Problemi NP-completi che ammettono un algoritmo efficiente con la promessa di una soluzione unica
Recentemente stavo leggendo un bellissimo documento di Valiant e Vazirani che mostra che se , allora non ci potrebbe essere un algoritmo efficiente per risolvere il SAT anche con la promessa che sia insoddisfacente o che abbia una soluzione unica. Dimostrando così che SAT non ammette un algoritmo efficiente anche …