Rantai inferensi bergantian menghubungkan negara-negara kandidat dengan tautan kuat dan lemah yang terverifikasi. Rantai terbuka dan tertutup mempunyai kesimpulan yang berbeda. Gunakan hasil terverifikasi: hapus kandidat atau tempatkan digit ketika keadaan sebaliknya tidak memungkinkan.
Pelajaran ini diadaptasi dari aplikasi Platon Sudoku. Baca contoh lengkap di sini, lalu lanjutkan belajar dan berlatih di aplikasi.
Rantai inferensi bergantian menghubungkan negara-negara kandidat dengan tautan kuat dan lemah yang terverifikasi. Rantai terbuka dan tertutup mempunyai kesimpulan yang berbeda.
Bagaimana menemukannya
Telusuri setiap implikasi dari satu ujung, catat transisi kuat dan lemah dan apakah rantai tersebut menutup atau bertentangan dengan titik akhir.
Apa yang diizinkan
Gunakan hasil terverifikasi: hapus kandidat atau tempatkan digit ketika keadaan sebaliknya tidak memungkinkan.
Hindari campur aduk
Hubungan kuat berarti: jika satu ujung salah, ujung lainnya benar. Hubungan lemah berarti: jika satu ujung benar, ujung lainnya salah. Jangan membalik implikasi ini; periksa hubungan antarujung sebelum menarik kesimpulan.
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 · Baca AIC sebelum mengikutinya
Pelajaran Nice Loop / AIC ini menggunakan keluarga node digit kandidat biasa HoDoKu: eliminasi dan penempatan terputus-putus, rantai Tipe 1 dan Tipe 2 terbuka, dan loop berkelanjutan. Mulai dari R1C6=1 benar dan periksa R1C6=1. Di kolom 6, baris 2, kolom 9, baris 7, kotak 5, baris 5, kolom 1, baris 9, kolom 8, tautan garis padat berarti setidaknya salah satu ujungnya benar; tautan putus-putus berarti kedua titik akhir tidak mungkin benar pada saat yang bersamaan. Ikuti satu relasi yang disorot pada satu waktu.
Pelajaran Nice Loop / AIC ini menggunakan keluarga node digit kandidat biasa HoDoKu: eliminasi dan penempatan terputus-putus, rantai Tipe 1 dan Tipe 2 terbuka, dan loop berkelanjutan. Mulai dari R1C6=1 benar dan periksa R1C6=1. Di kolom 6, baris 2, kolom 9, baris 7, kotak 5, baris 5, kolom 1, baris 9, kolom 8, tautan garis padat berarti setidaknya salah satu ujungnya benar; tautan putus-putus berarti kedua titik akhir tidak mungkin benar pada saat yang bersamaan. Ikuti satu relasi yang disorot pada satu waktu.
Langkah 2 · Asumsi: memulai rantai bolak-balik
Cabang 1: misalkan R1C6=1 benar.
Cabang 1: misalkan R1C6=1 benar.
Langkah 3 · Hubungan yang lemah: konflik digit kandidat yang terkait
R1C6=1 benar. Hapus R1C6=8.
R1C6=1 benar. Hapus R1C6=8.
Langkah 4 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R1C6=8 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 6. Oleh karena itu R2C6=8 harus benar.
R1C6=8 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 6. Oleh karena itu R2C6=8 harus benar.
Langkah 5 · Hubungan yang lemah: konflik digit kandidat yang terkait
R2C6=8 benar. Hapus R2C6=6.
R2C6=8 benar. Hapus R2C6=6.
Langkah 6 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R2C6=6 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C9=6 harus benar.
R2C6=6 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C9=6 harus benar.
Langkah 7 · Hubungan yang lemah: konflik digit kandidat yang terkait
R2C9=6 benar. Hapus R2C9=3.
R2C9=6 benar. Hapus R2C9=3.
Langkah 8 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R2C9=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 9. Oleh karena itu R7C9=3 harus benar.
R2C9=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 9. Oleh karena itu R7C9=3 harus benar.
Langkah 9 · Hubungan yang lemah: konflik digit kandidat yang terkait
R7C9=3 benar. Hapus R7C6=3.
R7C9=3 benar. Hapus R7C6=3.
Langkah 10 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R7C6=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 6. Oleh karena itu R6C6=3 harus benar.
R7C6=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 6. Oleh karena itu R6C6=3 harus benar.
Langkah 11 · Hubungan yang lemah: konflik digit kandidat yang terkait
R6C6=3 benar. Hapus R5C4=3.
R6C6=3 benar. Hapus R5C4=3.
Langkah 12 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R5C4=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 5. Oleh karena itu R5C1=3 harus benar.
R5C4=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 5. Oleh karena itu R5C1=3 harus benar.
Langkah 13 · Hubungan yang lemah: konflik digit kandidat yang terkait
R5C1=3 benar. Hapus R9C1=3.
R5C1=3 benar. Hapus R9C1=3.
Langkah 14 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R9C1=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 9. Oleh karena itu R9C8=3 harus benar.
R9C1=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 9. Oleh karena itu R9C8=3 harus benar.
Langkah 15 · Hubungan yang lemah: konflik digit kandidat yang terkait
R9C8=3 benar. Hapus R2C8=3.
R9C8=3 benar. Hapus R2C8=3.
Langkah 16 · Sel yang sama: memaksakan digit kandidat lainnya
R2C8=3 salah. Dalam sel yang sama R2C8, kandidat digit lainnya R2C8=8 dipaksakan menjadi benar berdasarkan asumsi saat ini.
R2C8=3 salah. Dalam sel yang sama R2C8, kandidat digit lainnya R2C8=8 dipaksakan menjadi benar berdasarkan asumsi saat ini.
Langkah 17 · Hubungan yang lemah: konflik digit kandidat yang terkait
R2C8=8 benar. Hapus R2C6=8.
R2C8=8 benar. Hapus R2C6=8.
Langkah 18 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R2C6=8 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 6. Oleh karena itu R1C6=8 harus benar.
R2C6=8 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 6. Oleh karena itu R1C6=8 harus benar.
Langkah 19 · Rantai tersebut mencapai kontradiksi
Pengurangan tersebut bertentangan dengan “R1C6=1 benar”, jadi R1C6=1 salah.
Pengurangan tersebut bertentangan dengan “R1C6=1 benar”, jadi R1C6=1 salah.
Langkah 20 · Tarik isian persegi panjang sebelumnya
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Langkah 21 · Ringkasan AIC
Rantai bolak-balik dimulai dari “R1C6=1 benar” dan mengikuti hubungan kuat dan lemah yang diberi label, termasuk saklar sel yang sama jika diperlukan, hingga kontradiksi. Oleh karena itu R1C6=1 salah. Semua keadaan kebenaran logis sementara ditarik.
Rantai bolak-balik dimulai dari “R1C6=1 benar” dan mengikuti hubungan kuat dan lemah yang diberi label, termasuk saklar sel yang sama jika diperlukan, hingga kontradiksi. Oleh karena itu R1C6=1 salah. Semua keadaan kebenaran logis sementara ditarik.
Apa yang diizinkan
Rantai bolak-balik dimulai dari “R1C6=1 benar” dan mengikuti hubungan kuat dan lemah yang diberi label, termasuk saklar sel yang sama jika diperlukan, hingga kontradiksi. Oleh karena itu R1C6=1 salah. Semua keadaan kebenaran logis sementara ditarik.
Nice Loop / AIC · Gunakan hasil terverifikasi: hapus kandidat atau tempatkan digit ketika keadaan sebaliknya tidak memungkinkan.
Contoh langkah demi langkah · Terputus · tempat
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 · Baca AIC sebelum mengikutinya
Pelajaran Nice Loop / AIC ini menggunakan keluarga node digit kandidat biasa HoDoKu: eliminasi dan penempatan terputus-putus, rantai Tipe 1 dan Tipe 2 terbuka, dan loop berkelanjutan. Mulai dari R1C1=4 salah dan periksa R1C1=4. Di baris 1, kolom 2, kotak 4, kolom 3, tautan garis padat berarti setidaknya salah satu ujungnya benar; tautan putus-putus berarti kedua titik akhir tidak mungkin benar pada saat yang bersamaan. Ikuti satu relasi yang disorot pada satu waktu.
Pelajaran Nice Loop / AIC ini menggunakan keluarga node digit kandidat biasa HoDoKu: eliminasi dan penempatan terputus-putus, rantai Tipe 1 dan Tipe 2 terbuka, dan loop berkelanjutan. Mulai dari R1C1=4 salah dan periksa R1C1=4. Di baris 1, kolom 2, kotak 4, kolom 3, tautan garis padat berarti setidaknya salah satu ujungnya benar; tautan putus-putus berarti kedua titik akhir tidak mungkin benar pada saat yang bersamaan. Ikuti satu relasi yang disorot pada satu waktu.
Langkah 2 · Asumsi: memulai rantai bolak-balik
Cabang 1: misalkan R1C1=4 salah.
Cabang 1: misalkan R1C1=4 salah.
Langkah 3 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R1C1=4 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 1. Oleh karena itu R1C3=4 harus benar.
R1C1=4 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 1. Oleh karena itu R1C3=4 harus benar.
Langkah 4 · Hubungan yang lemah: konflik digit kandidat yang terkait
R1C3=4 benar. Hapus R1C3=5.
R1C3=4 benar. Hapus R1C3=5.
Langkah 5 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R1C3=5 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 1. Oleh karena itu R1C2=5 harus benar.
R1C3=5 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 1. Oleh karena itu R1C2=5 harus benar.
Langkah 6 · Hubungan yang lemah: konflik digit kandidat yang terkait
R1C2=5 benar. Hapus R1C2=9.
R1C2=5 benar. Hapus R1C2=9.
Langkah 7 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R1C2=9 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 2. Oleh karena itu R5C2=9 harus benar.
R1C2=9 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 2. Oleh karena itu R5C2=9 harus benar.
Langkah 8 · Hubungan yang lemah: konflik digit kandidat yang terkait
R5C2=9 benar. Hapus R4C3=9.
R5C2=9 benar. Hapus R4C3=9.
Langkah 9 · Sel yang sama: memaksakan digit kandidat lainnya
R4C3=9 salah. Dalam sel yang sama R4C3, kandidat digit lainnya R4C3=4 dipaksakan menjadi benar berdasarkan asumsi saat ini.
R4C3=9 salah. Dalam sel yang sama R4C3, kandidat digit lainnya R4C3=4 dipaksakan menjadi benar berdasarkan asumsi saat ini.
Langkah 10 · Hubungan yang lemah: konflik digit kandidat yang terkait
R4C3=4 benar. Hapus R1C3=4.
R4C3=4 benar. Hapus R1C3=4.
Langkah 11 · Rantai tersebut mencapai kontradiksi
Pengurangan tersebut bertentangan dengan “R1C1=4 salah”, jadi R1C1=4 benar.
Pengurangan tersebut bertentangan dengan “R1C1=4 salah”, jadi R1C1=4 benar.
Langkah 12 · Tarik isian persegi panjang sebelumnya
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Langkah 13 · Ringkasan AIC
Rantai bolak-balik dimulai dari “R1C1=4 salah” dan mengikuti hubungan kuat dan lemah yang diberi label, termasuk saklar sel yang sama jika diperlukan, hingga kontradiksi. Oleh karena itu R1C1=4 benar. Semua keadaan kebenaran logis sementara ditarik.
Rantai bolak-balik dimulai dari “R1C1=4 salah” dan mengikuti hubungan kuat dan lemah yang diberi label, termasuk saklar sel yang sama jika diperlukan, hingga kontradiksi. Oleh karena itu R1C1=4 benar. Semua keadaan kebenaran logis sementara ditarik.
Apa yang diizinkan
Rantai bolak-balik dimulai dari “R1C1=4 salah” dan mengikuti hubungan kuat dan lemah yang diberi label, termasuk saklar sel yang sama jika diperlukan, hingga kontradiksi. Oleh karena itu R1C1=4 benar. Semua keadaan kebenaran logis sementara ditarik.
Nice Loop / AIC · Gunakan hasil terverifikasi: hapus kandidat atau tempatkan digit ketika keadaan sebaliknya tidak memungkinkan.
Contoh langkah demi langkah · Tipe 1
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 · Baca AIC sebelum mengikutinya
Pelajaran Nice Loop / AIC ini menggunakan keluarga node digit kandidat biasa HoDoKu: eliminasi dan penempatan terputus-putus, rantai Tipe 1 dan Tipe 2 terbuka, dan loop berkelanjutan. Mulai dari R1C6=2 salah dan periksa R1C8=2, R1C9=2, R2C4=2. Di kolom 6, baris 2, tautan garis padat berarti setidaknya salah satu ujungnya benar; tautan putus-putus berarti kedua titik akhir tidak mungkin benar pada saat yang bersamaan. Ikuti satu relasi yang disorot pada satu waktu.
Pelajaran Nice Loop / AIC ini menggunakan keluarga node digit kandidat biasa HoDoKu: eliminasi dan penempatan terputus-putus, rantai Tipe 1 dan Tipe 2 terbuka, dan loop berkelanjutan. Mulai dari R1C6=2 salah dan periksa R1C8=2, R1C9=2, R2C4=2. Di kolom 6, baris 2, tautan garis padat berarti setidaknya salah satu ujungnya benar; tautan putus-putus berarti kedua titik akhir tidak mungkin benar pada saat yang bersamaan. Ikuti satu relasi yang disorot pada satu waktu.
Langkah 2 · Asumsi: memulai rantai bolak-balik
Cabang 1: misalkan R1C6=2 salah.
Cabang 1: misalkan R1C6=2 salah.
Langkah 3 · Sel yang sama: memaksakan digit kandidat lainnya
R1C6=2 salah. Dalam sel yang sama R1C6, kandidat digit lainnya R1C6=1 dipaksakan menjadi benar berdasarkan asumsi saat ini.
R1C6=2 salah. Dalam sel yang sama R1C6, kandidat digit lainnya R1C6=1 dipaksakan menjadi benar berdasarkan asumsi saat ini.
Langkah 4 · Hubungan yang lemah: konflik digit kandidat yang terkait
R1C6=1 benar. Hapus R6C6=1.
R1C6=1 benar. Hapus R6C6=1.
Langkah 5 · Sel yang sama: memaksakan digit kandidat lainnya
R6C6=1 salah. Dalam sel yang sama R6C6, kandidat digit lainnya R6C6=6 dipaksakan menjadi benar berdasarkan asumsi saat ini.
R6C6=1 salah. Dalam sel yang sama R6C6, kandidat digit lainnya R6C6=6 dipaksakan menjadi benar berdasarkan asumsi saat ini.
Langkah 6 · Hubungan yang lemah: konflik digit kandidat yang terkait
R6C6=6 benar. Hapus R2C6=6.
R6C6=6 benar. Hapus R2C6=6.
Langkah 7 · Sel yang sama: memaksakan digit kandidat lainnya
R2C6=6 salah. Dalam sel yang sama R2C6, kandidat digit lainnya R2C6=7 dipaksakan menjadi benar berdasarkan asumsi saat ini.
R2C6=6 salah. Dalam sel yang sama R2C6, kandidat digit lainnya R2C6=7 dipaksakan menjadi benar berdasarkan asumsi saat ini.
Langkah 8 · Hubungan yang lemah: konflik digit kandidat yang terkait
R2C6=7 benar. Hapus R2C8=7.
R2C6=7 benar. Hapus R2C8=7.
Langkah 9 · Sel yang sama: memaksakan digit kandidat lainnya
R2C8=7 salah. Dalam sel yang sama R2C8, kandidat digit lainnya R2C8=2 dipaksakan menjadi benar berdasarkan asumsi saat ini.
R2C8=7 salah. Dalam sel yang sama R2C8, kandidat digit lainnya R2C8=2 dipaksakan menjadi benar berdasarkan asumsi saat ini.
Langkah 10 · Ringkasan AIC
Sedikitnya satu dari ujung R1C6=2 dan R2C8=2, yang memiliki digit sama, harus benar. Setiap target R1C8=2, R1C9=2, R2C4=2 melihat kedua ujung, sehingga tidak mungkin benar.
Sedikitnya satu dari ujung R1C6=2 dan R2C8=2, yang memiliki digit sama, harus benar. Setiap target R1C8=2, R1C9=2, R2C4=2 melihat kedua ujung, sehingga tidak mungkin benar.
Langkah 11 · Tarik isian persegi panjang sebelumnya
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Langkah 12 · Ringkasan AIC
Tarik kasus titik akhir sementara. AIC Tipe 1 secara permanen menghapus R1C8=2, R1C9=2, R2C4=2, karena setiap target melihat R1C6=2 dan R2C8=2.
Tarik kasus titik akhir sementara. AIC Tipe 1 secara permanen menghapus R1C8=2, R1C9=2, R2C4=2, karena setiap target melihat R1C6=2 dan R2C8=2.
Apa yang diizinkan
Tarik kasus titik akhir sementara. AIC Tipe 1 secara permanen menghapus R1C8=2, R1C9=2, R2C4=2, karena setiap target melihat R1C6=2 dan R2C8=2.
Nice Loop / AIC · Gunakan hasil terverifikasi: hapus kandidat atau tempatkan digit ketika keadaan sebaliknya tidak memungkinkan.
Contoh langkah demi langkah · Tipe 2
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 · Baca AIC sebelum mengikutinya
Pelajaran Nice Loop / AIC ini menggunakan keluarga node digit kandidat biasa HoDoKu: eliminasi dan penempatan terputus-putus, rantai Tipe 1 dan Tipe 2 terbuka, dan loop berkelanjutan. Mulai dari R1C8=9 salah dan periksa R4C8=9. Di baris 1, kolom 7, kotak 6, kolom 8, baris 3, kolom 6, baris 5, kolom 4, baris 6, kolom 9, baris 4, tautan garis padat berarti setidaknya salah satu ujungnya benar; tautan putus-putus berarti kedua titik akhir tidak mungkin benar pada saat yang bersamaan. Ikuti satu relasi yang disorot pada satu waktu.
Pelajaran Nice Loop / AIC ini menggunakan keluarga node digit kandidat biasa HoDoKu: eliminasi dan penempatan terputus-putus, rantai Tipe 1 dan Tipe 2 terbuka, dan loop berkelanjutan. Mulai dari R1C8=9 salah dan periksa R4C8=9. Di baris 1, kolom 7, kotak 6, kolom 8, baris 3, kolom 6, baris 5, kolom 4, baris 6, kolom 9, baris 4, tautan garis padat berarti setidaknya salah satu ujungnya benar; tautan putus-putus berarti kedua titik akhir tidak mungkin benar pada saat yang bersamaan. Ikuti satu relasi yang disorot pada satu waktu.
Langkah 2 · Asumsi: memulai rantai bolak-balik
Cabang 1: misalkan R1C8=9 salah.
Cabang 1: misalkan R1C8=9 salah.
Langkah 3 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R1C8=9 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 1. Oleh karena itu R1C7=9 harus benar.
R1C8=9 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 1. Oleh karena itu R1C7=9 harus benar.
Langkah 4 · Hubungan yang lemah: konflik digit kandidat yang terkait
R1C7=9 benar. Hapus R5C7=9.
R1C7=9 benar. Hapus R5C7=9.
Langkah 5 · Sel yang sama: memaksakan digit kandidat lainnya
R5C7=9 salah. Dalam sel yang sama R5C7, kandidat digit lainnya R5C7=2 dipaksakan menjadi benar berdasarkan asumsi saat ini.
R5C7=9 salah. Dalam sel yang sama R5C7, kandidat digit lainnya R5C7=2 dipaksakan menjadi benar berdasarkan asumsi saat ini.
Langkah 6 · Hubungan yang lemah: konflik digit kandidat yang terkait
R5C7=2 benar. Hapus R6C8=2.
R5C7=2 benar. Hapus R6C8=2.
Langkah 7 · Sel yang sama: memaksakan digit kandidat lainnya
R6C8=2 salah. Dalam sel yang sama R6C8, kandidat digit lainnya R6C8=1 dipaksakan menjadi benar berdasarkan asumsi saat ini.
R6C8=2 salah. Dalam sel yang sama R6C8, kandidat digit lainnya R6C8=1 dipaksakan menjadi benar berdasarkan asumsi saat ini.
Langkah 8 · Hubungan yang lemah: konflik digit kandidat yang terkait
R6C8=1 benar. Hapus R3C8=1.
R6C8=1 benar. Hapus R3C8=1.
Langkah 9 · Sel yang sama: memaksakan digit kandidat lainnya
R3C8=1 salah. Dalam sel yang sama R3C8, kandidat digit lainnya R3C8=6 dipaksakan menjadi benar berdasarkan asumsi saat ini.
R3C8=1 salah. Dalam sel yang sama R3C8, kandidat digit lainnya R3C8=6 dipaksakan menjadi benar berdasarkan asumsi saat ini.
Langkah 10 · Hubungan yang lemah: konflik digit kandidat yang terkait
R3C8=6 benar. Hapus R3C6=6.
R3C8=6 benar. Hapus R3C6=6.
Langkah 11 · Sel yang sama: memaksakan digit kandidat lainnya
R3C6=6 salah. Dalam sel yang sama R3C6, kandidat digit lainnya R3C6=4 dipaksakan menjadi benar berdasarkan asumsi saat ini.
R3C6=6 salah. Dalam sel yang sama R3C6, kandidat digit lainnya R3C6=4 dipaksakan menjadi benar berdasarkan asumsi saat ini.
Langkah 12 · Hubungan yang lemah: konflik digit kandidat yang terkait
R3C6=4 benar. Hapus R5C6=4.
R3C6=4 benar. Hapus R5C6=4.
Langkah 13 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R5C6=4 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 5. Oleh karena itu R5C4=4 harus benar.
R5C6=4 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 5. Oleh karena itu R5C4=4 harus benar.
Langkah 14 · Hubungan yang lemah: konflik digit kandidat yang terkait
R5C4=4 benar. Hapus R5C4=3.
R5C4=4 benar. Hapus R5C4=3.
Langkah 15 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R5C4=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 4. Oleh karena itu R6C4=3 harus benar.
R5C4=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 4. Oleh karena itu R6C4=3 harus benar.
Langkah 16 · Hubungan yang lemah: konflik digit kandidat yang terkait
R6C4=3 benar. Hapus R6C9=3.
R6C4=3 benar. Hapus R6C9=3.
Langkah 17 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R6C9=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 9. Oleh karena itu R4C9=3 harus benar.
R6C9=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 9. Oleh karena itu R4C9=3 harus benar.
Langkah 18 · Hubungan yang lemah: konflik digit kandidat yang terkait
R4C9=3 benar. Hapus R4C9=7.
R4C9=3 benar. Hapus R4C9=7.
Langkah 19 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R4C9=7 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 4. Oleh karena itu R4C8=7 harus benar.
R4C9=7 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 4. Oleh karena itu R4C8=7 harus benar.
Langkah 20 · Ringkasan AIC
Titik akhir rekan R1C8=9 dan R4C8=7 membawa digit yang berbeda. Setiap digit lintas kandidat yang ditandai R4C8=9 akan membuat kedua titik akhir menjadi salah, jadi hapuslah.
Titik akhir rekan R1C8=9 dan R4C8=7 membawa digit yang berbeda. Setiap digit lintas kandidat yang ditandai R4C8=9 akan membuat kedua titik akhir menjadi salah, jadi hapuslah.
Langkah 21 · Tarik isian persegi panjang sebelumnya
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Langkah 22 · Ringkasan AIC
Tarik kasus titik akhir sementara. AIC Tipe 2 secara permanen menghilangkan digit silang kandidat R4C8=9 antara R1C8=9 dan R4C8=7.
Tarik kasus titik akhir sementara. AIC Tipe 2 secara permanen menghilangkan digit silang kandidat R4C8=9 antara R1C8=9 dan R4C8=7.
Apa yang diizinkan
Tarik kasus titik akhir sementara. AIC Tipe 2 secara permanen menghilangkan digit silang kandidat R4C8=9 antara R1C8=9 dan R4C8=7.
Nice Loop / AIC · Gunakan hasil terverifikasi: hapus kandidat atau tempatkan digit ketika keadaan sebaliknya tidak memungkinkan.
Contoh langkah demi langkah · Lingkaran terus menerus
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 · Baca AIC sebelum mengikutinya
Pelajaran Nice Loop / AIC ini menggunakan keluarga node digit kandidat biasa HoDoKu: eliminasi dan penempatan terputus-putus, rantai Tipe 1 dan Tipe 2 terbuka, dan loop berkelanjutan. Mulai dari R9C3=6 salah dan periksa R9C3=5. Di kolom 3, baris 5, kolom 8, baris 9, tautan garis padat berarti setidaknya salah satu ujungnya benar; tautan putus-putus berarti kedua titik akhir tidak mungkin benar pada saat yang bersamaan. Ikuti satu relasi yang disorot pada satu waktu.
Pelajaran Nice Loop / AIC ini menggunakan keluarga node digit kandidat biasa HoDoKu: eliminasi dan penempatan terputus-putus, rantai Tipe 1 dan Tipe 2 terbuka, dan loop berkelanjutan. Mulai dari R9C3=6 salah dan periksa R9C3=5. Di kolom 3, baris 5, kolom 8, baris 9, tautan garis padat berarti setidaknya salah satu ujungnya benar; tautan putus-putus berarti kedua titik akhir tidak mungkin benar pada saat yang bersamaan. Ikuti satu relasi yang disorot pada satu waktu.
Langkah 2 · Asumsi: memulai rantai bolak-balik
Pilih R9C3=6 hanya sebagai awal pembacaan loop tertutup ini. Ini bukanlah asumsi percobaan; loop bolak-balik akan kembali ke sini.
Pilih R9C3=6 hanya sebagai awal pembacaan loop tertutup ini. Ini bukanlah asumsi percobaan; loop bolak-balik akan kembali ke sini.
Langkah 3 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R9C3=6 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 3. Oleh karena itu R5C3=6 harus benar.
R9C3=6 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 3. Oleh karena itu R5C3=6 harus benar.
Langkah 4 · Hubungan yang lemah: konflik digit kandidat yang terkait
R5C3=6 benar. Hapus R5C8=6.
R5C3=6 benar. Hapus R5C8=6.
Langkah 5 · Sel yang sama: memaksakan digit kandidat lainnya
R5C8=6 salah. Dalam sel yang sama R5C8, kandidat digit lainnya R5C8=8 dipaksakan menjadi benar berdasarkan asumsi saat ini.
R5C8=6 salah. Dalam sel yang sama R5C8, kandidat digit lainnya R5C8=8 dipaksakan menjadi benar berdasarkan asumsi saat ini.
Langkah 6 · Hubungan yang lemah: konflik digit kandidat yang terkait
R5C8=8 benar. Hapus R9C8=8.
R5C8=8 benar. Hapus R9C8=8.
Langkah 7 · Hubungan yang kuat: titik akhir lainnya dipaksakan
R9C8=8 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 9. Oleh karena itu R9C3=8 harus benar.
R9C8=8 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 9. Oleh karena itu R9C3=8 harus benar.
Langkah 8 · Hubungan yang lemah: konflik digit kandidat yang terkait
R9C3=8 benar. Hapus R9C3=6.
R9C3=8 benar. Hapus R9C3=6.
Langkah 9 · Ringkasan AIC
Rantai ditutup sebagai putaran bolak-balik yang berkesinambungan. Oleh karena itu, setiap relasi lemah pada loop adalah kuat, yang menghilangkan R9C3=5 dari sel atau unit Sudoku yang terpengaruh.
Rantai ditutup sebagai putaran bolak-balik yang berkesinambungan. Oleh karena itu, setiap relasi lemah pada loop adalah kuat, yang menghilangkan R9C3=5 dari sel atau unit Sudoku yang terpengaruh.
Langkah 10 · Tarik isian persegi panjang sebelumnya
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Langkah 11 · Ringkasan AIC
Penjelajahan loop selesai; menarik status kebenaran logis sementara dan menghapus R9C3=5 secara permanen.
Penjelajahan loop selesai; menarik status kebenaran logis sementara dan menghapus R9C3=5 secara permanen.
Apa yang diizinkan
Penjelajahan loop selesai; menarik status kebenaran logis sementara dan menghapus R9C3=5 secara permanen.
Nice Loop / AIC · Gunakan hasil terverifikasi: hapus kandidat atau tempatkan digit ketika keadaan sebaliknya tidak memungkinkan.