Hat Stephen Cook erkannt, wie wichtig es ist, zu zeigen, dass SAT NP-hart ist, bevor er es tatsächlich bewiesen hat?
Wenn ich richtig verstehe, müssen Sie, um zu beweisen, dass Problem NP-schwer ist, alle möglichen Probleme B i auswählen , die sich in NP befinden, und dann beweisen, dass sie sich auf A reduzieren, indem Sie eine polynomialzeitberechnbare Funktion verwenden, die Instanzen jedes B i abbildet In den...