Forcing Nets

Forcing Nets (jaringan paksaan) ialah teknik terakhir yang masih logik tulen. Anda mengambil setiap calon satu sel secara bergilir, mengikuti akibatnya sejauh yang boleh, dan mencari sesuatu yang disepakati semua cabang. Apa yang mereka sepakati adalah benar, kerana salah satu calon itu ialah nilai sebenar. Tiada tekaan terlibat: anda hanya memeriksa semua kes dan bukan satu.

Apakah coraknya

Rantai mengikuti satu garis implikasi. Jaringan mengikuti satu garis sebegitu bagi setiap pilihan sel atau unit permulaan, dan dalam kes am sesuatu garis boleh berpecah lagi: satu kesimpulan boleh memerlukan dua deduksi terdahulu serentak, seperti "sel ini 4 dan sel itu 9, maka kotak hanya ada satu tempat lagi untuk 7". Memeriksa semua pilihan menjadikan jaringan lebih kuat daripada rantai, dan lebih perlahan untuk disemak.

Ada dua cara untuk bermula, dan dua cara untuk menamatkan:

Jika setiap cabang menghasilkan penempatan yang sama, penempatan itu benar. Jika setiap cabang membuang calon yang sama, calon itu mati. Dan jika satu cabang bertembung dengan percanggahan (digit dua kali dalam satu unit, atau sel yang tiada apa-apa lagi), maka calon itu sahaja palsu dengan sendirinya, tanpa memerlukan yang lain.

Bila perlu mencarinya

Hanya apabila semua yang lebih murah telah gagal: singles, set terkunci, fish, wing, rantai dan Almost Locked Sets. Jaringan mahal untuk dijejaki dan mudah tersilap, jadi ia langkah logik terakhir yang disengajakan, bukan tabiat. Pilih sel permulaan dengan dua calon dan banyak jiran dwi-calon; cabangnya kekal pendek dan keseluruhannya kekal boleh disemak.

Cara menggunakannya, langkah demi langkah

1. Segarkan semua nota. Jaringan yang dibina atas calon lapuk tidak membuktikan apa-apa.
2. Pilih sel dengan dua calon, atau digit dengan dua tempat dalam satu unit.
3. Andaikan pilihan pertama dan tulis hanya penempatan yang benar-benar terpaksa.
4. Buat asal sepenuhnya, kemudian lakukan perkara sama bagi pilihan kedua.
5. Bandingkan cabang. Simpan mana-mana penempatan atau penyingkiran yang mereka kongsi.
6. Jika satu cabang bercanggah dengan dirinya, buang calon itu serta-merta.

Contoh yang diselesaikan

Bermula daripada sel

H1 memegang , dan sasarannya ialah 7 pada C1. Setiap nilai H1 diikuti secara bergilir:

• H1 = 7: C1 berkongsi lajur 1 dengan H1, jadi ia bukan 7.
• H1 = 1: A1 tidak boleh jadi 1, jadi A1 ialah 7, dan C1 bukan 7 atas sebab lajur yang sama.
• H1 = 5: E1 kehilangan 5nya, jadi F3 ialah satu-satunya 5 dalam kotak 4. Maka F8 ialah satu-satunya 8 dalam baris F, C8 tidak boleh jadi 8, dan C1 ialah satu-satunya 8 yang tinggal dalam baris C. C1 = 8, jadi C1 bukan 7.

Ketiga-tiga cabang berakhir dengan C1 bukan 7, jadi C1 kehilangan 7nya. Anda tidak pernah tahu apa H1: cabang itu telah menjalankan tugasnya dan dibuang.

Bermula daripada digit dalam satu unit

Kotak 7 memerlukan 7, dan ia hanya boleh diletakkan pada G2, H2 atau J3. Sasarannya ialah 7 pada A2:

• 7 pada G2 atau H2: A2 berkongsi lajur 2 dengan kedua-dua sel, jadi ia bukan 7.
• 7 pada J3: J3 kemudian bukan 5, jadi A3 ialah satu-satunya 5 dalam lajur 3. Dengan A3 = 5, A2 ialah satu-satunya 1 dalam baris A, jadi A2 = 1 dan bukan 7.

Di mana sahaja kotak 7 meletakkan 7nya, A2 tiada 7, jadi A2 kehilangannya.

Dalam kedua-dua papan, setiap cabang mencapai keputusan yang sama, itulah keseluruhan hujahnya. Jaringan sebenar juga boleh bercabang lagi dalam sesuatu cabang, dan di situ satu kesimpulan mungkin memerlukan dua deduksi terdahulu serentak.

Kesilapan biasa

• Membiarkan tanda daripada satu cabang pada grid apabila anda memulakan yang seterusnya. Setiap cabang mesti bermula daripada kedudukan yang sama dan belum disentuh.
• Mengikuti "mungkin" dan bukan penempatan yang terpaksa. Hanya singles dan penyingkiran terkunci boleh ditulis.
• Terlepas calon sel permulaan. Langkau satu cabang dan persetujuan itu tidak bernilai.
• Menganggap percanggahan dalam satu cabang sebagai bukti kesimpulan cabang lain.

Di mana anda akan menemuinya

Forcing Nets ialah apa yang grid paling sukar kami dibina untuk menuntut. Jangkakannya dalam teka-teki Legenda, dan hanya selepas teknik rantai seperti 3D Medusa telah dicuba. Apa sahaja yang diselesaikan jaringan, teknik yang lebih pendek pada dasarnya juga boleh menyelesaikannya. Jaringan ialah apa yang anda gunakan apabila anda tidak dapat menemui teknik yang lebih pendek itu.