Forcing Nets

A Forcing Nets (kényszerhálók) az utolsó technika, amely még tisztán logika. Sorra veszed egy mező minden jelöltjét, követed a következményeit, ameddig csak mennek, és megnézed, miben értenek egyet az ágak. Amiben egyetértenek, az igaz, mert a jelöltek egyike a valódi érték. Nincs találgatás: egyszerűen minden esetet megvizsgálsz egy helyett.

Mi a minta lényege

Egy lánc egyetlen következtetési vonalat követ. A háló minden lehetőségre követ egy ilyen vonalat a kiinduló mezőből vagy egységből, és az általános esetben egy vonal újra szétágazhat: egy következtetéshez egyszerre két korábbi levezetés is kellhet, például "ez a mező 4-es és az a mező 9-es, tehát a blokkban már csak egy hely maradt a 7-esnek". Az összes lehetőség ellenőrzése teszi erősebbé a hálókat a láncoknál, és lassabbá az ellenőrzést.

Kétféleképpen lehet indítani, és kétféleképpen lehet befejezni:

Ha minden ág ugyanazt a lerakást adja, az a lerakás igaz. Ha minden ág ugyanazt a jelöltet törli, az a jelölt kiesik. És ha egyetlen ág ellentmondásba ütközik (egy számjegy kétszer egy egységben, vagy egy mező, amelyben nem marad semmi), akkor az az egy jelölt önmagában hamis, a többi nélkül is.

Mikor érdemes keresni

Csak akkor, ha minden olcsóbb eszköz kudarcot vallott: Single-k, zárt halmazok, halak, wingek, láncok és Almost Locked Set-ek. A hálókat drága végigkövetni és könnyű elrontani, ezért tudatos utolsó logikai lépések, nem szokás. Olyan kiinduló mezőt válassz, amelynek két jelöltje van, és sok kétjelöltes szomszédja; így az ágak rövidek maradnak, és az egész ellenőrizhető.

Lépésről lépésre

1. Frissítsd az összes jegyzetet. Egy elavult jelöltre épített háló semmit sem bizonyít.
2. Válassz egy két jelöltes mezőt, vagy egy számjegyet, amelynek két helye van egy egységben.
3. Tételezd fel az első lehetőséget, és csak a ténylegesen kényszerített lerakásokat írd fel.
4. Vond vissza teljesen, majd tedd ugyanezt a második lehetőséggel.
5. Hasonlítsd össze az ágakat. Tartsd meg azt a lerakást vagy kizárást, amelyben osztoznak.
6. Ha egy ág önmagának mond ellent, azonnal dobd el azt a jelöltet.

Egy kidolgozott példa

Mezőből indulva

A H1 jelöltjei , a célpont a C1 7-ese. A H1 minden értékét sorra követjük:

• H1 = 7: a C1 az 1. oszlopon osztozik a H1-gyel, így nem 7-es.
• H1 = 1: az A1 nem lehet 1-es, ezért az A1 7-es, és a C1 ugyanazon oszlopos okból nem 7-es.
• H1 = 5: az E1 elveszíti az 5-ösét, így az F3 az egyetlen 5-ös a 4. blokkban. Ekkor az F8 az egyetlen 8-as az F sorban, a C8 nem lehet 8-as, és a C1 az egyetlen megmaradt 8-as a C sorban. A C1 = 8, tehát a C1 nem 7-es.

Mindhárom ág azzal végződik, hogy a C1 nem 7-es, így a C1 elveszíti a 7-esét. Sosem tudod meg, mi a H1: az ágak elvégezték a dolgukat, és eldobtuk őket.

Egységben lévő számjegyből indulva

A 7. blokknak kell egy 7-es, és az csak a G2, H2 vagy J3 mezőbe kerülhet. A célpont az A2 7-ese:

• 7-es a G2-ben vagy H2-ben: az A2 a 2. oszlopon osztozik mindkettővel, így nem 7-es.
• 7-es a J3-ban: a J3 ekkor nem 5-ös, így az A3 az egyetlen 5-ös a 3. oszlopban. Az A3 = 5 mellett az A2 az egyetlen 1-es az A sorban, tehát az A2 = 1, és nem 7-es.

Bárhová is teszi a 7. blokk a 7-esét, az A2-ben nincs 7-es, így az A2 elveszíti.

Mindkét táblán minden ág ugyanarra az eredményre jut, és ez az egész érvelés. A valódi hálók egy ágon belül tovább is ágazhatnak, és ott egy következtetéshez két korábbi levezetés is kellhet egyszerre.

Gyakori hibák

• Az egyik ág jelöléseinek a rácson hagyása, amikor a következő ágat kezded. Minden ágnak ugyanabból az érintetlen állásból kell indulnia.
• Egy "valószínűleg" követése kényszerített lerakás helyett. Csak Single-k és zárt kizárások írhatók fel.
• A kiinduló mező egyik jelöltjének kihagyása. Ha kihagysz egy ágat, az egyetértés semmit sem ér.
• Egy ág ellentmondását a többi ág következtetéseinek bizonyítékaként olvasni.

Hol találkozol vele

A Forcing Nets-et követelik meg a legnehezebb rácsaink. Számíts rá a Legendás feladványokban, és csak akkor, ha a láncokat, például a 3D Medusa technikát már kipróbáltad. Amit egy háló megold, azt elvileg egy rövidebb technika is megoldaná. A háló akkor kell, ha azt a rövidebb technikát nem találod.