Forcing Nets - Sudoku69

Forcing Nets (jaring pemaksa) adalah teknik terakhir yang masih logika murni. Kamu mengambil setiap kandidat satu sel secara bergiliran, menelusuri konsekuensinya sejauh mungkin, dan mencari sesuatu yang disepakati semua cabang. Apa pun yang mereka sepakati itu benar, karena salah satu kandidat itu adalah nilai sebenarnya. Tidak ada tebakan: kamu hanya memeriksa semua kasus, bukan satu.

Seperti Apa Polanya

Rantai mengikuti satu garis implikasi. Jaring mengikuti satu garis seperti itu untuk setiap pilihan sel atau unit awal, dan pada kasus umum sebuah garis bisa bercabang lagi: sebuah kesimpulan bisa membutuhkan dua deduksi sebelumnya sekaligus, seperti "sel ini 4 dan sel itu 9, jadi kotak hanya punya satu tempat tersisa untuk 7". Memeriksa semua pilihan itulah yang membuat jaring lebih kuat daripada rantai, dan lebih lambat diperiksa.

Ada dua cara memulai, dan dua cara menyelesaikan:

Mulai dari	Kamu telusuri	Yang dibuktikan
Sel dengan `k` kandidat	satu cabang per kandidat	apa pun yang dibagi semua cabang
Angka dengan `k` tempat di satu unit	satu cabang per tempat	apa pun yang dibagi semua cabang

Jika setiap cabang menghasilkan penempatan yang sama, penempatan itu benar. Jika setiap cabang menghapus kandidat yang sama, kandidat itu mati. Dan jika satu cabang menabrak kontradiksi (angka dua kali di satu unit, atau sel tanpa sisa kandidat), maka kandidat itu salah dengan sendirinya, tanpa perlu yang lain.

Kapan Mencarinya

Hanya ketika semua yang lebih murah sudah gagal: single, locked set, fish, wing, rantai, dan Almost Locked Set. Jaring mahal ditelusuri dan mudah salah, jadi ia langkah logis terakhir yang disengaja, bukan kebiasaan. Pilih sel awal dengan dua kandidat dan banyak tetangga dua kandidat; cabangnya tetap pendek dan semuanya tetap bisa diperiksa.

Cara Menerapkannya, Langkah demi Langkah

Segarkan semua catatan. Jaring yang dibangun di atas kandidat usang tidak membuktikan apa-apa.
Pilih sel dengan dua kandidat, atau angka dengan dua tempat di satu unit.
Andaikan pilihan pertama dan tulis hanya penempatan yang benar-benar terpaksa.
Batalkan sepenuhnya, lalu lakukan hal sama untuk pilihan kedua.
Bandingkan cabang-cabangnya. Simpan penempatan atau eliminasi yang mereka bagi.
Jika sebuah cabang bertentangan dengan dirinya sendiri, buang kandidat itu segera.

Contoh Kasus

Mulai dari Sebuah Sel

Teknik yang lebih mudah sudah habis. Perhatikan H1, yang hanya bisa 1, 5, atau 7.
H1 harus 1, 5, atau 7. Coba setiap nilai satu per satu dan perhatikan 7 di C1.
Cabang 1: H1 = 7. C1 berbagi kolom 1 dengan H1, jadi tidak bisa 7.
Cabang 2: H1 = 1. Maka A1 tidak bisa 1, jadi A1 adalah 7, dan C1 tidak bisa 7 (lagi-lagi kolom 1).
Cabang 3: H1 = 5. E1 kehilangan 5 (kolom 1), jadi F3 satu-satunya tempat 5 di kotak 4.
Dengan F3 = 5, F8 satu-satunya tempat 8 di baris F. Maka C8 tidak bisa 8, jadi C1 satu-satunya 8 di baris C.
C1 = 8, jadi C1 bukan 7.
Nilai percobaan dihapus. Ketiga cabang berakhir dengan C1 bukan 7.
7 dihapus dari C1 karena setiap nilai H1 menyingkirkannya.

