Oppitunti 33

ALS-XZ

Sääntö

Kun kaksi lähes lukittua joukkoa on yhdistetty rajoitetulla yhteisellä ehdokkaalla, toisen yhteisen ehdokkaan on oltava ainakin toisessa joukoista. Siksi ehdokas voidaan poistaa jokaisesta joukkojen ulkopuolisesta solusta, joka näkee molempien joukkojen kaikki kyseisen ehdokkaan sisältävät solut.

Vaihe vaiheelta

1. Katso ensimmäistä joukkoa . Nämä 2 solua ovat kaikki samalla rivillä, ja niissä on yhteensä 3 eri ehdokasta, yksi enemmän kuin soluja. Tätä kutsutaan lähes lukituksi joukoksi (ALS).
2. Katso nyt toista joukkoa . Nämä 3 solua ovat kaikki samalla rivillä, ja niissä on yhteensä 4 eri ehdokasta, yksi enemmän kuin soluja, joten nekin muodostavat ALS:n. Joukkojen yhteinen ehdokas 3 on rajoitettu yhteinen ehdokas (RCC): jokainen yhden joukon solu, jossa on ehdokas 3, näkee kaikki toisen joukon solut, joissa on ehdokas 3. Siksi numero 3 voidaan sijoittaa enintään toiseen joukkoon, ei koskaan molempiin.
3. Molemmat joukot sisältävät ehdokkaan 5. Koska numero 3 voidaan sijoittaa enintään toiseen joukkoon, ainakin toinen joukko ei käytä numeroa 3. Joukolla, joka ei käytä numeroa 3, on yhtä monta eri ehdokasta jäljellä kuin soluja, joten sen täytyy sijoittaa jokainen niistä, mukaan lukien 5, jonnekin sisälleen. Siksi 5 sijoittuu ainakin toiseen kahdesta joukosta, ja voimme poistaa ehdokkaan 5 jokaisesta joukkojen ulkopuolisesta solusta, joka näkee kaikki ehdokkaan 5 sisältävät solut molemmissa joukoissa. Tästä nimi tulee: X on 3, joukkojen yhteinen ehdokas, ja Z on 5, poistettava ehdokas.