Jaringan pemaksaan (Forcing Net) · Contoh langkah demi langkah
A Forcing Net mencabang dan menggabungkan implikasi kandidat. Hal ini dapat menyangkal asumsi atau membuktikan hasil yang sama di seluruh alternatif. Hapus kandidat yang ditolak atau terapkan hasil yang dibagikan oleh semua cabang lengkap.
Pelajaran ini diadaptasi dari aplikasi Platon Sudoku. Baca contoh lengkap di sini, lalu lanjutkan belajar dan berlatih di aplikasi.
A Forcing Net mencabang dan menggabungkan implikasi kandidat. Hal ini dapat menyangkal asumsi atau membuktikan hasil yang sama di seluruh alternatif.
Bagaimana menemukannya
Lacak setiap premis melalui jaringan percabangan, periksa setiap tautan, dan bandingkan kontradiksi atau titik akhir yang umum.
Apa yang diizinkan
Hapus kandidat yang ditolak atau terapkan hasil yang dibagikan oleh semua cabang lengkap.
Hindari campur aduk
Jangan melewatkan satu cabang atau mengacaukan efek bersama dengan efek hanya dari satu jalur.
Contoh langkah demi langkah · Kontradiksi
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 · Dimana mencarinya
R1C3=7 benar atau salah. Grafik menguji R1C3=7 benar; sebuah kontradiksi mengesampingkan keadaan kebenaran logis tersebut dan memaksa R1C3=7 salah, sehingga dua kemungkinan keadaan kebenaran logis tercakup sepenuhnya. Ini adalah Jaringan pemaksaan (Forcing Net), bukan Rantai pemaksaan (Forcing Chain), karena grafik ketergantungan yang terverifikasi menyebar atau menyatu alih-alih tetap menjadi satu jalur implikasi linier. Cabang yang dieksplorasi berisi node terverifikasi 49.
R1C3=7 benar atau salah. Grafik menguji R1C3=7 benar; sebuah kontradiksi mengesampingkan keadaan kebenaran logis tersebut dan memaksa R1C3=7 salah, sehingga dua kemungkinan keadaan kebenaran logis tercakup sepenuhnya. Ini adalah Jaringan pemaksaan (Forcing Net), bukan Rantai pemaksaan (Forcing Chain), karena grafik ketergantungan yang terverifikasi menyebar atau menyatu alih-alih tetap menjadi satu jalur implikasi linier. Cabang yang dieksplorasi berisi node terverifikasi 49.
Setelah pengecualian sebelumnya, R8C3=3 adalah satu-satunya opsi yang tersisa di R8C3. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R8C3=3 adalah satu-satunya opsi yang tersisa di R8C3. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 5 · Penalaran
R8C3=3 benar. Hapus R7C3=3.
R8C3=3 benar. Hapus R7C3=3.
Langkah 6 · Penalaran
Setelah pengecualian sebelumnya, R7C4=3 adalah satu-satunya opsi yang tersisa di baris 7. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R7C4=3 adalah satu-satunya opsi yang tersisa di baris 7. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 7 · Penalaran
Setelah pengecualian sebelumnya, R8C2=7 adalah satu-satunya opsi yang tersisa di baris 8. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R8C2=7 adalah satu-satunya opsi yang tersisa di baris 8. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 8 · Penalaran
R8C2=7 benar. Hapus R8C2=8.
R8C2=7 benar. Hapus R8C2=8.
Langkah 9 · Penalaran
Setelah pengecualian sebelumnya, R8C8=8 adalah satu-satunya opsi yang tersisa di baris 8. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R8C8=8 adalah satu-satunya opsi yang tersisa di baris 8. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 10 · Penalaran
R8C8=8 benar. Hapus R8C8=4.
R8C8=8 benar. Hapus R8C8=4.
Langkah 11 · Penalaran
Setelah pengecualian sebelumnya, R6C1=7 adalah satu-satunya opsi yang tersisa di kolom 1. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R6C1=7 adalah satu-satunya opsi yang tersisa di kolom 1. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 12 · Penalaran
R6C1=7 benar. Hapus R6C1=5.
R6C1=7 benar. Hapus R6C1=5.
Langkah 13 · Penalaran
Setelah pengecualian sebelumnya, R3C8=4 adalah satu-satunya opsi yang tersisa di kolom 8. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R3C8=4 adalah satu-satunya opsi yang tersisa di kolom 8. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 14 · Penalaran
R3C8=4 benar. Hapus {R3C8=1, R3C8=6}.
R3C8=4 benar. Hapus {R3C8=1, R3C8=6}.
Langkah 15 · Penalaran
Setelah pengecualian sebelumnya, R3C1=2 adalah satu-satunya opsi yang tersisa di kotak 1. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R3C1=2 adalah satu-satunya opsi yang tersisa di kotak 1. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 16 · Penalaran
R3C1=2 benar. Hapus R3C1=5.
R3C1=2 benar. Hapus R3C1=5.
Langkah 17 · Penalaran
Setelah pengecualian sebelumnya, R9C7=4 adalah satu-satunya opsi yang tersisa di kotak 9. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R9C7=4 adalah satu-satunya opsi yang tersisa di kotak 9. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 18 · Penalaran
R9C7=4 benar. Hapus R9C7=9.
R9C7=4 benar. Hapus R9C7=9.
Langkah 19 · Penalaran
Setelah pengecualian sebelumnya, R7C9=9 adalah satu-satunya opsi yang tersisa di kotak 9. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R7C9=9 adalah satu-satunya opsi yang tersisa di kotak 9. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 20 · Penalaran
R3C8=4 benar. Hapus R2C7=4.
R3C8=4 benar. Hapus R2C7=4.
Langkah 21 · Penalaran
R6C1=7 benar. Hapus R6C7=7.
R6C1=7 benar. Hapus R6C7=7.
Langkah 22 · Penalaran
Setelah pengecualian sebelumnya, R6C7=6 adalah satu-satunya opsi yang tersisa di R6C7. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R6C7=6 adalah satu-satunya opsi yang tersisa di R6C7. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 23 · Penalaran
R6C7=6 benar. Hapus R3C7=6.
R6C7=6 benar. Hapus R3C7=6.
Langkah 24 · Penalaran
R7C4=3 benar. Hapus R2C4=3.
R7C4=3 benar. Hapus R2C4=3.
Langkah 25 · Penalaran
R7C9=9 benar. Hapus {R1C9=9, R7C3=9}.
R7C9=9 benar. Hapus {R1C9=9, R7C3=9}.
Langkah 26 · Penalaran
R8C8=8 benar. Hapus R1C8=8.
R8C8=8 benar. Hapus R1C8=8.
Langkah 27 · Penalaran
Setelah pengecualian sebelumnya, R3C9=6 adalah satu-satunya opsi yang tersisa di baris 3. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R3C9=6 adalah satu-satunya opsi yang tersisa di baris 3. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 28 · Penalaran
R3C9=6 benar. Hapus R3C9=1.
R3C9=6 benar. Hapus R3C9=1.
Langkah 29 · Penalaran
Setelah pengecualian sebelumnya, R9C1=9 adalah satu-satunya opsi yang tersisa di baris 9. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R9C1=9 adalah satu-satunya opsi yang tersisa di baris 9. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 30 · Penalaran
R9C1=9 benar. Hapus R9C1=5.
R9C1=9 benar. Hapus R9C1=5.
Langkah 31 · Penalaran
Setelah pengecualian sebelumnya, R2C1=5 adalah satu-satunya opsi yang tersisa di kolom 1. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R2C1=5 adalah satu-satunya opsi yang tersisa di kolom 1. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 32 · Penalaran
Setelah pengecualian sebelumnya, R2C3=9 adalah satu-satunya opsi yang tersisa di kolom 3. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R2C3=9 adalah satu-satunya opsi yang tersisa di kolom 3. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 33 · Penalaran
Setelah pengecualian sebelumnya, R2C9=1 adalah satu-satunya opsi yang tersisa di kotak 3. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R2C9=1 adalah satu-satunya opsi yang tersisa di kotak 3. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 34 · Penalaran
Setelah pengecualian sebelumnya, R1C8=5 adalah satu-satunya opsi yang tersisa di R1C8. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R1C8=5 adalah satu-satunya opsi yang tersisa di R1C8. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 35 · Penalaran
R1C8=5 benar. Hapus R1C9=5.
R1C8=5 benar. Hapus R1C9=5.
Langkah 36 · Penalaran
Setelah pengecualian sebelumnya, R1C9=8 adalah satu-satunya opsi yang tersisa di R1C9. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R1C9=8 adalah satu-satunya opsi yang tersisa di R1C9. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 37 · Penalaran
R1C9=8 benar. Hapus R2C7=8.
R1C9=8 benar. Hapus R2C7=8.
Langkah 38 · Penalaran
R2C1=5 benar. Hapus R2C4=5.
R2C1=5 benar. Hapus R2C4=5.
Langkah 39 · Penalaran
R2C3=9 benar. Hapus R2C7=9.
R2C3=9 benar. Hapus R2C7=9.
Langkah 40 · Penalaran
Setelah pengecualian sebelumnya, R2C7=7 adalah satu-satunya opsi yang tersisa di R2C7. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R2C7=7 adalah satu-satunya opsi yang tersisa di R2C7. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 41 · Penalaran
R2C7=7 benar. Hapus R2C4=7.
R2C7=7 benar. Hapus R2C4=7.
Langkah 42 · Penalaran
R2C9=1 benar. Hapus R2C4=1.
R2C9=1 benar. Hapus R2C4=1.
Langkah 43 · Penalaran
Asumsi ini tidak menyisakan kemungkinan nilai atau posisi di R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Sel Sudoku dan setiap digit yang hilang di suatu wilayah harus memiliki opsi. Asumsi itu tidak mungkin.
Asumsi ini tidak menyisakan kemungkinan nilai atau posisi di R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Sel Sudoku dan setiap digit yang hilang di suatu wilayah harus memiliki opsi. Asumsi itu tidak mungkin.
Langkah 44 · 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 45 · Kesimpulan
R1C3=7 dapat dihilangkan karena tidak mungkin benar pada pola ini.
R1C3=7 dapat dihilangkan karena tidak mungkin benar pada pola ini.
Apa yang diizinkan
R1C3=7 dapat dihilangkan karena tidak mungkin benar pada pola ini.
Jaringan pemaksaan (Forcing Net) · Hapus kandidat yang ditolak atau terapkan hasil yang dibagikan oleh semua cabang lengkap.
Contoh langkah demi langkah · Hasil umum
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 · Dimana mencarinya
Kumpulan akar R7C5=2, R7C5=4, R7C5=9 berisi setiap kemungkinan awal di R7C5, sehingga cabang akarnya lengkap. Ini adalah Jaringan pemaksaan (Forcing Net), bukan Rantai pemaksaan (Forcing Chain), karena grafik ketergantungan yang terverifikasi menyebar atau menyatu alih-alih tetap menjadi satu jalur implikasi linier. Grafik ketergantungan berisi node terverifikasi 58 di seluruh cabang akar 3. Hasil umum yang harus diperiksa adalah R3C6=2 benar.
Kumpulan akar R7C5=2, R7C5=4, R7C5=9 berisi setiap kemungkinan awal di R7C5, sehingga cabang akarnya lengkap. Ini adalah Jaringan pemaksaan (Forcing Net), bukan Rantai pemaksaan (Forcing Chain), karena grafik ketergantungan yang terverifikasi menyebar atau menyatu alih-alih tetap menjadi satu jalur implikasi linier. Grafik ketergantungan berisi node terverifikasi 58 di seluruh cabang akar 3. Hasil umum yang harus diperiksa adalah R3C6=2 benar.
Langkah 2 · Penalaran
Cabang 1: misalkan R7C5=2 benar.
Cabang 1: misalkan R7C5=2 benar.
Langkah 3 · Penalaran
R7C5=2 benar. Hapus R3C5=2.
R7C5=2 benar. Hapus R3C5=2.
Langkah 4 · Penalaran
Setelah pengecualian sebelumnya, R3C6=2 adalah satu-satunya opsi yang tersisa di baris 3. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R3C6=2 adalah satu-satunya opsi yang tersisa di baris 3. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 5 · 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 6 · Penalaran
Cabang 2: misalkan R7C5=4 benar.
Cabang 2: misalkan R7C5=4 benar.
Langkah 7 · Penalaran
R7C5=4 benar. Hapus R8C5=4.
R7C5=4 benar. Hapus R8C5=4.
Langkah 8 · Penalaran
Setelah pengecualian sebelumnya, R8C5=2 adalah satu-satunya opsi yang tersisa di R8C5. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R8C5=2 adalah satu-satunya opsi yang tersisa di R8C5. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 9 · Penalaran
R8C5=2 benar. Hapus R3C5=2.
R8C5=2 benar. Hapus R3C5=2.
Langkah 10 · Penalaran
Setelah pengecualian sebelumnya, R3C6=2 adalah satu-satunya opsi yang tersisa di baris 3. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R3C6=2 adalah satu-satunya opsi yang tersisa di baris 3. Hal ini dipaksakan berdasarkan asumsi ini.
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 · Penalaran
Cabang 3: misalkan R7C5=9 benar.
Cabang 3: misalkan R7C5=9 benar.
Langkah 13 · Penalaran
R7C5=9 benar. Hapus {R7C7=9, R7C8=9, R7C9=9}.
R7C5=9 benar. Hapus {R7C7=9, R7C8=9, R7C9=9}.
Langkah 14 · Penalaran
Setelah pengecualian sebelumnya, R7C8=7 adalah satu-satunya opsi yang tersisa di R7C8. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R7C8=7 adalah satu-satunya opsi yang tersisa di R7C8. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 15 · Penalaran
R7C8=7 benar. Hapus {R7C9=7, R9C7=7, R9C8=7}.
R7C8=7 benar. Hapus {R7C9=7, R9C7=7, R9C8=7}.
Langkah 16 · Penalaran
Setelah pengecualian sebelumnya, R7C9=8 adalah satu-satunya opsi yang tersisa di R7C9. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R7C9=8 adalah satu-satunya opsi yang tersisa di R7C9. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 17 · Penalaran
R7C9=8 benar. Hapus {R7C7=8, R8C7=8, R9C7=8}.
R7C9=8 benar. Hapus {R7C7=8, R8C7=8, R9C7=8}.
Langkah 18 · Penalaran
Setelah pengecualian sebelumnya, R9C1=7 adalah satu-satunya opsi yang tersisa di baris 9. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R9C1=7 adalah satu-satunya opsi yang tersisa di baris 9. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 19 · Penalaran
Setelah pengecualian sebelumnya, R4C7=8 adalah satu-satunya opsi yang tersisa di kolom 7. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R4C7=8 adalah satu-satunya opsi yang tersisa di kolom 7. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 20 · Penalaran
R4C7=8 benar. Hapus R4C7=5.
R4C7=8 benar. Hapus R4C7=5.
Langkah 21 · Penalaran
Setelah pengecualian sebelumnya, R4C9=7 adalah satu-satunya opsi yang tersisa di kolom 9. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R4C9=7 adalah satu-satunya opsi yang tersisa di kolom 9. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 22 · Penalaran
R4C9=7 benar. Hapus R4C9=9.
R4C9=7 benar. Hapus R4C9=9.
Langkah 23 · Penalaran
Setelah pengecualian sebelumnya, R6C9=9 adalah satu-satunya opsi yang tersisa di kolom 9. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R6C9=9 adalah satu-satunya opsi yang tersisa di kolom 9. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 24 · Penalaran
R6C9=9 benar. Hapus R6C9=1.
R6C9=9 benar. Hapus R6C9=1.
Langkah 25 · Penalaran
Setelah pengecualian sebelumnya, R5C7=1 adalah satu-satunya opsi yang tersisa di kotak 6. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R5C7=1 adalah satu-satunya opsi yang tersisa di kotak 6. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 26 · Penalaran
R5C7=1 benar. Hapus {R5C7=5, R5C7=7}.
R5C7=1 benar. Hapus {R5C7=5, R5C7=7}.
Langkah 27 · Penalaran
Setelah pengecualian sebelumnya, R4C8=5 adalah satu-satunya opsi yang tersisa di kotak 6. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R4C8=5 adalah satu-satunya opsi yang tersisa di kotak 6. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 28 · Penalaran
R4C8=5 benar. Hapus {R4C5=5, R8C8=5}.
R4C8=5 benar. Hapus {R4C5=5, R8C8=5}.
Langkah 29 · Penalaran
R5C7=1 benar. Hapus {R2C7=1, R5C1=1}.
R5C7=1 benar. Hapus {R2C7=1, R5C1=1}.
Langkah 30 · Penalaran
R9C1=7 benar. Hapus R5C1=7.
R9C1=7 benar. Hapus R5C1=7.
Langkah 31 · Penalaran
Setelah pengecualian sebelumnya, R5C2=7 adalah satu-satunya opsi yang tersisa di baris 5. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R5C2=7 adalah satu-satunya opsi yang tersisa di baris 5. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 32 · Penalaran
R5C2=7 benar. Hapus R5C2=3.
R5C2=7 benar. Hapus R5C2=3.
Langkah 33 · Penalaran
Setelah pengecualian sebelumnya, R8C7=5 adalah satu-satunya opsi yang tersisa di baris 8. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R8C7=5 adalah satu-satunya opsi yang tersisa di baris 8. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 34 · Penalaran
R8C7=5 benar. Hapus {R8C7=2, R8C7=6}.
R8C7=5 benar. Hapus {R8C7=2, R8C7=6}.
Langkah 35 · Penalaran
Setelah pengecualian sebelumnya, R1C1=1 adalah satu-satunya opsi yang tersisa di kolom 1. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R1C1=1 adalah satu-satunya opsi yang tersisa di kolom 1. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 36 · Penalaran
Setelah pengecualian sebelumnya, R7C7=6 adalah satu-satunya opsi yang tersisa di kolom 7. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R7C7=6 adalah satu-satunya opsi yang tersisa di kolom 7. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 37 · Penalaran
R7C7=6 benar. Hapus R7C7=2.
R7C7=6 benar. Hapus R7C7=2.
Langkah 38 · Penalaran
Setelah pengecualian sebelumnya, R9C7=2 adalah satu-satunya opsi yang tersisa di kotak 9. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R9C7=2 adalah satu-satunya opsi yang tersisa di kotak 9. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 39 · Penalaran
R9C7=2 benar. Hapus R9C7=9.
R9C7=2 benar. Hapus R9C7=9.
Langkah 40 · Penalaran
Setelah pengecualian sebelumnya, R9C8=9 adalah satu-satunya opsi yang tersisa di kotak 9. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R9C8=9 adalah satu-satunya opsi yang tersisa di kotak 9. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 41 · Penalaran
R9C8=9 benar. Hapus R9C8=3.
R9C8=9 benar. Hapus R9C8=3.
Langkah 42 · Penalaran
R1C1=1 benar. Hapus R2C3=1.
R1C1=1 benar. Hapus R2C3=1.
Langkah 43 · Penalaran
Setelah pengecualian sebelumnya, R2C5=1 adalah satu-satunya opsi yang tersisa di baris 2. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R2C5=1 adalah satu-satunya opsi yang tersisa di baris 2. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 44 · Penalaran
R2C5=1 benar. Hapus R2C5=5.
R2C5=1 benar. Hapus R2C5=5.
Langkah 45 · Penalaran
Setelah pengecualian sebelumnya, R9C3=3 adalah satu-satunya opsi yang tersisa di baris 9. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R9C3=3 adalah satu-satunya opsi yang tersisa di baris 9. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 46 · Penalaran
Setelah pengecualian sebelumnya, R5C5=5 adalah satu-satunya opsi yang tersisa di kolom 5. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R5C5=5 adalah satu-satunya opsi yang tersisa di kolom 5. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 47 · Penalaran
R5C5=5 benar. Hapus R5C5=3.
R5C5=5 benar. Hapus R5C5=3.
Langkah 48 · Penalaran
R9C3=3 benar. Hapus R5C3=3.
R9C3=3 benar. Hapus R5C3=3.
Langkah 49 · Penalaran
Setelah pengecualian sebelumnya, R5C6=3 adalah satu-satunya opsi yang tersisa di baris 5. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R5C6=3 adalah satu-satunya opsi yang tersisa di baris 5. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 50 · Penalaran
R5C6=3 benar. Hapus R3C6=3.
R5C6=3 benar. Hapus R3C6=3.
Langkah 51 · Penalaran
Setelah pengecualian sebelumnya, R3C6=2 adalah satu-satunya opsi yang tersisa di R3C6. Hal ini dipaksakan berdasarkan asumsi ini.
Setelah pengecualian sebelumnya, R3C6=2 adalah satu-satunya opsi yang tersisa di R3C6. Hal ini dipaksakan berdasarkan asumsi ini.
Langkah 52 · Penalaran
Setiap cabang yang mungkin mencapai fakta yang sama: R3C6=2 benar. Setelah semua asumsi dicabut, fakta ini tetap pasti.
Setiap cabang yang mungkin mencapai fakta yang sama: R3C6=2 benar. Setelah semua asumsi dicabut, fakta ini tetap pasti.
Langkah 53 · Kesimpulan
R3C6=2 dipaksa oleh pola ini.
R3C6=2 dipaksa oleh pola ini.
Apa yang diizinkan
R3C6=2 dipaksa oleh pola ini.
Jaringan pemaksaan (Forcing Net) · Hapus kandidat yang ditolak atau terapkan hasil yang dibagikan oleh semua cabang lengkap.