Oynamaya hazır mısın?

Sudoku Oyna!

Forcing Nets

AşırıKlasik + KillerAdım 37 / 383 dk okuma

Forcing Nets, hâlâ saf mantık olan son tekniktir. Tek bir hücrenin her adayını sırayla alır, sonuçlarını gidebildikleri kadar takip eder ve tüm dalların üzerinde anlaştığı bir şey ararsın. Anlaştıkları her şey doğrudur, çünkü o adaylardan biri gerçek değerdir. Tahmin yoktur: yalnızca tek bir durum yerine tüm durumları incelersin.

Kalıp nedir

Bir zincir tek bir çıkarım hattını izler. Bir ağ, başlangıç hücresinin veya biriminin her seçeneği için böyle bir hattı izler ve genel durumda bir hat yeniden ikiye ayrılabilir: bir sonuç aynı anda 2 önceki çıkarıma ihtiyaç duyabilir; örneğin "bu hücre 4 ve şu hücre 9, dolayısıyla blokta 7 için yalnızca bir yer kaldı". Tüm seçenekleri kontrol etmek, ağları zincirlerden güçlü ve kontrolü daha yavaş kılar.

Başlamanın 2 yolu ve bitirmenin 2 yolu vardır:

BaşlangıçTakip ettiğinKanıtladığı
k adayı olan bir hücreaday başına bir daltüm dalların paylaştığı her şey
Bir birimde k yeri olan bir rakamyer başına bir daltüm dalların paylaştığı her şey

Her dal aynı yerleştirmeyi üretiyorsa, o yerleştirme doğrudur. Her dal aynı adayı siliyorsa, o aday ölüdür. Tek bir dal çelişkiye çarparsa (bir birimde iki kez bir rakam ya da hiçbir şeyi kalmayan bir hücre), o aday diğerlerine ihtiyaç duymadan tek başına yanlıştır.

Ne zaman aranır

Yalnızca daha ucuz her şey başarısız olduğunda: single'lar, kilitli kümeler, fish'ler, wing'ler, zincirler ve Almost Locked Set'ler. Ağları izlemek pahalıdır ve yanlış yapmak kolaydır; bu yüzden alışkanlık değil, bilinçli bir son mantıksal adımdır. 2 adaylı ve çok sayıda iki adaylı komşusu olan bir başlangıç hücresi seç; dallar kısa kalır ve her şey kontrol edilebilir olur.

Adım adım uygulama

  1. Tüm notları yenile. Eski bir aday üzerine kurulu ağ hiçbir şey kanıtlamaz.
  2. 2 adaylı bir hücre ya da bir birimde 2 yeri olan bir rakam seç.
  3. İlk seçeneği varsay ve yalnızca gerçekten zorunlu yerleştirmeleri yaz.
  4. Onu tamamen geri al, sonra ikinci seçenek için aynısını yap.
  5. Dalları karşılaştır. Paylaştıkları her yerleştirmeyi veya elemeyi tut.
  6. Bir dal kendisiyle çelişirse o adayı hemen at.

Çözümlü örnek

Bir hücreden başlamak

  1. Daha kolay teknikler tükendi. Yalnızca 1, 5 veya 7 olabilen H1'e bak.

  2. H1 1, 5 veya 7 olmalı. Her değeri sırayla dene ve C1'deki 7'yi izle.

  3. Dal 1: H1 = 7. C1, H1 ile 1. sütunu paylaşır, bu yüzden 7 olamaz.

  4. Dal 2: H1 = 1. O zaman A1 1 olamaz, yani A1 7'dir ve C1 7 olamaz (yine 1. sütun).

  5. Dal 3: H1 = 5. E1 5'i kaybeder (1. sütun), yani 4. blokta 5 için tek yer F3'tür.

    F3 = 5 ile F satırında 8 için tek yer F8'dir. O zaman C8 8 olamaz, yani C satırında tek 8 C1'dedir.

    C1 = 8, yani C1 7 değildir.

  6. Deneme değerleri temizlenir. Üç dalın hepsi C1'in 7 olmamasıyla biter.

    C1'den 7 silindi, çünkü H1'in her değeri onu dışlar.

