Platon Sudoku · Belajar Sudoku

Kontradiksi antarkomponen pewarnaan (Multi-Component Coloring Contradiction) · Contoh langkah demi langkah

Tautan kuat mewarnai satu digit menjadi keadaan berlawanan dalam setiap komponen; hubungan antar komponen membatasi negara mana yang dapat hidup berdampingan. Menghapus kandidat yang dikecualikan oleh semua penetapan warna yang konsisten.

Pelajaran ini diadaptasi dari aplikasi Platon Sudoku. Baca contoh lengkap di sini, lalu lanjutkan belajar dan berlatih di aplikasi.

Lihat di Google Play

Kenali polanya

Tautan kuat mewarnai satu digit menjadi keadaan berlawanan dalam setiap komponen; hubungan antar komponen membatasi negara mana yang dapat hidup berdampingan.

Bagaimana menemukannya

Warnai setiap komponen yang terhubung secara terpisah, lalu periksa konflik lintas komponen dan target yang melihat setiap alternatif yang masih ada.

Apa yang diizinkan

Menghapus kandidat yang dikecualikan oleh semua penetapan warna yang konsisten.

Hindari campur aduk

Jangan gabungkan komponen terpisah dengan tautan kuat yang belum diverifikasi atau menganggap warna sudah ditempatkan.

Contoh langkah demi langkah · Warna kompleks

Contoh ini dimulai dari posisi perantara yang tersimpan. Kandidat mencakup penghapusan logis sebelumnya, bukan catatan otomatis yang baru dibuat.

Biru: bukti. Hijau: kesimpulan. Angka dicoret: kandidat yang dihapus. R1C1 berarti baris 1, kolom 1.

Langkah 1 · Konfirmasikan grup keadaan logis yang sama

“Kontradiksi antarkomponen pewarnaan (Multi-Component Coloring Contradiction)” — Nama ini menjelaskan pembuktian khusus aplikasi yang melibatkan beberapa komponen, bukan teknik HoDoKu tersendiri dengan nama yang sama. Kandidat digit 2 membentuk 4 komponen pewarnaan independen. Pewarnaan bergantian sepanjang hubungan kuat menempatkan R3C1=2, R8C2=2 pada sisi A komponen 2; semuanya memiliki nilai kebenaran yang sama dan tepat merupakan kandidat target R3C1=2, R8C2=2. A dan B berlawanan di dalam setiap komponen; konflik menghubungkan keadaan antarkomponen.

Langkah 2 · Asumsikan status target benar

Perlakukan seluruh grup keadaan logis yang sama R3C1=2, R8C2=2 sebagai satu keadaan logis dan untuk sementara menganggapnya benar. Ikuti konflik antar komponen.

Langkah 3 · Ikuti setiap transisi komponen

1. R3C1=2 benar, jadi rekan yang terlihat R1C2=2 salah. Oleh karena itu, keadaan A/B yang berlawanan R1C9=2 dalam grup tersebut benar. 2. R1C9=2 benar, jadi rekan yang terlihat R5C9=2 salah. Oleh karena itu, keadaan A/B yang berlawanan R4C7=2, R5C6=2 dalam grup tersebut benar. 3. R4C7=2 benar, jadi rekan yang terlihat R4C4=2 salah. Oleh karena itu, keadaan A/B yang berlawanan R3C4=2 dalam grup tersebut benar. 4. R3C4=2 benar, jadi rekan yang terlihat R3C1=2 salah. Oleh karena itu, keadaan A/B yang berlawanan R8C1=2 dalam grup tersebut benar.

Langkah 4 · Asumsi tersebut memaksa yang sebaliknya

Asumsi R3C1=2, R8C2=2 pada akhirnya memaksa R8C1=2, keadaan A/B yang berlawanan dalam grup yang sama. Kedua keadaan tersebut tidak mungkin benar, sehingga asumsinya salah.