Platon Games
Bahasa Indonesia

Platon Sudoku · Belajar Sudoku

Rantai pemaksaan (Forcing Chain) · Contoh langkah demi langkah

Serangkaian kandidat alternatif yang lengkap diikuti melalui rantai implikasi linier yang terpisah. Pertahankan hanya penempatan atau eliminasi yang dibagikan oleh setiap cabang yang layak.

Pelajaran ini diadaptasi dari aplikasi Platon Sudoku. Baca contoh lengkap di sini, lalu lanjutkan belajar dan berlatih di aplikasi.

Lihat di Google Play

Kenali polanya

Serangkaian kandidat alternatif yang lengkap diikuti melalui rantai implikasi linier yang terpisah.

Bagaimana menemukannya

Pilih pembagian benar/salah atau semua posisi suatu digit dalam satu wilayah; ikuti setiap cabang ke konsekuensinya yang terverifikasi.

Apa yang diizinkan

Pertahankan hanya penempatan atau eliminasi yang dibagikan oleh setiap cabang yang layak.

Hindari campur aduk

Satu cabang yang mencapai hasil tidaklah cukup; alternatif awal harus mencakup semua kemungkinan.

Contoh langkah demi langkah · Dua cabang

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

Hasil umum yang harus dibuktikan adalah R1C2=7; saklar cabang adalah R1C2=5. Setiap digit kandidat bisa benar atau salah, sehingga kedua cabang ini mencakup setiap kemungkinan. Jika keduanya mencapai hasil yang sama, hasil tersebut terpaksa.

Hasil umum yang harus dibuktikan adalah R1C2=7; saklar cabang adalah R1C2=5. Setiap digit kandidat bisa benar atau salah, sehingga kedua cabang ini mencakup setiap kemungkinan. Jika keduanya mencapai hasil yang sama, hasil tersebut terpaksa.
Hasil umum yang harus dibuktikan adalah R1C2=7; saklar cabang adalah R1C2=5. Setiap digit kandidat bisa benar atau salah, sehingga kedua cabang ini mencakup setiap kemungkinan. Jika keduanya mencapai hasil yang sama, hasil tersebut terpaksa.
Langkah 2 · Penalaran

Cabang 1: misalkan R1C2=5 benar.

Cabang 1: misalkan R1C2=5 benar.
Cabang 1: misalkan R1C2=5 benar.
Langkah 3 · Penalaran

R1C2=5 benar. Hapus R1C2=7.

R1C2=5 benar. Hapus R1C2=7.
R1C2=5 benar. Hapus R1C2=7.
Langkah 4 · 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.
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Langkah 5 · Penalaran

Cabang 2: misalkan R1C2=5 salah.

Cabang 2: misalkan R1C2=5 salah.
Cabang 2: misalkan R1C2=5 salah.
Langkah 6 · Penalaran

R1C2=5 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 1. Oleh karena itu R1C5=5 harus benar.

R1C2=5 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 1. Oleh karena itu R1C5=5 harus benar.
R1C2=5 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 1. Oleh karena itu R1C5=5 harus benar.
Langkah 7 · Penalaran

R1C5=5 benar. Hapus R2C5=5 dari kolom 5.

R1C5=5 benar. Hapus R2C5=5 dari kolom 5.
R1C5=5 benar. Hapus R2C5=5 dari kolom 5.
Langkah 8 · Penalaran

R2C5=5 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C8=5 harus benar.

R2C5=5 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C8=5 harus benar.
R2C5=5 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C8=5 harus benar.
Langkah 9 · Penalaran

R2C8=5 benar. Hapus R2C8=9.

R2C8=5 benar. Hapus R2C8=9.
R2C8=5 benar. Hapus R2C8=9.
Langkah 10 · Penalaran

R2C8=9 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C4=9 harus benar.

R2C8=9 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C4=9 harus benar.
R2C8=9 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C4=9 harus benar.
Langkah 11 · Penalaran

R2C4=9 benar. Hapus R1C4=9 dari kolom 4.

R2C4=9 benar. Hapus R1C4=9 dari kolom 4.
R2C4=9 benar. Hapus R1C4=9 dari kolom 4.
Langkah 12 · Penalaran

R1C4=9 salah. R1C4 sekarang hanya tersisa R1C4=7, jadi pasti benar.

