Nishio is ’n versigtige “wat as?” Jy probeer ’n kandidaat as waar en volg die afgedwonge gevolge (nie wilde raaiskote nie). As daardie wêreld die reëls breek, was die proefkandidaat vals.
Dit is bewys deur teenspraak — steeds logika, nie lukrake raaiwerk nie.
Waarom dit werk
Sudoku laat nooit ’n teenspraak toe nie. As die aanname van syfer D in ’n sel twee van dieselfde syfer in ’n huis afdwing, of ’n sel van al sy kandidate leegmaak, kan D nie daar wees nie.
Jy aanvaar net afgedwonge skuiwe in die proefneming. Die afrigter skei die validering van dwingkettings (om ’n patroon te bewys) van wilde raaiwerk — Nishio is die versigtige weergawe.
Hoe om dit raak te sien
Volg net afgedwonge skuiwe in die proefwêreld — nooit wilde raaiskote nie. As die wêreld breek, is die proefkandidaat vals.
Demonstrasie
Wanneer eenvoudiger patrone vashaak, kies ’n belowende kandidaat en vra: wat as dit waar was?
Volg net afgedwonge plasings en eliminasies. Hier lei die proefneming op 1 tot ’n teenspraak — Nishio.
’n Geldige Sudoku kan nie daardie stukkende wêreld bereik nie. Die proefkandidaat kan dus nie waar wees nie.
Elimineer die onmoontlike kandidaat/kandidate (rooi) (hier 1).
Voorbeeld 1
Toets ’n kandidaat en volg die dwingketting (net afgedwonge skuiwe).
Nishio wys dat 6 nie hier waar kan wees nie — dit ontplof in ’n teenspraak.
Verwyder die weerspreekte kandidaat/kandidate (rooi) (hier 6). Daardie proefwêreld was onwettig.
Voorbeeld 2
Toets ’n kandidaat en volg die dwingketting (net afgedwonge skuiwe).
Nishio wys dat 7 nie hier waar kan wees nie — dit ontplof in ’n teenspraak.
Verwyder die weerspreekte kandidaat/kandidate (rooi) (hier 7). Daardie proefwêreld was onwettig.