Platon Sudoku · Belajar Sudoku
Jaringan paksaan (Forcing Net) · Contoh langkah demi langkah
A Forcing Net cawangan dan menggabungkan implikasi calon. Ia boleh menyangkal andaian atau membuktikan hasil yang sama merentasi alternatif. Alih keluar calon yang disangkal atau gunakan keputusan yang dikongsi oleh semua cawangan yang lengkap.
Pelajaran ini diadaptasi daripada kandungan pembelajaran aplikasi Platon Sudoku. Baca contoh lengkap di sini, kemudian teruskan belajar dan berlatih dalam aplikasi.
Lihat di Google PlayKenali corak
A Forcing Net cawangan dan menggabungkan implikasi calon. Ia boleh menyangkal andaian atau membuktikan hasil yang sama merentasi alternatif.
Bagaimana untuk mencarinya
Jejaki setiap premis melalui rangkaian cawangan, semak setiap pautan dan bandingkan percanggahan atau titik akhir biasa.
Perkara yang dibenarkan
Alih keluar calon yang disangkal atau gunakan keputusan yang dikongsi oleh semua cawangan yang lengkap.
Elakkan percampuran
Jangan langkau cawangan atau mengelirukan kesan yang dikongsi dengan kesan daripada satu laluan sahaja.
Contoh langkah demi langkah · Percanggahan
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
R1C3=7 adalah sama ada benar atau palsu. Graf menguji R1C3=7 adalah benar; percanggahan menolak keadaan itu dan memaksa R1C3=7 adalah palsu, jadi dua keadaan yang mungkin dipertimbangkan sepenuhnya. Ini ialah Forcing Net, bukan Forcing Chain, kerana graf pergantungan yang disahkan bercabang atau bercantum semula, bukan kekal sebagai satu laluan implikasi linear. Cawangan yang diterokai mengandungi nod yang disahkan 49.
Main Semula 2 · Penaakulan
Branch 1: andaikan R1C3=7 adalah benar.
Main Semula 3 · Penaakulan
R1C3=7 adalah benar. Alih keluar {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
Main Semula 4 · Penaakulan
Selepas pengecualian sebelumnya, R8C3=3 ialah satu-satunya pilihan yang tinggal dalam R8C3. Ia terpaksa di bawah andaian ini.
Main Semula 5 · Penaakulan
R8C3=3 adalah benar. Alih keluar R7C3=3.
Main Semula 6 · Penaakulan
Selepas pengecualian sebelumnya, R7C4=3 ialah satu-satunya pilihan yang tinggal dalam baris 7. Ia terpaksa di bawah andaian ini.
Main Semula 7 · Penaakulan
Selepas pengecualian sebelumnya, R8C2=7 ialah satu-satunya pilihan yang tinggal dalam baris 8. Ia terpaksa di bawah andaian ini.
Main Semula 8 · Penaakulan
R8C2=7 adalah benar. Alih keluar R8C2=8.
Main Semula 9 · Penaakulan
Selepas pengecualian sebelumnya, R8C8=8 ialah satu-satunya pilihan yang tinggal dalam baris 8. Ia terpaksa di bawah andaian ini.
Main Semula 10 · Penaakulan
R8C8=8 adalah benar. Alih keluar R8C8=4.
Main Semula 11 · Penaakulan
Selepas pengecualian sebelumnya, R6C1=7 ialah satu-satunya pilihan yang tinggal dalam lajur 1. Ia terpaksa di bawah andaian ini.
Main Semula 12 · Penaakulan
R6C1=7 adalah benar. Alih keluar R6C1=5.
Main Semula 13 · Penaakulan
Selepas pengecualian sebelumnya, R3C8=4 ialah satu-satunya pilihan yang tinggal dalam lajur 8. Ia terpaksa di bawah andaian ini.
Main Semula 14 · Penaakulan
R3C8=4 adalah benar. Alih keluar {R3C8=1, R3C8=6}.
Main Semula 15 · Penaakulan
Selepas pengecualian sebelumnya, R3C1=2 ialah satu-satunya pilihan yang tinggal dalam blok 1. Ia terpaksa di bawah andaian ini.
Main Semula 16 · Penaakulan
R3C1=2 adalah benar. Alih keluar R3C1=5.
Main Semula 17 · Penaakulan
Selepas pengecualian sebelumnya, R9C7=4 ialah satu-satunya pilihan yang tinggal dalam blok 9. Ia terpaksa di bawah andaian ini.
Main Semula 18 · Penaakulan
R9C7=4 adalah benar. Alih keluar R9C7=9.
Main Semula 19 · Penaakulan
Selepas pengecualian sebelumnya, R7C9=9 ialah satu-satunya pilihan yang tinggal dalam blok 9. Ia terpaksa di bawah andaian ini.
Main Semula 20 · Penaakulan
R3C8=4 adalah benar. Alih keluar R2C7=4.
Main Semula 21 · Penaakulan
R6C1=7 adalah benar. Alih keluar R6C7=7.
Main Semula 22 · Penaakulan
Selepas pengecualian sebelumnya, R6C7=6 ialah satu-satunya pilihan yang tinggal dalam R6C7. Ia terpaksa di bawah andaian ini.
Main Semula 23 · Penaakulan
R6C7=6 adalah benar. Alih keluar R3C7=6.
Main Semula 24 · Penaakulan
R7C4=3 adalah benar. Alih keluar R2C4=3.
Main Semula 25 · Penaakulan
R7C9=9 adalah benar. Alih keluar {R1C9=9, R7C3=9}.
Main Semula 26 · Penaakulan
R8C8=8 adalah benar. Alih keluar R1C8=8.
Main Semula 27 · Penaakulan
Selepas pengecualian sebelumnya, R3C9=6 ialah satu-satunya pilihan yang tinggal dalam baris 3. Ia terpaksa di bawah andaian ini.
Main Semula 28 · Penaakulan
R3C9=6 adalah benar. Alih keluar R3C9=1.
Main Semula 29 · Penaakulan
Selepas pengecualian sebelumnya, R9C1=9 ialah satu-satunya pilihan yang tinggal dalam baris 9. Ia terpaksa di bawah andaian ini.
Main Semula 30 · Penaakulan
R9C1=9 adalah benar. Alih keluar R9C1=5.
Main Semula 31 · Penaakulan
Selepas pengecualian sebelumnya, R2C1=5 ialah satu-satunya pilihan yang tinggal dalam lajur 1. Ia terpaksa di bawah andaian ini.
Main Semula 32 · Penaakulan
Selepas pengecualian sebelumnya, R2C3=9 ialah satu-satunya pilihan yang tinggal dalam lajur 3. Ia terpaksa di bawah andaian ini.
Main Semula 33 · Penaakulan
Selepas pengecualian sebelumnya, R2C9=1 ialah satu-satunya pilihan yang tinggal dalam blok 3. Ia terpaksa di bawah andaian ini.
Main Semula 34 · Penaakulan
Selepas pengecualian sebelumnya, R1C8=5 ialah satu-satunya pilihan yang tinggal dalam R1C8. Ia terpaksa di bawah andaian ini.
Main Semula 35 · Penaakulan
R1C8=5 adalah benar. Alih keluar R1C9=5.
Main Semula 36 · Penaakulan
Selepas pengecualian sebelumnya, R1C9=8 ialah satu-satunya pilihan yang tinggal dalam R1C9. Ia terpaksa di bawah andaian ini.
Main Semula 37 · Penaakulan
R1C9=8 adalah benar. Alih keluar R2C7=8.
Main Semula 38 · Penaakulan
R2C1=5 adalah benar. Alih keluar R2C4=5.
Main Semula 39 · Penaakulan
R2C3=9 adalah benar. Alih keluar R2C7=9.
Main Semula 40 · Penaakulan
Selepas pengecualian sebelumnya, R2C7=7 ialah satu-satunya pilihan yang tinggal dalam R2C7. Ia terpaksa di bawah andaian ini.
Main Semula 41 · Penaakulan
R2C7=7 adalah benar. Alih keluar R2C4=7.
Main Semula 42 · Penaakulan
R2C9=1 adalah benar. Alih keluar R2C4=1.
Main Semula 43 · Penaakulan
Andaian ini tidak meninggalkan kemungkinan nilai atau kedudukan dalam R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Petak Sudoku dan setiap digit yang hilang di rantau mesti mempunyai pilihan. Andaian itu mustahil.
Main Semula 44 · Tarik balik pengisian segi empat tepat sebelumnya
Tarik balik andaian ini dan akibatnya. Kembali ke petikan calon yang tidak berubah sebelum meneliti kemungkinan seterusnya.
Main Semula 45 · Kesimpulan
R1C3=7 boleh dialih keluar kerana ia tidak boleh benar dalam corak ini.
Perkara yang dibenarkan
R1C3=7 boleh dialih keluar kerana ia tidak boleh benar dalam corak ini.
Contoh langkah demi langkah · Hasil biasa
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
Set akar R7C5=2, R7C5=4, R7C5=9 mengandungi setiap kemungkinan permulaan dalam R7C5, jadi cabang akar adalah menyeluruh. Ini ialah Forcing Net, bukan Forcing Chain, kerana graf pergantungan yang disahkan bercabang atau bercantum semula, bukan kekal sebagai satu laluan implikasi linear. Graf pergantungan mengandungi nod yang disahkan 58 merentas cawangan akar 3. Keputusan biasa untuk disemak ialah R3C6=2 adalah benar.
Main Semula 2 · Penaakulan
Branch 1: andaikan R7C5=2 adalah benar.
Main Semula 3 · Penaakulan
R7C5=2 adalah benar. Alih keluar R3C5=2.
Main Semula 4 · Penaakulan
Selepas pengecualian sebelumnya, R3C6=2 ialah satu-satunya pilihan yang tinggal dalam baris 3. Ia terpaksa di bawah andaian ini.
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.
Main Semula 6 · Penaakulan
Branch 2: andaikan R7C5=4 adalah benar.
Main Semula 7 · Penaakulan
R7C5=4 adalah benar. Alih keluar R8C5=4.
Main Semula 8 · Penaakulan
Selepas pengecualian sebelumnya, R8C5=2 ialah satu-satunya pilihan yang tinggal dalam R8C5. Ia terpaksa di bawah andaian ini.
Main Semula 9 · Penaakulan
R8C5=2 adalah benar. Alih keluar R3C5=2.
Main Semula 10 · Penaakulan
Selepas pengecualian sebelumnya, R3C6=2 ialah satu-satunya pilihan yang tinggal dalam baris 3. Ia terpaksa di bawah andaian ini.
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.
Main Semula 12 · Penaakulan
Branch 3: andaikan R7C5=9 adalah benar.
Main Semula 13 · Penaakulan
R7C5=9 adalah benar. Alih keluar {R7C7=9, R7C8=9, R7C9=9}.
Main Semula 14 · Penaakulan
Selepas pengecualian sebelumnya, R7C8=7 ialah satu-satunya pilihan yang tinggal dalam R7C8. Ia terpaksa di bawah andaian ini.
Main Semula 15 · Penaakulan
R7C8=7 adalah benar. Alih keluar {R7C9=7, R9C7=7, R9C8=7}.
Main Semula 16 · Penaakulan
Selepas pengecualian sebelumnya, R7C9=8 ialah satu-satunya pilihan yang tinggal dalam R7C9. Ia terpaksa di bawah andaian ini.
Main Semula 17 · Penaakulan
R7C9=8 adalah benar. Alih keluar {R7C7=8, R8C7=8, R9C7=8}.
Main Semula 18 · Penaakulan
Selepas pengecualian sebelumnya, R9C1=7 ialah satu-satunya pilihan yang tinggal dalam baris 9. Ia terpaksa di bawah andaian ini.
Main Semula 19 · Penaakulan
Selepas pengecualian sebelumnya, R4C7=8 ialah satu-satunya pilihan yang tinggal dalam lajur 7. Ia terpaksa di bawah andaian ini.
Main Semula 20 · Penaakulan
R4C7=8 adalah benar. Alih keluar R4C7=5.
Main Semula 21 · Penaakulan
Selepas pengecualian sebelumnya, R4C9=7 ialah satu-satunya pilihan yang tinggal dalam lajur 9. Ia terpaksa di bawah andaian ini.
Main Semula 22 · Penaakulan
R4C9=7 adalah benar. Alih keluar R4C9=9.
Main Semula 23 · Penaakulan
Selepas pengecualian sebelumnya, R6C9=9 ialah satu-satunya pilihan yang tinggal dalam lajur 9. Ia terpaksa di bawah andaian ini.
Main Semula 24 · Penaakulan
R6C9=9 adalah benar. Alih keluar R6C9=1.
Main Semula 25 · Penaakulan
Selepas pengecualian sebelumnya, R5C7=1 ialah satu-satunya pilihan yang tinggal dalam blok 6. Ia terpaksa di bawah andaian ini.
Main Semula 26 · Penaakulan
R5C7=1 adalah benar. Alih keluar {R5C7=5, R5C7=7}.
Main Semula 27 · Penaakulan
Selepas pengecualian sebelumnya, R4C8=5 ialah satu-satunya pilihan yang tinggal dalam blok 6. Ia terpaksa di bawah andaian ini.
Main Semula 28 · Penaakulan
R4C8=5 adalah benar. Alih keluar {R4C5=5, R8C8=5}.
Main Semula 29 · Penaakulan
R5C7=1 adalah benar. Alih keluar {R2C7=1, R5C1=1}.
Main Semula 30 · Penaakulan
R9C1=7 adalah benar. Alih keluar R5C1=7.
Main Semula 31 · Penaakulan
Selepas pengecualian sebelumnya, R5C2=7 ialah satu-satunya pilihan yang tinggal dalam baris 5. Ia terpaksa di bawah andaian ini.
Main Semula 32 · Penaakulan
R5C2=7 adalah benar. Alih keluar R5C2=3.
Main Semula 33 · Penaakulan
Selepas pengecualian sebelumnya, R8C7=5 ialah satu-satunya pilihan yang tinggal dalam baris 8. Ia terpaksa di bawah andaian ini.
Main Semula 34 · Penaakulan
R8C7=5 adalah benar. Alih keluar {R8C7=2, R8C7=6}.
Main Semula 35 · Penaakulan
Selepas pengecualian sebelumnya, R1C1=1 ialah satu-satunya pilihan yang tinggal dalam lajur 1. Ia terpaksa di bawah andaian ini.
Main Semula 36 · Penaakulan
Selepas pengecualian sebelumnya, R7C7=6 ialah satu-satunya pilihan yang tinggal dalam lajur 7. Ia terpaksa di bawah andaian ini.
Main Semula 37 · Penaakulan
R7C7=6 adalah benar. Alih keluar R7C7=2.
Main Semula 38 · Penaakulan
Selepas pengecualian sebelumnya, R9C7=2 ialah satu-satunya pilihan yang tinggal dalam blok 9. Ia terpaksa di bawah andaian ini.
Main Semula 39 · Penaakulan
R9C7=2 adalah benar. Alih keluar R9C7=9.
Main Semula 40 · Penaakulan
Selepas pengecualian sebelumnya, R9C8=9 ialah satu-satunya pilihan yang tinggal dalam blok 9. Ia terpaksa di bawah andaian ini.
Main Semula 41 · Penaakulan
R9C8=9 adalah benar. Alih keluar R9C8=3.
Main Semula 42 · Penaakulan
R1C1=1 adalah benar. Alih keluar R2C3=1.
Main Semula 43 · Penaakulan
Selepas pengecualian sebelumnya, R2C5=1 ialah satu-satunya pilihan yang tinggal dalam baris 2. Ia terpaksa di bawah andaian ini.
Main Semula 44 · Penaakulan
R2C5=1 adalah benar. Alih keluar R2C5=5.
Main Semula 45 · Penaakulan
Selepas pengecualian sebelumnya, R9C3=3 ialah satu-satunya pilihan yang tinggal dalam baris 9. Ia terpaksa di bawah andaian ini.
Main Semula 46 · Penaakulan
Selepas pengecualian sebelumnya, R5C5=5 ialah satu-satunya pilihan yang tinggal dalam lajur 5. Ia terpaksa di bawah andaian ini.
Main Semula 47 · Penaakulan
R5C5=5 adalah benar. Alih keluar R5C5=3.
Main Semula 48 · Penaakulan
R9C3=3 adalah benar. Alih keluar R5C3=3.
Main Semula 49 · Penaakulan
Selepas pengecualian sebelumnya, R5C6=3 ialah satu-satunya pilihan yang tinggal dalam baris 5. Ia terpaksa di bawah andaian ini.
Main Semula 50 · Penaakulan
R5C6=3 adalah benar. Alih keluar R3C6=3.
Main Semula 51 · Penaakulan
Selepas pengecualian sebelumnya, R3C6=2 ialah satu-satunya pilihan yang tinggal dalam R3C6. Ia terpaksa di bawah andaian ini.
Main Semula 52 · Penaakulan
Setiap cawangan yang mungkin mencapai fakta yang sama: R3C6=2 adalah benar. Selepas menarik balik semua andaian, fakta ini tetap pasti.
Main Semula 53 · Kesimpulan
R3C6=2 dipaksa oleh corak ini.
Perkara yang dibenarkan
R3C6=2 dipaksa oleh corak ini.
Latihan
Pelajaran ini diadaptasi daripada kandungan pembelajaran aplikasi Platon Sudoku. Baca contoh lengkap di sini, kemudian teruskan belajar dan berlatih dalam aplikasi.
Lihat di Google Play