Ich habe eine historische Frage.
Ich versuche, die Referenz für die Tatsache zu bestimmen, dass die 3-Färbbarkeit von Graphen (alternativ Färbbarkeit für gegebenes ) NP-hart ist.
Die verlockende Antwort lautet „Karps Originalpapier“, aber das ist falsch. Hier ist ein Scan: Reduzierbarkeit unter kombinatorischen Problemen, Karp (1972) . Dies beweist, dass die chromatische Zahl (Eingabe: ein Graph. Ausgabe: ) schwer ist. Das ist ein schwierigeres Problem, und die Reduzierung unterscheidet sich von der Standard-Gadget-Konstruktion (mit 3 Farben, True, False und Ground), die eine Härte mit 3 Farben impliziert.
Garey und Johnson, Computers and intractability , haben eine Färbbarkeit als [GT4] und verweisen auf Karp (1972).