Rantaian inferens berselang-seli menghubungkan keadaan calon dengan pautan kuat dan lemah yang disahkan. Rantaian terbuka dan tertutup mempunyai kesimpulan yang berbeza. Gunakan hasil yang disahkan: alih keluar calon atau letakkan digit apabila keadaan bertentangannya adalah mustahil.
Pelajaran ini diadaptasi daripada kandungan pembelajaran aplikasi Platon Sudoku. Baca contoh lengkap di sini, kemudian teruskan belajar dan berlatih dalam aplikasi.
Rantaian inferens berselang-seli menghubungkan keadaan calon dengan pautan kuat dan lemah yang disahkan. Rantaian terbuka dan tertutup mempunyai kesimpulan yang berbeza.
Bagaimana untuk mencarinya
Jejaki setiap implikasi dari satu hujung, merekodkan peralihan yang kuat dan lemah dan sama ada rantaian menutup atau bercanggah dengan titik akhir.
Perkara yang dibenarkan
Gunakan hasil yang disahkan: alih keluar calon atau letakkan digit apabila keadaan bertentangannya adalah mustahil.
Elakkan percampuran
Pautan kuat bermaksud: jika satu hujung palsu, hujung yang satu lagi benar. Pautan lemah bermaksud: jika satu hujung benar, hujung yang satu lagi palsu. Jangan terbalikkan implikasi ini; semak hubungan antara hujung sebelum membuat kesimpulan.
Contoh langkah demi langkah · Tidak Berterusan · hapuskan
Contoh ini bermula daripada kedudukan pertengahan yang disimpan. Calon mengambil kira penyingkiran logik terdahulu, bukan nota automatik yang baru dijana.
Biru: bukti. Hijau: kesimpulan. Nombor dipangkah: calon yang disingkirkan. R1C1 bermaksud baris 1, lajur 1.
Main Semula 1 · Baca AIC sebelum mengikutinya
Pelajaran Nice Loop / AIC ini menggunakan keluarga nod calon biasa HoDoKu: penyingkiran dan peletakan tidak berterusan, buka rantai Jenis 1 dan Jenis 2 serta gelung berterusan. Mulakan pada R1C6=1 adalah benar dan periksa R1C6=1. Dalam lajur 6, baris 2, lajur 9, baris 7, blok 5, baris 5, lajur 1, baris 9, lajur 8, garis penuh bermakna sekurang-kurangnya satu hujung adalah benar; pautan putus-putus bermakna kedua-dua hujung tidak boleh benar serentak. Ikuti satu perhubungan yang diserlahkan pada satu masa.
Pelajaran Nice Loop / AIC ini menggunakan keluarga nod calon biasa HoDoKu: penyingkiran dan peletakan tidak berterusan, buka rantai Jenis 1 dan Jenis 2 serta gelung berterusan. Mulakan pada R1C6=1 adalah benar dan periksa R1C6=1. Dalam lajur 6, baris 2, lajur 9, baris 7, blok 5, baris 5, lajur 1, baris 9, lajur 8, garis penuh bermakna sekurang-kurangnya satu hujung adalah benar; pautan putus-putus bermakna kedua-dua hujung tidak boleh benar serentak. Ikuti satu perhubungan yang diserlahkan pada satu masa.
Main Semula 2 · Andaian: mulakan rantai berselang-seli
Branch 1: andaikan R1C6=1 adalah benar.
Branch 1: andaikan R1C6=1 adalah benar.
Main Semula 3 · Hubungan lemah: mengaitkan konflik calon
R1C6=1 adalah benar. Alih keluar R1C6=8.
R1C6=1 adalah benar. Alih keluar R1C6=8.
Main Semula 4 · Hubungan kukuh: titik akhir yang lain dipaksa
R1C6=8 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 6. Oleh itu R2C6=8 mestilah benar.
R1C6=8 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 6. Oleh itu R2C6=8 mestilah benar.
Main Semula 5 · Hubungan lemah: mengaitkan konflik calon
R2C6=8 adalah benar. Alih keluar R2C6=6.
R2C6=8 adalah benar. Alih keluar R2C6=6.
Main Semula 6 · Hubungan kukuh: titik akhir yang lain dipaksa
R2C6=6 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 2. Oleh itu R2C9=6 mestilah benar.
R2C6=6 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 2. Oleh itu R2C9=6 mestilah benar.
Main Semula 7 · Hubungan lemah: mengaitkan konflik calon
R2C9=6 adalah benar. Alih keluar R2C9=3.
R2C9=6 adalah benar. Alih keluar R2C9=3.
Main Semula 8 · Hubungan kukuh: titik akhir yang lain dipaksa
R2C9=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 9. Oleh itu R7C9=3 mestilah benar.
R2C9=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 9. Oleh itu R7C9=3 mestilah benar.
Main Semula 9 · Hubungan lemah: mengaitkan konflik calon
R7C9=3 adalah benar. Alih keluar R7C6=3.
R7C9=3 adalah benar. Alih keluar R7C6=3.
Main Semula 10 · Hubungan kukuh: titik akhir yang lain dipaksa
R7C6=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 6. Oleh itu R6C6=3 mestilah benar.
R7C6=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 6. Oleh itu R6C6=3 mestilah benar.
Main Semula 11 · Hubungan lemah: mengaitkan konflik calon
R6C6=3 adalah benar. Alih keluar R5C4=3.
R6C6=3 adalah benar. Alih keluar R5C4=3.
Main Semula 12 · Hubungan kukuh: titik akhir yang lain dipaksa
R5C4=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 5. Oleh itu R5C1=3 mestilah benar.
R5C4=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 5. Oleh itu R5C1=3 mestilah benar.
Main Semula 13 · Hubungan lemah: mengaitkan konflik calon
R5C1=3 adalah benar. Alih keluar R9C1=3.
R5C1=3 adalah benar. Alih keluar R9C1=3.
Main Semula 14 · Hubungan kukuh: titik akhir yang lain dipaksa
R9C1=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 9. Oleh itu R9C8=3 mestilah benar.
R9C1=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 9. Oleh itu R9C8=3 mestilah benar.
Main Semula 15 · Hubungan lemah: mengaitkan konflik calon
R9C8=3 adalah benar. Alih keluar R2C8=3.
R9C8=3 adalah benar. Alih keluar R2C8=3.
Main Semula 16 · Petak yang sama: paksa calon lain
R2C8=3 adalah palsu. Dalam petak yang sama R2C8, calon lain R2C8=8 dipaksa benar di bawah andaian semasa.
R2C8=3 adalah palsu. Dalam petak yang sama R2C8, calon lain R2C8=8 dipaksa benar di bawah andaian semasa.
Main Semula 17 · Hubungan lemah: mengaitkan konflik calon
R2C8=8 adalah benar. Alih keluar R2C6=8.
R2C8=8 adalah benar. Alih keluar R2C6=8.
Main Semula 18 · Hubungan kukuh: titik akhir yang lain dipaksa
R2C6=8 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 6. Oleh itu R1C6=8 mestilah benar.
R2C6=8 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 6. Oleh itu R1C6=8 mestilah benar.
Main Semula 19 · Rantaian mencapai percanggahan
Inferens bercanggah dengan "R1C6=1 adalah benar", jadi R1C6=1 adalah palsu.
Inferens bercanggah dengan "R1C6=1 adalah benar", jadi R1C6=1 adalah palsu.
Main Semula 20 · Tarik balik pengisian segi empat tepat sebelumnya
Tarik balik andaian ini dan akibatnya. Kembali ke petikan calon yang tidak berubah sebelum meneliti kemungkinan seterusnya.
Tarik balik andaian ini dan akibatnya. Kembali ke petikan calon yang tidak berubah sebelum meneliti kemungkinan seterusnya.
Main Semula 21 · AIC
Rantaian berselang-seli bermula dari "R1C6=1 adalah benar" dan mengikuti perhubungan kuat dan lemah yang dilabel, termasuk suis petak yang sama jika perlu, kepada percanggahan. Oleh itu R1C6=1 adalah palsu. Semua keadaan sementara ditarik balik.
Rantaian berselang-seli bermula dari "R1C6=1 adalah benar" dan mengikuti perhubungan kuat dan lemah yang dilabel, termasuk suis petak yang sama jika perlu, kepada percanggahan. Oleh itu R1C6=1 adalah palsu. Semua keadaan sementara ditarik balik.
Perkara yang dibenarkan
Rantaian berselang-seli bermula dari "R1C6=1 adalah benar" dan mengikuti perhubungan kuat dan lemah yang dilabel, termasuk suis petak yang sama jika perlu, kepada percanggahan. Oleh itu R1C6=1 adalah palsu. Semua keadaan sementara ditarik balik.
Nice Loop / AIC · Gunakan hasil yang disahkan: alih keluar calon atau letakkan digit apabila keadaan bertentangannya adalah mustahil.
Contoh langkah demi langkah · Tidak Berterusan · tempat
Contoh ini bermula daripada kedudukan pertengahan yang disimpan. Calon mengambil kira penyingkiran logik terdahulu, bukan nota automatik yang baru dijana.
Biru: bukti. Hijau: kesimpulan. Nombor dipangkah: calon yang disingkirkan. R1C1 bermaksud baris 1, lajur 1.
Main Semula 1 · Baca AIC sebelum mengikutinya
Pelajaran Nice Loop / AIC ini menggunakan keluarga nod calon biasa HoDoKu: penyingkiran dan peletakan tidak berterusan, buka rantai Jenis 1 dan Jenis 2 serta gelung berterusan. Mulakan pada R1C1=4 adalah palsu dan periksa R1C1=4. Dalam baris 1, lajur 2, blok 4, lajur 3, garis penuh bermakna sekurang-kurangnya satu hujung adalah benar; pautan putus-putus bermakna kedua-dua hujung tidak boleh benar serentak. Ikuti satu perhubungan yang diserlahkan pada satu masa.
Pelajaran Nice Loop / AIC ini menggunakan keluarga nod calon biasa HoDoKu: penyingkiran dan peletakan tidak berterusan, buka rantai Jenis 1 dan Jenis 2 serta gelung berterusan. Mulakan pada R1C1=4 adalah palsu dan periksa R1C1=4. Dalam baris 1, lajur 2, blok 4, lajur 3, garis penuh bermakna sekurang-kurangnya satu hujung adalah benar; pautan putus-putus bermakna kedua-dua hujung tidak boleh benar serentak. Ikuti satu perhubungan yang diserlahkan pada satu masa.
Main Semula 2 · Andaian: mulakan rantai berselang-seli
Branch 1: andaikan R1C1=4 adalah palsu.
Branch 1: andaikan R1C1=4 adalah palsu.
Main Semula 3 · Hubungan kukuh: titik akhir yang lain dipaksa
R1C1=4 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 1. Oleh itu R1C3=4 mestilah benar.
R1C1=4 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 1. Oleh itu R1C3=4 mestilah benar.
Main Semula 4 · Hubungan lemah: mengaitkan konflik calon
R1C3=4 adalah benar. Alih keluar R1C3=5.
R1C3=4 adalah benar. Alih keluar R1C3=5.
Main Semula 5 · Hubungan kukuh: titik akhir yang lain dipaksa
R1C3=5 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 1. Oleh itu R1C2=5 mestilah benar.
R1C3=5 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 1. Oleh itu R1C2=5 mestilah benar.
Main Semula 6 · Hubungan lemah: mengaitkan konflik calon
R1C2=5 adalah benar. Alih keluar R1C2=9.
R1C2=5 adalah benar. Alih keluar R1C2=9.
Main Semula 7 · Hubungan kukuh: titik akhir yang lain dipaksa
R1C2=9 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 2. Oleh itu R5C2=9 mestilah benar.
R1C2=9 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 2. Oleh itu R5C2=9 mestilah benar.
Main Semula 8 · Hubungan lemah: mengaitkan konflik calon
R5C2=9 adalah benar. Alih keluar R4C3=9.
R5C2=9 adalah benar. Alih keluar R4C3=9.
Main Semula 9 · Petak yang sama: paksa calon lain
R4C3=9 adalah palsu. Dalam petak yang sama R4C3, calon lain R4C3=4 dipaksa benar di bawah andaian semasa.
R4C3=9 adalah palsu. Dalam petak yang sama R4C3, calon lain R4C3=4 dipaksa benar di bawah andaian semasa.
Main Semula 10 · Hubungan lemah: mengaitkan konflik calon
R4C3=4 adalah benar. Alih keluar R1C3=4.
R4C3=4 adalah benar. Alih keluar R1C3=4.
Main Semula 11 · Rantaian mencapai percanggahan
Inferens bercanggah dengan "R1C1=4 adalah palsu", jadi R1C1=4 adalah benar.
Inferens bercanggah dengan "R1C1=4 adalah palsu", jadi R1C1=4 adalah benar.
Main Semula 12 · Tarik balik pengisian segi empat tepat sebelumnya
Tarik balik andaian ini dan akibatnya. Kembali ke petikan calon yang tidak berubah sebelum meneliti kemungkinan seterusnya.
Tarik balik andaian ini dan akibatnya. Kembali ke petikan calon yang tidak berubah sebelum meneliti kemungkinan seterusnya.
Main Semula 13 · AIC
Rantaian berselang-seli bermula dari "R1C1=4 adalah palsu" dan mengikuti perhubungan kuat dan lemah yang dilabel, termasuk suis petak yang sama jika perlu, kepada percanggahan. Oleh itu R1C1=4 adalah benar. Semua keadaan sementara ditarik balik.
Rantaian berselang-seli bermula dari "R1C1=4 adalah palsu" dan mengikuti perhubungan kuat dan lemah yang dilabel, termasuk suis petak yang sama jika perlu, kepada percanggahan. Oleh itu R1C1=4 adalah benar. Semua keadaan sementara ditarik balik.
Perkara yang dibenarkan
Rantaian berselang-seli bermula dari "R1C1=4 adalah palsu" dan mengikuti perhubungan kuat dan lemah yang dilabel, termasuk suis petak yang sama jika perlu, kepada percanggahan. Oleh itu R1C1=4 adalah benar. Semua keadaan sementara ditarik balik.
Nice Loop / AIC · Gunakan hasil yang disahkan: alih keluar calon atau letakkan digit apabila keadaan bertentangannya adalah mustahil.
Contoh langkah demi langkah · Jenis 1
Contoh ini bermula daripada kedudukan pertengahan yang disimpan. Calon mengambil kira penyingkiran logik terdahulu, bukan nota automatik yang baru dijana.
Biru: bukti. Hijau: kesimpulan. Nombor dipangkah: calon yang disingkirkan. R1C1 bermaksud baris 1, lajur 1.
Main Semula 1 · Baca AIC sebelum mengikutinya
Pelajaran Nice Loop / AIC ini menggunakan keluarga nod calon biasa HoDoKu: penyingkiran dan peletakan tidak berterusan, buka rantai Jenis 1 dan Jenis 2 serta gelung berterusan. Mulakan pada R1C6=2 adalah palsu dan periksa R1C8=2, R1C9=2, R2C4=2. Dalam lajur 6, baris 2, garis penuh bermakna sekurang-kurangnya satu hujung adalah benar; pautan putus-putus bermakna kedua-dua hujung tidak boleh benar serentak. Ikuti satu perhubungan yang diserlahkan pada satu masa.
Pelajaran Nice Loop / AIC ini menggunakan keluarga nod calon biasa HoDoKu: penyingkiran dan peletakan tidak berterusan, buka rantai Jenis 1 dan Jenis 2 serta gelung berterusan. Mulakan pada R1C6=2 adalah palsu dan periksa R1C8=2, R1C9=2, R2C4=2. Dalam lajur 6, baris 2, garis penuh bermakna sekurang-kurangnya satu hujung adalah benar; pautan putus-putus bermakna kedua-dua hujung tidak boleh benar serentak. Ikuti satu perhubungan yang diserlahkan pada satu masa.
Main Semula 2 · Andaian: mulakan rantai berselang-seli
Branch 1: andaikan R1C6=2 adalah palsu.
Branch 1: andaikan R1C6=2 adalah palsu.
Main Semula 3 · Petak yang sama: paksa calon lain
R1C6=2 adalah palsu. Dalam petak yang sama R1C6, calon lain R1C6=1 dipaksa benar di bawah andaian semasa.
R1C6=2 adalah palsu. Dalam petak yang sama R1C6, calon lain R1C6=1 dipaksa benar di bawah andaian semasa.
Main Semula 4 · Hubungan lemah: mengaitkan konflik calon
R1C6=1 adalah benar. Alih keluar R6C6=1.
R1C6=1 adalah benar. Alih keluar R6C6=1.
Main Semula 5 · Petak yang sama: paksa calon lain
R6C6=1 adalah palsu. Dalam petak yang sama R6C6, calon lain R6C6=6 dipaksa benar di bawah andaian semasa.
R6C6=1 adalah palsu. Dalam petak yang sama R6C6, calon lain R6C6=6 dipaksa benar di bawah andaian semasa.
Main Semula 6 · Hubungan lemah: mengaitkan konflik calon
R6C6=6 adalah benar. Alih keluar R2C6=6.
R6C6=6 adalah benar. Alih keluar R2C6=6.
Main Semula 7 · Petak yang sama: paksa calon lain
R2C6=6 adalah palsu. Dalam petak yang sama R2C6, calon lain R2C6=7 dipaksa benar di bawah andaian semasa.
R2C6=6 adalah palsu. Dalam petak yang sama R2C6, calon lain R2C6=7 dipaksa benar di bawah andaian semasa.
Main Semula 8 · Hubungan lemah: mengaitkan konflik calon
R2C6=7 adalah benar. Alih keluar R2C8=7.
R2C6=7 adalah benar. Alih keluar R2C8=7.
Main Semula 9 · Petak yang sama: paksa calon lain
R2C8=7 adalah palsu. Dalam petak yang sama R2C8, calon lain R2C8=2 dipaksa benar di bawah andaian semasa.
R2C8=7 adalah palsu. Dalam petak yang sama R2C8, calon lain R2C8=2 dipaksa benar di bawah andaian semasa.
Main Semula 10 · AIC
Sekurang-kurangnya satu daripada hujung R1C6=2 dan R2C8=2 yang mempunyai digit sama mesti benar. Setiap sasaran R1C8=2, R1C9=2, R2C4=2 melihat kedua-dua hujung, maka tidak boleh benar.
Sekurang-kurangnya satu daripada hujung R1C6=2 dan R2C8=2 yang mempunyai digit sama mesti benar. Setiap sasaran R1C8=2, R1C9=2, R2C4=2 melihat kedua-dua hujung, maka tidak boleh benar.
Main Semula 11 · Tarik balik pengisian segi empat tepat sebelumnya
Tarik balik andaian ini dan akibatnya. Kembali ke petikan calon yang tidak berubah sebelum meneliti kemungkinan seterusnya.
Tarik balik andaian ini dan akibatnya. Kembali ke petikan calon yang tidak berubah sebelum meneliti kemungkinan seterusnya.
Main Semula 12 · AIC
Tarik balik bekas titik akhir sementara. Jenis 1 AIC mengalih keluar R1C8=2, R1C9=2, R2C4=2 secara kekal, kerana setiap sasaran melihat kedua-dua R1C6=2 dan R2C8=2.
Tarik balik bekas titik akhir sementara. Jenis 1 AIC mengalih keluar R1C8=2, R1C9=2, R2C4=2 secara kekal, kerana setiap sasaran melihat kedua-dua R1C6=2 dan R2C8=2.
Perkara yang dibenarkan
Tarik balik bekas titik akhir sementara. Jenis 1 AIC mengalih keluar R1C8=2, R1C9=2, R2C4=2 secara kekal, kerana setiap sasaran melihat kedua-dua R1C6=2 dan R2C8=2.
Nice Loop / AIC · Gunakan hasil yang disahkan: alih keluar calon atau letakkan digit apabila keadaan bertentangannya adalah mustahil.
Contoh langkah demi langkah · Jenis 2
Contoh ini bermula daripada kedudukan pertengahan yang disimpan. Calon mengambil kira penyingkiran logik terdahulu, bukan nota automatik yang baru dijana.
Biru: bukti. Hijau: kesimpulan. Nombor dipangkah: calon yang disingkirkan. R1C1 bermaksud baris 1, lajur 1.
Main Semula 1 · Baca AIC sebelum mengikutinya
Pelajaran Nice Loop / AIC ini menggunakan keluarga nod calon biasa HoDoKu: penyingkiran dan peletakan tidak berterusan, buka rantai Jenis 1 dan Jenis 2 serta gelung berterusan. Mulakan pada R1C8=9 adalah palsu dan periksa R4C8=9. Dalam baris 1, lajur 7, blok 6, lajur 8, baris 3, lajur 6, baris 5, lajur 4, baris 6, lajur 9, baris 4, garis penuh bermakna sekurang-kurangnya satu hujung adalah benar; pautan putus-putus bermakna kedua-dua hujung tidak boleh benar serentak. Ikuti satu perhubungan yang diserlahkan pada satu masa.
Pelajaran Nice Loop / AIC ini menggunakan keluarga nod calon biasa HoDoKu: penyingkiran dan peletakan tidak berterusan, buka rantai Jenis 1 dan Jenis 2 serta gelung berterusan. Mulakan pada R1C8=9 adalah palsu dan periksa R4C8=9. Dalam baris 1, lajur 7, blok 6, lajur 8, baris 3, lajur 6, baris 5, lajur 4, baris 6, lajur 9, baris 4, garis penuh bermakna sekurang-kurangnya satu hujung adalah benar; pautan putus-putus bermakna kedua-dua hujung tidak boleh benar serentak. Ikuti satu perhubungan yang diserlahkan pada satu masa.
Main Semula 2 · Andaian: mulakan rantai berselang-seli
Branch 1: andaikan R1C8=9 adalah palsu.
Branch 1: andaikan R1C8=9 adalah palsu.
Main Semula 3 · Hubungan kukuh: titik akhir yang lain dipaksa
R1C8=9 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 1. Oleh itu R1C7=9 mestilah benar.
R1C8=9 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 1. Oleh itu R1C7=9 mestilah benar.
Main Semula 4 · Hubungan lemah: mengaitkan konflik calon
R1C7=9 adalah benar. Alih keluar R5C7=9.
R1C7=9 adalah benar. Alih keluar R5C7=9.
Main Semula 5 · Petak yang sama: paksa calon lain
R5C7=9 adalah palsu. Dalam petak yang sama R5C7, calon lain R5C7=2 dipaksa benar di bawah andaian semasa.
R5C7=9 adalah palsu. Dalam petak yang sama R5C7, calon lain R5C7=2 dipaksa benar di bawah andaian semasa.
Main Semula 6 · Hubungan lemah: mengaitkan konflik calon
R5C7=2 adalah benar. Alih keluar R6C8=2.
R5C7=2 adalah benar. Alih keluar R6C8=2.
Main Semula 7 · Petak yang sama: paksa calon lain
R6C8=2 adalah palsu. Dalam petak yang sama R6C8, calon lain R6C8=1 dipaksa benar di bawah andaian semasa.
R6C8=2 adalah palsu. Dalam petak yang sama R6C8, calon lain R6C8=1 dipaksa benar di bawah andaian semasa.
Main Semula 8 · Hubungan lemah: mengaitkan konflik calon
R6C8=1 adalah benar. Alih keluar R3C8=1.
R6C8=1 adalah benar. Alih keluar R3C8=1.
Main Semula 9 · Petak yang sama: paksa calon lain
R3C8=1 adalah palsu. Dalam petak yang sama R3C8, calon lain R3C8=6 dipaksa benar di bawah andaian semasa.
R3C8=1 adalah palsu. Dalam petak yang sama R3C8, calon lain R3C8=6 dipaksa benar di bawah andaian semasa.
Main Semula 10 · Hubungan lemah: mengaitkan konflik calon
R3C8=6 adalah benar. Alih keluar R3C6=6.
R3C8=6 adalah benar. Alih keluar R3C6=6.
Main Semula 11 · Petak yang sama: paksa calon lain
R3C6=6 adalah palsu. Dalam petak yang sama R3C6, calon lain R3C6=4 dipaksa benar di bawah andaian semasa.
R3C6=6 adalah palsu. Dalam petak yang sama R3C6, calon lain R3C6=4 dipaksa benar di bawah andaian semasa.
Main Semula 12 · Hubungan lemah: mengaitkan konflik calon
R3C6=4 adalah benar. Alih keluar R5C6=4.
R3C6=4 adalah benar. Alih keluar R5C6=4.
Main Semula 13 · Hubungan kukuh: titik akhir yang lain dipaksa
R5C6=4 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 5. Oleh itu R5C4=4 mestilah benar.
R5C6=4 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 5. Oleh itu R5C4=4 mestilah benar.
Main Semula 14 · Hubungan lemah: mengaitkan konflik calon
R5C4=4 adalah benar. Alih keluar R5C4=3.
R5C4=4 adalah benar. Alih keluar R5C4=3.
Main Semula 15 · Hubungan kukuh: titik akhir yang lain dipaksa
R5C4=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 4. Oleh itu R6C4=3 mestilah benar.
R5C4=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 4. Oleh itu R6C4=3 mestilah benar.
Main Semula 16 · Hubungan lemah: mengaitkan konflik calon
R6C4=3 adalah benar. Alih keluar R6C9=3.
R6C4=3 adalah benar. Alih keluar R6C9=3.
Main Semula 17 · Hubungan kukuh: titik akhir yang lain dipaksa
R6C9=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 9. Oleh itu R4C9=3 mestilah benar.
R6C9=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 9. Oleh itu R4C9=3 mestilah benar.
Main Semula 18 · Hubungan lemah: mengaitkan konflik calon
R4C9=3 adalah benar. Alih keluar R4C9=7.
R4C9=3 adalah benar. Alih keluar R4C9=7.
Main Semula 19 · Hubungan kukuh: titik akhir yang lain dipaksa
R4C9=7 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 4. Oleh itu R4C8=7 mestilah benar.
R4C9=7 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 4. Oleh itu R4C8=7 mestilah benar.
Main Semula 20 · AIC
Titik akhir rakan sebaya R1C8=9 dan R4C8=7 membawa digit yang berbeza. Setiap calon silang bertanda R4C8=9 akan menjadikan kedua-dua titik akhir palsu, jadi alih keluarnya.
Titik akhir rakan sebaya R1C8=9 dan R4C8=7 membawa digit yang berbeza. Setiap calon silang bertanda R4C8=9 akan menjadikan kedua-dua titik akhir palsu, jadi alih keluarnya.
Main Semula 21 · Tarik balik pengisian segi empat tepat sebelumnya
Tarik balik andaian ini dan akibatnya. Kembali ke petikan calon yang tidak berubah sebelum meneliti kemungkinan seterusnya.
Tarik balik andaian ini dan akibatnya. Kembali ke petikan calon yang tidak berubah sebelum meneliti kemungkinan seterusnya.
Main Semula 22 · AIC
Tarik balik bekas titik akhir sementara. Jenis 2 AIC mengalih keluar calon silang R4C8=9 antara R1C8=9 dan R4C8=7 secara kekal.
Tarik balik bekas titik akhir sementara. Jenis 2 AIC mengalih keluar calon silang R4C8=9 antara R1C8=9 dan R4C8=7 secara kekal.
Perkara yang dibenarkan
Tarik balik bekas titik akhir sementara. Jenis 2 AIC mengalih keluar calon silang R4C8=9 antara R1C8=9 dan R4C8=7 secara kekal.
Nice Loop / AIC · Gunakan hasil yang disahkan: alih keluar calon atau letakkan digit apabila keadaan bertentangannya adalah mustahil.
Contoh langkah demi langkah · Gelung berterusan
Contoh ini bermula daripada kedudukan pertengahan yang disimpan. Calon mengambil kira penyingkiran logik terdahulu, bukan nota automatik yang baru dijana.
Biru: bukti. Hijau: kesimpulan. Nombor dipangkah: calon yang disingkirkan. R1C1 bermaksud baris 1, lajur 1.
Main Semula 1 · Baca AIC sebelum mengikutinya
Pelajaran Nice Loop / AIC ini menggunakan keluarga nod calon biasa HoDoKu: penyingkiran dan peletakan tidak berterusan, buka rantai Jenis 1 dan Jenis 2 serta gelung berterusan. Mulakan pada R9C3=6 adalah palsu dan periksa R9C3=5. Dalam lajur 3, baris 5, lajur 8, baris 9, garis penuh bermakna sekurang-kurangnya satu hujung adalah benar; pautan putus-putus bermakna kedua-dua hujung tidak boleh benar serentak. Ikuti satu perhubungan yang diserlahkan pada satu masa.
Pelajaran Nice Loop / AIC ini menggunakan keluarga nod calon biasa HoDoKu: penyingkiran dan peletakan tidak berterusan, buka rantai Jenis 1 dan Jenis 2 serta gelung berterusan. Mulakan pada R9C3=6 adalah palsu dan periksa R9C3=5. Dalam lajur 3, baris 5, lajur 8, baris 9, garis penuh bermakna sekurang-kurangnya satu hujung adalah benar; pautan putus-putus bermakna kedua-dua hujung tidak boleh benar serentak. Ikuti satu perhubungan yang diserlahkan pada satu masa.
Main Semula 2 · Andaian: mulakan rantai berselang-seli
Pilih R9C3=6 sahaja sebagai permulaan bacaan gelung tertutup ini. Ini bukan andaian percubaan; gelung berselang-seli akan kembali ke sini.
Pilih R9C3=6 sahaja sebagai permulaan bacaan gelung tertutup ini. Ini bukan andaian percubaan; gelung berselang-seli akan kembali ke sini.
Main Semula 3 · Hubungan kukuh: titik akhir yang lain dipaksa
R9C3=6 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 3. Oleh itu R5C3=6 mestilah benar.
R9C3=6 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 3. Oleh itu R5C3=6 mestilah benar.
Main Semula 4 · Hubungan lemah: mengaitkan konflik calon
R5C3=6 adalah benar. Alih keluar R5C8=6.
R5C3=6 adalah benar. Alih keluar R5C8=6.
Main Semula 5 · Petak yang sama: paksa calon lain
R5C8=6 adalah palsu. Dalam petak yang sama R5C8, calon lain R5C8=8 dipaksa benar di bawah andaian semasa.
R5C8=6 adalah palsu. Dalam petak yang sama R5C8, calon lain R5C8=8 dipaksa benar di bawah andaian semasa.
Main Semula 6 · Hubungan lemah: mengaitkan konflik calon
R5C8=8 adalah benar. Alih keluar R9C8=8.
R5C8=8 adalah benar. Alih keluar R9C8=8.
Main Semula 7 · Hubungan kukuh: titik akhir yang lain dipaksa
R9C8=8 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 9. Oleh itu R9C3=8 mestilah benar.
R9C8=8 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 9. Oleh itu R9C3=8 mestilah benar.
Main Semula 8 · Hubungan lemah: mengaitkan konflik calon
R9C3=8 adalah benar. Alih keluar R9C3=6.
R9C3=8 adalah benar. Alih keluar R9C3=6.
Main Semula 9 · AIC
Rantaian ditutup sebagai gelung berselang-seli berterusan. Oleh itu, setiap hubungan yang lemah pada gelung adalah kuat, yang mengeluarkan R9C3=5 daripada petak atau rumah yang terjejas.
Rantaian ditutup sebagai gelung berselang-seli berterusan. Oleh itu, setiap hubungan yang lemah pada gelung adalah kuat, yang mengeluarkan R9C3=5 daripada petak atau rumah yang terjejas.
Main Semula 10 · Tarik balik pengisian segi empat tepat sebelumnya
Tarik balik andaian ini dan akibatnya. Kembali ke petikan calon yang tidak berubah sebelum meneliti kemungkinan seterusnya.
Tarik balik andaian ini dan akibatnya. Kembali ke petikan calon yang tidak berubah sebelum meneliti kemungkinan seterusnya.
Main Semula 11 · AIC
Pelintasan gelung selesai; tarik balik keadaan sementaranya dan keluarkan R9C3=5 secara kekal.
Pelintasan gelung selesai; tarik balik keadaan sementaranya dan keluarkan R9C3=5 secara kekal.
Perkara yang dibenarkan
Pelintasan gelung selesai; tarik balik keadaan sementaranya dan keluarkan R9C3=5 secara kekal.
Nice Loop / AIC · Gunakan hasil yang disahkan: alih keluar calon atau letakkan digit apabila keadaan bertentangannya adalah mustahil.
Pelajaran ini diadaptasi daripada kandungan pembelajaran aplikasi Platon Sudoku. Baca contoh lengkap di sini, kemudian teruskan belajar dan berlatih dalam aplikasi.