Teknik yang lebih mudah sudah habis. Perhatikan H1, yang hanya bisa 1, 5, atau 7.

H1 memuat , dan targetnya adalah 7 di C1. Setiap nilai H1 ditelusuri bergiliran:

H1 = 7: C1 sekolom dengan H1 di kolom 1, jadi bukan 7.
H1 = 1: A1 tidak bisa 1, jadi A1 adalah 7, dan C1 bukan 7 dengan alasan kolom yang sama.
H1 = 5: E1 kehilangan 5-nya, jadi F3 satu-satunya 5 di kotak 4. Lalu F8 satu-satunya 8 di baris F, C8 tidak bisa 8, dan C1 satu-satunya 8 tersisa di baris C. C1 = 8, jadi C1 bukan 7.

Ketiga cabang berakhir dengan C1 bukan 7, jadi C1 kehilangan 7. Kamu tidak pernah tahu berapa H1: cabang-cabang itu sudah bekerja lalu dibuang.

Mulai dari Angka di Sebuah Unit

Teknik yang lebih mudah sudah habis. Perhatikan 7 di kotak 7.
Kotak 7 butuh 7, dan hanya bisa di G2, H2, atau J3. Coba setiap tempat dan perhatikan 7 di A2.
Cabang 1 dan 2: jika 7 ada di G2 atau H2, A2 tidak bisa 7, karena ketiga sel ada di kolom 2.
Cabang 3: J3 = 7. Maka J3 bukan 5, dan A3 menjadi satu-satunya tempat 5 di kolom 3.
Dengan A3 = 5, A2 satu-satunya tempat 1 di baris A. A2 = 1, jadi bukan 7.
Nilai percobaan dihapus. Di mana pun kotak 7 menaruh 7-nya, A2 berakhir tanpa 7.
7 dihapus dari A2.

Teknik yang lebih mudah sudah habis. Perhatikan 7 di kotak 7.

Kotak 7 butuh angka 7, dan hanya bisa di G2, H2, atau J3. Targetnya adalah 7 di A2:

7 di G2 atau H2: A2 sekolom dengan kedua sel itu di kolom 2, jadi bukan 7.
7 di J3: J3 lalu bukan 5, jadi A3 satu-satunya 5 di kolom 3. Dengan A3 = 5, A2 satu-satunya 1 di baris A, jadi A2 = 1 dan bukan 7.

Di mana pun kotak 7 menaruh angka 7-nya, A2 tidak punya 7, jadi A2 kehilangannya.

Di kedua papan, setiap cabang mencapai hasil yang sama, dan itulah seluruh argumennya. Jaring sungguhan juga bisa bercabang lagi di dalam cabang, dan di sana sebuah kesimpulan mungkin membutuhkan dua deduksi sebelumnya sekaligus.

Kesalahan Umum

Meninggalkan tanda dari satu cabang di grid saat memulai cabang berikutnya. Setiap cabang harus dimulai dari posisi yang sama dan bersih.
Mengikuti "mungkin" alih-alih penempatan yang terpaksa. Hanya single dan eliminasi terkunci yang boleh ditulis.
Melewatkan satu kandidat sel awal. Lewati satu cabang dan kesepakatannya tak bernilai.
Menganggap kontradiksi di satu cabang sebagai bukti kesimpulan cabang lain.

Di Mana Kamu Menemuinya

Forcing Nets adalah yang dituntut grid tersulit kami. Harapkan di puzzle Legendaris, dan hanya setelah teknik rantai seperti 3D Medusa sudah dicoba. Apa pun yang diselesaikan jaring, teknik yang lebih pendek pada prinsipnya juga bisa. Jaring adalah yang kamu pakai ketika kamu tidak bisa menemukan teknik yang lebih pendek itu.