R1C4=9 salah. R1C4 sekarang hanya tersisa R1C4=7, jadi pasti benar.
R1C4=9 salah. R1C4 sekarang hanya tersisa R1C4=7, jadi pasti benar.
Langkah 13 · Penalaran

R1C4=7 benar. Hapus R1C2=7 dari baris 1.

R1C4=7 benar. Hapus R1C2=7 dari baris 1.
R1C4=7 benar. Hapus R1C2=7 dari baris 1.
Langkah 14 · Penalaran

Setiap cabang yang mungkin mencapai fakta yang sama: R1C2=7 salah. Setelah semua asumsi dicabut, fakta ini tetap pasti.

Setiap cabang yang mungkin mencapai fakta yang sama: R1C2=7 salah. Setelah semua asumsi dicabut, fakta ini tetap pasti.
Setiap cabang yang mungkin mencapai fakta yang sama: R1C2=7 salah. Setelah semua asumsi dicabut, fakta ini tetap pasti.
Langkah 15 · Kesimpulan

Hasil verifikasinya adalah R1C2=7 salah. Semua asumsi sementara telah ditarik.

Hasil verifikasinya adalah R1C2=7 salah. Semua asumsi sementara telah ditarik.
Hasil verifikasinya adalah R1C2=7 salah. Semua asumsi sementara telah ditarik.

Apa yang diizinkan

Hasil verifikasinya adalah R1C2=7 salah. Semua asumsi sementara telah ditarik.

Rantai pemaksaan (Forcing Chain) · Pertahankan hanya penempatan atau eliminasi yang dibagikan oleh setiap cabang yang layak.
Rantai pemaksaan (Forcing Chain) · Pertahankan hanya penempatan atau eliminasi yang dibagikan oleh setiap cabang yang layak.

Contoh langkah demi langkah · Beberapa cabang

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

Akar R2C4=2, R2C4=3, R2C4=6, R2C4=7 adalah setiap kandidat digit yang mungkin di R2C4. Ikuti masing-masing sebagai rantai implikasi linier yang terpisah; jika setiap root mencapai R2C6=3, hasil tersebut dipaksakan. Banyak akar saja tidak menjadikan ini Jaringan pemaksaan (Forcing Net).

Akar R2C4=2, R2C4=3, R2C4=6, R2C4=7 adalah setiap kandidat digit yang mungkin di R2C4. Ikuti masing-masing sebagai rantai implikasi linier yang terpisah; jika setiap root mencapai R2C6=3, hasil tersebut dipaksakan. Banyak akar saja tidak menjadikan ini Jaringan pemaksaan (Forcing Net).
Akar R2C4=2, R2C4=3, R2C4=6, R2C4=7 adalah setiap kandidat digit yang mungkin di R2C4. Ikuti masing-masing sebagai rantai implikasi linier yang terpisah; jika setiap root mencapai R2C6=3, hasil tersebut dipaksakan. Banyak akar saja tidak menjadikan ini Jaringan pemaksaan (Forcing Net).
Langkah 2 · Penalaran

Cabang 1: misalkan R2C4=2 benar.

Cabang 1: misalkan R2C4=2 benar.
Cabang 1: misalkan R2C4=2 benar.
Langkah 3 · Penalaran

R2C4=2 benar. Hapus R2C4=3.

R2C4=2 benar. Hapus R2C4=3.
R2C4=2 benar. Hapus R2C4=3.
Langkah 4 · Penalaran

R2C4=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C6=3 harus benar.

R2C4=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C6=3 harus benar.
R2C4=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C6=3 harus benar.
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.
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Langkah 6 · Penalaran

Cabang 2: misalkan R2C4=3 benar.

Cabang 2: misalkan R2C4=3 benar.
Cabang 2: misalkan R2C4=3 benar.
Langkah 7 · Penalaran

R2C4=3 benar. Hapus R2C4=6.

R2C4=3 benar. Hapus R2C4=6.
R2C4=3 benar. Hapus R2C4=6.
Langkah 8 · Penalaran

R2C4=6 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kotak 2. Oleh karena itu R1C5=6 harus benar.

