1
Stephen Cook ha visto il significato di mostrare che SAT è NP-Hard prima di provarlo?
Se ho capito bene, per dimostrare che il problema è NP difficile, devi selezionare tutti i possibili problemi che sono in NP e quindi dimostrare che si riducono ad usando una funzione calcolabile nel tempo polinomiale, che mappa le istanze di ciascuno alle istanze di .AAABiBiB_{i}AAABiBiB_{i}AAA Una volta trovato il …