Daha kolay teknikler tükendi. Yalnızca 1, 5 veya 7 olabilen H1'e bak.

H1 taşıyor ve hedef C1'deki 7. H1'in her değeri sırayla takip edilir:

  • H1 = 7: C1, H1 ile 1. sütunu paylaşır, dolayısıyla 7 değildir.
  • H1 = 1: A1 1 olamaz, yani A1 7'dir ve C1 aynı sütun nedeniyle 7 değildir.
  • H1 = 5: E1 5'ini kaybeder, bu yüzden F3, 4. blokta tek 5'tir. O zaman F8, F satırında tek 8'dir, C8 8 olamaz ve C1, C satırında kalan tek 8'dir. C1 = 8, yani C1 7 değildir.

3 dal da C1'in 7 olmamasıyla biter, dolayısıyla C1 7'sini kaybeder. H1'in ne olduğunu hiç öğrenmezsin: dallar işini yaptı ve atıldı.

Bir birimdeki rakamdan başlamak

  1. Daha kolay teknikler tükendi. 7. bloktaki 7'lere bak.

  2. 7. blokta bir 7 gerekir ve yalnızca G2, H2 veya J3'e girebilir. Her yeri dene ve A2'deki 7'yi izle.

  3. Dal 1 ve 2: 7 G2'de veya H2'de ise A2 7 olamaz, çünkü üç hücre de 2. sütundadır.

  4. Dal 3: J3 = 7. O zaman J3 5 değildir ve A3, 3. sütunda 5 için tek yer olur.

    A3 = 5 ile A satırında 1 için tek yer A2'dir. A2 = 1, yani 7 değildir.

  5. Deneme değerleri temizlenir. 7. blok 7'sini nereye koyarsa koysun, A2 7'siz kalır.

    A2'den 7 silindi.

Daha kolay teknikler tükendi. 7. bloktaki 7'lere bak.
  1. bloğun bir 7'ye ihtiyacı var ve bu yalnızca G2, H2 veya J3'e gidebilir. Hedef A2'deki 7:
  • 7, G2 veya H2'de: A2 her iki hücreyle 2. sütunu paylaşır, dolayısıyla 7 değildir.
  • 7, J3'te: J3 o zaman 5 değildir, yani A3, 3. sütunda tek 5'tir. A3 = 5 ile A2, A satırında tek 1'dir, yani A2 = 1 ve 7 değildir.
  1. blok 7'sini nereye koyarsa koysun, A2'de 7 yoktur; dolayısıyla A2 onu kaybeder.

İki ızgarada da her dal aynı sonuca varır; tüm argüman budur. Gerçek ağlar bir dalın içinde de dallanabilir ve orada bir sonuç aynı anda 2 önceki çıkarıma ihtiyaç duyabilir.

Sık yapılan hatalar

  • Bir sonraki dala başlarken önceki daldan kalan işaretleri ızgarada bırakmak. Her dal aynı el değmemiş konumdan başlamalıdır.
  • Zorunlu bir yerleştirme yerine bir "muhtemelen"i izlemek. Yalnızca single'lar ve kilitli elemeler yazılabilir.
  • Başlangıç hücresinin bir adayını kaçırmak. Bir dalı atlarsan uzlaşmanın değeri kalmaz.
  • Bir daldaki çelişkiyi diğer dalların sonucunun kanıtı sanmak.

Nerede karşılaşırsın

Forcing Nets, en zor ızgaralarımızın özellikle talep ettiği tekniktir. Onları Efsanevi bulmacalarda bekle ve yalnızca 3D Medusa gibi zincir teknikleri denendikten sonra. Bir ağın çözdüğü her şeyi, prensipte daha kısa bir teknik de çözebilir. Ağ, o daha kısa tekniği bulamadığında başvurduğun araçtır.