R2C4=6 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kotak 2. Oleh karena itu R1C5=6 harus benar.
R2C4=6 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kotak 2. Oleh karena itu R1C5=6 harus benar.
Langkah 9 · Penalaran

R1C5=6 benar. Hapus R4C5=6 dari kolom 5.

R1C5=6 benar. Hapus R4C5=6 dari kolom 5.
R1C5=6 benar. Hapus R4C5=6 dari kolom 5.
Langkah 10 · Penalaran

R4C5=6 salah. R4C5 sekarang hanya tersisa R4C5=3, jadi pasti benar.

R4C5=6 salah. R4C5 sekarang hanya tersisa R4C5=3, jadi pasti benar.
R4C5=6 salah. R4C5 sekarang hanya tersisa R4C5=3, jadi pasti benar.
Langkah 11 · Penalaran

R4C5=3 benar. Hapus R6C6=3 dari kotak 5.

R4C5=3 benar. Hapus R6C6=3 dari kotak 5.
R4C5=3 benar. Hapus R6C6=3 dari kotak 5.
Langkah 12 · Penalaran

R6C6=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 6. Oleh karena itu R2C6=3 harus benar.

R6C6=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 6. Oleh karena itu R2C6=3 harus benar.
R6C6=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di kolom 6. Oleh karena itu R2C6=3 harus benar.
Langkah 13 · 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.
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Langkah 14 · Penalaran

Cabang 3: misalkan R2C4=6 benar.

Cabang 3: misalkan R2C4=6 benar.
Cabang 3: misalkan R2C4=6 benar.
Langkah 15 · Penalaran

R2C4=6 benar. Hapus R2C4=3.

R2C4=6 benar. Hapus R2C4=3.
R2C4=6 benar. Hapus R2C4=3.
Langkah 16 · Penalaran

R2C4=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C6=3 harus benar.

R2C4=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C6=3 harus benar.
R2C4=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C6=3 harus benar.
Langkah 17 · 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.
Tarik asumsi ini dan konsekuensinya. Kembali ke cuplikan digit kandidat yang tidak diubah sebelum memeriksa kemungkinan berikutnya.
Langkah 18 · Penalaran

Cabang 4: misalkan R2C4=7 benar.

Cabang 4: misalkan R2C4=7 benar.
Cabang 4: misalkan R2C4=7 benar.
Langkah 19 · Penalaran

R2C4=7 benar. Hapus R2C4=3.

R2C4=7 benar. Hapus R2C4=3.
R2C4=7 benar. Hapus R2C4=3.
Langkah 20 · Penalaran

R2C4=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C6=3 harus benar.

R2C4=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C6=3 harus benar.
R2C4=3 salah. Bersama-sama kedua sisi ini memuat setiap opsi yang tersisa di baris 2. Oleh karena itu R2C6=3 harus benar.
Langkah 21 · Penalaran

Setiap cabang yang mungkin mencapai fakta yang sama: R2C6=3 benar. Setelah semua asumsi dicabut, fakta ini tetap pasti.

Setiap cabang yang mungkin mencapai fakta yang sama: R2C6=3 benar. Setelah semua asumsi dicabut, fakta ini tetap pasti.
Setiap cabang yang mungkin mencapai fakta yang sama: R2C6=3 benar. Setelah semua asumsi dicabut, fakta ini tetap pasti.
Langkah 22 · Kesimpulan

Hasil verifikasinya adalah R2C6=3 benar. Semua asumsi sementara telah ditarik.

Hasil verifikasinya adalah R2C6=3 benar. Semua asumsi sementara telah ditarik.
Hasil verifikasinya adalah R2C6=3 benar. Semua asumsi sementara telah ditarik.

Apa yang diizinkan

Hasil verifikasinya adalah R2C6=3 benar. Semua asumsi sementara telah ditarik.

Rantai pemaksaan (Forcing Chain) · Pertahankan hanya penempatan atau eliminasi yang dibagikan oleh setiap cabang yang layak.
Rantai pemaksaan (Forcing Chain) · Pertahankan hanya penempatan atau eliminasi yang dibagikan oleh setiap cabang yang layak.

Latihan

Pelajaran ini diadaptasi dari aplikasi Platon Sudoku. Baca contoh lengkap di sini, lalu lanjutkan belajar dan berlatih di aplikasi.

Lihat di Google Play