33. lecke

ALS-XZ

A szabály

Két majdnem zárt halmaz, amelyet egy korlátozott közös jelölt köt össze, egy másik közös jelöltet kényszerít legalább az egyikükbe, így ez a jelölt eltávolítható minden olyan cellából a két halmazon kívül, amely a két halmazban együttvéve látja az adott jelölt összes celláját.

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

1. Nézd meg az első halmazt . Mind a(z) 2 cella ugyanabban a sorban van, és összesen 3 különböző jelöltet tartalmaznak, eggyel többet, mint a cellák száma. Ezt hívjuk majdnem zárt halmaznak (ALS).
2. Most nézd meg a második halmazt . Mind a(z) 3 cella ugyanabban a sorban van, és összesen 4 különböző jelöltet tartalmaznak, eggyel többet, mint a cellák száma, így ez is ALS. Közös jelöltjük 3, egy korlátozott közös jelölt (RCC): az egyik halmaz minden 3 jelöltet tartalmazó cellája látja a másik halmaz összes ilyen celláját. Ezért a(z) 3 számjegy legfeljebb az egyik halmazba kerülhet, soha nem mindkettőbe.
3. Mindkét halmaz tartalmazza a(z) 5 jelöltet. Mivel a(z) 3 számjegy legfeljebb az egyik halmazba kerülhet, legalább az egyik halmaz nem fogja használni a(z) 3 számjegyet. Egy olyan halmaz, amely nem használja a(z) 3 számjegyet, annyi különböző jelöltet tartalmaz, ahány cellája van, így mindegyiket, beleértve a(z) 5 jelöltet is, valahol belül el kell helyeznie. Tehát 5 a két halmaz közül legalább az egyikbe kerül, és eltávolíthatjuk a(z) 5 jelöltet a két halmazon kívüli minden olyan cellából, amely a két halmazban együttvéve látja az összes 5 jelöltet tartalmazó cellát. Innen ered a név: X a(z) 3, a két halmaz közös jelöltje, Z pedig a(z) 5, az eltávolított jelölt.