Satu set lengkap alternatif calon diikuti melalui rantaian implikasi linear yang berasingan. Simpan hanya peletakan atau penyingkiran yang dikongsi oleh setiap cawangan yang berdaya maju.
Pelajaran ini diadaptasi daripada kandungan pembelajaran aplikasi Platon Sudoku. Baca contoh lengkap di sini, kemudian teruskan belajar dan berlatih dalam aplikasi.
Satu set lengkap alternatif calon diikuti melalui rantaian implikasi linear yang berasingan.
Bagaimana untuk mencarinya
Pilih pemisahan benar/salah atau semua kedudukan digit dalam satu rantau; ikut setiap cawangan kepada akibat yang disahkan.
Perkara yang dibenarkan
Simpan hanya peletakan atau penyingkiran yang dikongsi oleh setiap cawangan yang berdaya maju.
Elakkan percampuran
Satu cawangan mencapai keputusan tidak mencukupi; alternatif permulaan mesti meliputi semua kemungkinan.
Contoh langkah demi langkah · Dua cawangan
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 · Di mana hendak dilihat
Keputusan biasa untuk dibuktikan ialah R1C2=7; suis cawangan ialah R1C2=5. Mana-mana calon sama ada benar atau palsu, jadi kedua-dua cabang ini merangkumi setiap kemungkinan. Jika kedua-duanya mencapai hasil yang sama, keputusan itu terpaksa.
Keputusan biasa untuk dibuktikan ialah R1C2=7; suis cawangan ialah R1C2=5. Mana-mana calon sama ada benar atau palsu, jadi kedua-dua cabang ini merangkumi setiap kemungkinan. Jika kedua-duanya mencapai hasil yang sama, keputusan itu terpaksa.
Main Semula 2 · Penaakulan
Branch 1: andaikan R1C2=5 adalah benar.
Branch 1: andaikan R1C2=5 adalah benar.
Main Semula 3 · Penaakulan
R1C2=5 adalah benar. Alih keluar R1C2=7.
R1C2=5 adalah benar. Alih keluar R1C2=7.
Main Semula 4 · 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 5 · Penaakulan
Branch 2: andaikan R1C2=5 adalah palsu.
Branch 2: andaikan R1C2=5 adalah palsu.
Main Semula 6 · Penaakulan
R1C2=5 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 1. Oleh itu R1C5=5 mestilah benar.
R1C2=5 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 1. Oleh itu R1C5=5 mestilah benar.
Main Semula 7 · Penaakulan
R1C5=5 adalah benar. Alih keluar R2C5=5 daripada lajur 5.
R1C5=5 adalah benar. Alih keluar R2C5=5 daripada lajur 5.
Main Semula 8 · Penaakulan
R2C5=5 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 2. Oleh itu R2C8=5 mestilah benar.
R2C5=5 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 2. Oleh itu R2C8=5 mestilah benar.
Main Semula 9 · Penaakulan
R2C8=5 adalah benar. Alih keluar R2C8=9.
R2C8=5 adalah benar. Alih keluar R2C8=9.
Main Semula 10 · Penaakulan
R2C8=9 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 2. Oleh itu R2C4=9 mestilah benar.
R2C8=9 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 2. Oleh itu R2C4=9 mestilah benar.
Main Semula 11 · Penaakulan
R2C4=9 adalah benar. Alih keluar R1C4=9 daripada lajur 4.
R2C4=9 adalah benar. Alih keluar R1C4=9 daripada lajur 4.
Main Semula 12 · Penaakulan
R1C4=9 adalah palsu. R1C4 kini hanya tinggal R1C4=7, jadi ia mesti benar.
R1C4=9 adalah palsu. R1C4 kini hanya tinggal R1C4=7, jadi ia mesti benar.
Main Semula 13 · Penaakulan
R1C4=7 adalah benar. Alih keluar R1C2=7 daripada baris 1.
R1C4=7 adalah benar. Alih keluar R1C2=7 daripada baris 1.
Main Semula 14 · Penaakulan
Setiap cawangan yang mungkin mencapai fakta yang sama: R1C2=7 adalah palsu. Selepas menarik balik semua andaian, fakta ini tetap pasti.
Setiap cawangan yang mungkin mencapai fakta yang sama: R1C2=7 adalah palsu. Selepas menarik balik semua andaian, fakta ini tetap pasti.
Main Semula 15 · Kesimpulan
Keputusan yang disahkan ialah R1C2=7 adalah palsu. Semua andaian sementara telah ditarik balik.
Keputusan yang disahkan ialah R1C2=7 adalah palsu. Semua andaian sementara telah ditarik balik.
Perkara yang dibenarkan
Keputusan yang disahkan ialah R1C2=7 adalah palsu. Semua andaian sementara telah ditarik balik.
Rantai paksaan (Forcing Chain) · Simpan hanya peletakan atau penyingkiran yang dikongsi oleh setiap cawangan yang berdaya maju.
Contoh langkah demi langkah · Beberapa cawangan
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 · Di mana hendak dilihat
Akar R2C4=2, R2C4=3, R2C4=6, R2C4=7 adalah setiap calon yang mungkin dalam R2C4. Ikuti setiap satu sebagai rantaian implikasi linear yang berasingan; jika setiap akar mencapai R2C6=3, keputusan itu terpaksa. Akar berbilang sahaja tidak menjadikan ini Forcing Net.
Akar R2C4=2, R2C4=3, R2C4=6, R2C4=7 adalah setiap calon yang mungkin dalam R2C4. Ikuti setiap satu sebagai rantaian implikasi linear yang berasingan; jika setiap akar mencapai R2C6=3, keputusan itu terpaksa. Akar berbilang sahaja tidak menjadikan ini Forcing Net.
Main Semula 2 · Penaakulan
Branch 1: andaikan R2C4=2 adalah benar.
Branch 1: andaikan R2C4=2 adalah benar.
Main Semula 3 · Penaakulan
R2C4=2 adalah benar. Alih keluar R2C4=3.
R2C4=2 adalah benar. Alih keluar R2C4=3.
Main Semula 4 · Penaakulan
R2C4=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 2. Oleh itu R2C6=3 mestilah benar.
R2C4=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 2. Oleh itu R2C6=3 mestilah benar.
Main Semula 5 · 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 6 · Penaakulan
Branch 2: andaikan R2C4=3 adalah benar.
Branch 2: andaikan R2C4=3 adalah benar.
Main Semula 7 · Penaakulan
R2C4=3 adalah benar. Alih keluar R2C4=6.
R2C4=3 adalah benar. Alih keluar R2C4=6.
Main Semula 8 · Penaakulan
R2C4=6 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam blok 2. Oleh itu R1C5=6 mestilah benar.
R2C4=6 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam blok 2. Oleh itu R1C5=6 mestilah benar.
Main Semula 9 · Penaakulan
R1C5=6 adalah benar. Alih keluar R4C5=6 daripada lajur 5.
R1C5=6 adalah benar. Alih keluar R4C5=6 daripada lajur 5.
Main Semula 10 · Penaakulan
R4C5=6 adalah palsu. R4C5 kini hanya tinggal R4C5=3, jadi ia mesti benar.
R4C5=6 adalah palsu. R4C5 kini hanya tinggal R4C5=3, jadi ia mesti benar.
Main Semula 11 · Penaakulan
R4C5=3 adalah benar. Alih keluar R6C6=3 daripada blok 5.
R4C5=3 adalah benar. Alih keluar R6C6=3 daripada blok 5.
Main Semula 12 · Penaakulan
R6C6=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 6. Oleh itu R2C6=3 mestilah benar.
R6C6=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam lajur 6. Oleh itu R2C6=3 mestilah benar.
Main Semula 13 · 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 14 · Penaakulan
Branch 3: andaikan R2C4=6 adalah benar.
Branch 3: andaikan R2C4=6 adalah benar.
Main Semula 15 · Penaakulan
R2C4=6 adalah benar. Alih keluar R2C4=3.
R2C4=6 adalah benar. Alih keluar R2C4=3.
Main Semula 16 · Penaakulan
R2C4=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 2. Oleh itu R2C6=3 mestilah benar.
R2C4=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 2. Oleh itu R2C6=3 mestilah benar.
Main Semula 17 · 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 18 · Penaakulan
Branch 4: andaikan R2C4=7 adalah benar.
Branch 4: andaikan R2C4=7 adalah benar.
Main Semula 19 · Penaakulan
R2C4=7 adalah benar. Alih keluar R2C4=3.
R2C4=7 adalah benar. Alih keluar R2C4=3.
Main Semula 20 · Penaakulan
R2C4=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 2. Oleh itu R2C6=3 mestilah benar.
R2C4=3 adalah palsu. Bersama-sama kedua-dua bahagian ini mengandungi setiap pilihan yang tinggal dalam baris 2. Oleh itu R2C6=3 mestilah benar.
Main Semula 21 · Penaakulan
Setiap cawangan yang mungkin mencapai fakta yang sama: R2C6=3 adalah benar. Selepas menarik balik semua andaian, fakta ini tetap pasti.
Setiap cawangan yang mungkin mencapai fakta yang sama: R2C6=3 adalah benar. Selepas menarik balik semua andaian, fakta ini tetap pasti.
Main Semula 22 · Kesimpulan
Keputusan yang disahkan ialah R2C6=3 adalah benar. Semua andaian sementara telah ditarik balik.
Keputusan yang disahkan ialah R2C6=3 adalah benar. Semua andaian sementara telah ditarik balik.
Perkara yang dibenarkan
Keputusan yang disahkan ialah R2C6=3 adalah benar. Semua andaian sementara telah ditarik balik.
Rantai paksaan (Forcing Chain) · Simpan hanya peletakan atau penyingkiran yang dikongsi oleh setiap cawangan yang berdaya maju.
Pelajaran ini diadaptasi daripada kandungan pembelajaran aplikasi Platon Sudoku. Baca contoh lengkap di sini, kemudian teruskan belajar dan berlatih dalam aplikasi.