Pewarnaan Sederhana mewarnai graf tautan kuat dari satu digit dengan dua warna — misalnya biru dan hijau.
Pada tautan kuat, kedua ujungnya berwarna berlawanan: tepat satu yang benar. Ini adalah pintu masuk ke cara berpikir Medusa dan AIC.
Mengapa ini berhasil
Kalau dua sel dengan warna yang sama saling melihat, warna itu tidak mungkin benar (dua kebenaran untuk digit yang sama akan saling melihat). Jadi seluruh warna itu salah — warna sebaliknya yang benar.
Kalau sebuah sel melihat kedua warna, sel itu melihat kandidat yang benar bagaimanapun — jadi sel itu tidak bisa berisi digit tersebut.
Pewarnaan mengubah jaringan tautan “tepat satu dari ini” menjadi aturan cat yang sederhana.
Cara menemukannya
Bangun graf tautan kuat dari sel bi-lokal terlebih dahulu. Konflik warna sama atau melihat kedua warna adalah jebakan yang perlu diperhatikan.
Demonstrasi
Untuk satu digit, hubungkan setiap tautan kuat (tepat dua kandidat dalam satu unit) menjadi rantai atau jaringan.
Warnai jaringan itu dengan dua warna. Warna berlawanan berarti “tepat satu yang benar.” Sel-sel hijau menunjukkan pewarnaan yang berguna pada 7.
Perhatikan konflik warna sama atau sel yang melihat kedua warna — itulah jebakannya.
Eliminasi 7 di tempat yang dilarang oleh pewarnaan (merah).
Contoh 1
Warnai jaringan tautan kuat untuk satu digit.
Pewarnaan pada 1 menemukan kontradiksi atau jebakan.
Hapus 1 di tempat yang dilarang aturan cat (merah). Konflik warna sama atau melihat kedua warna berarti eliminasi.
Contoh 2
Warnai jaringan tautan kuat untuk satu digit.
Pewarnaan pada 2 menemukan kontradiksi atau jebakan.
Hapus 2 di tempat yang dilarang aturan cat (merah). Konflik warna sama atau melihat kedua warna berarti eliminasi.