Nishio «eta zer gertatuko litzateke baldin…?» zaindu bat da. Hautagai bat egiatzat hartzen duzu eta ondorio behartuei jarraitzen diezu (ez asmakizun basatiei). Mundu horrek arauak hausten baditu, probatutako hautagaia gezurra zen.
Hau kontraesanezko froga da: logika da oraindik, ez ausazko asmatzea.
Zergatik funtzionatzen du
Sudokuak ez du inoiz kontraesanik onartzen. Gelaxka batean D zifra dagoela suposatzeak unitate batean zifra bera bi aldiz jartzera behartzen badu, edo gelaxka bat hautagai guztiez husten badu, D ezin da hor egon.
Proban mugimendu behartuak bakarrik onartzen dituzu. Entrenatzaileak bereizi egiten ditu behartze-kateen balidazioa (eredu bat frogatzea) eta asmatze basatia: Nishio bertsio zaindua da.
Nola antzeman
Probako munduan mugimendu behartuei bakarrik jarraitu, inoiz ez asmakizun basatiei. Mundua hausten bada, probatutako hautagaia gezurra da.
Erakustaldia
Eredu sinpleagoak gelditzen direnean, aukeratu hautagai itxaropentsu bat eta galdetu: eta hau egia balitz?
Jarraitu kokapen eta ezabaketa behartuei bakarrik. Hemen ereduak zifra hauekin (1) probatzeak kontraesan batera darama: Nishio.
Sudoku legal batek ezin du mundu hautsi horretara iritsi. Beraz, probatutako hautagaia ezin da egia izan.
Ezabatu hautagai ezinezkoak (gorriz) (hemen: 1).
Adibidea 1
Probatu hautagai bat eta jarraitu behartze-kateari (mugimendu behartuak bakarrik).
Nishiok erakusten du zifra hauek (6) ezin direla egia izan hemen: kontraesan batean lehertzen da.
Kendu kontraesandako hautagaiak (gorriz) (hemen: 6). Probako mundu hori ilegala zen.
Adibidea 2
Probatu hautagai bat eta jarraitu behartze-kateari (mugimendu behartuak bakarrik).
Nishiok erakusten du zifra hauek (7) ezin direla egia izan hemen: kontraesan batean lehertzen da.
Kendu kontraesandako hautagaiak (gorriz) (hemen: 7). Probako mundu hori ilegala zen.