Rantai pemaksaan: bandingkan setiap cabang
Teknik forcing chain menelusuri konsekuensi dari pemilihan kandidat angka. Dalam forcing chain berbasis sel, pertimbangkan setiap kandidat angka dalam satu sel; dalam forcing chain berbasis unit, pertimbangkan setiap posisi yang masih mungkin ditempati oleh satu angka tertentu dalam baris, kolom, atau kotak 3×3. Kesimpulan yang sama baru dapat digunakan dengan aman setelah setiap kasus awal diperiksa. Kontradiksi justru menunjukkan bahwa asumsi yang menyebabkannya keliru.
Ide utama
Jika kedua kemungkinan nilai sel awal yang memiliki dua kandidat memaksa kandidat Z berada di sel yang berbagi baris, kolom, atau kotak dengan sel target, Z dapat dihapus dari sel target tersebut.
Lihat langkahnya satu per satu
Gunakan contoh yang sama dengan pelajaran XY-Wing untuk mengikuti kedua kemungkinan: R1C3 bernilai 5 atau 7. Catatan kandidat sudah memperhitungkan eliminasi sebelumnya.
Langkah 1 dari 4
Pilih titik awal percabangan yang terkendali
R1C3 memiliki tepat dua kandidat, sehingga analisis mencakup dua kasus yang mewakili seluruh kemungkinan.
Langkah 2 dari 4
Telusuri kedua implikasi
Jika R1C3 bernilai 5, R1C4 harus bernilai 6. Jika R1C3 bernilai 7, R2C3 harus bernilai 6.
Langkah 3 dari 4
Temukan hasil yang sama
R2C4 berbagi baris atau kolom dengan kedua sel yang mungkin dipaksa bernilai 6, sehingga R2C4 tidak dapat berisi 6 pada cabang mana pun.
Langkah 4 dari 4
Pertahankan hanya kesimpulan yang tidak bergantung pada cabang
Hapus 6 dari R2C4. Jangan menempatkan kandidat yang diasumsikan kecuali salah satu cabang telah terbukti tidak mungkin.
Coba terapkan pada teka-teki hari ini
Gunakan rantai pendek ketika teknik yang lebih sederhana tidak menghasilkan kemajuan. Rantai inferensi bergantian (AIC) menyelingi hubungan kuat (jika satu kandidat salah, kandidat lainnya harus benar) dan hubungan lemah (jika satu benar, yang lainnya harus salah). Pada kisi ini, jika R1C4 bukan 6, nilainya harus 5; R1C3 lalu tidak boleh 5 sehingga nilainya 7; R2C3 lalu tidak boleh 7 sehingga nilainya 6. Jadi R1C4 atau R2C3 harus berisi 6, dan sel R2C4 yang melihat keduanya tidak boleh berisi 6. Ini adalah eliminasi yang sama, ditulis sebagai AIC. Periksa setiap hubungan berdasarkan kandidat saat ini, bukan hanya bentuk garisnya. Pelajaran Nice Loops sebelumnya menunjukkan hubungan bergantian dalam sebuah lingkaran tertutup.
Mainkan hari ini