Masalah 3-Warna dapat dibuktikan NP-Complete memanfaatkan pengurangan dari 3SAT Graph Coloring (dari 3SAT) . Sebagai akibatnya, masalah 4-Warna adalah NP-Lengkap menggunakan pengurangan dari 3-Warna: Reduksi dari instance 3-Coloring: menambahkan simpul tambahan ke grafik masalah 3-Coloring, dan...