Er til formúla til að leysa Sudoku?
Síðast uppfært
Það er engin formúla. Sudoku er ekki stærðfræðivandamál - Það er rökþraut sem notar tilviljun tölustafi. Engin jafna eða reikniformúla framleiðir svarið beint. Það sem virkar er kerfisbundin takmarkanayðing.
Af hverju stærðfræði mun ekki leysa það
Tölustafirnir 1-9 í Sudoku eru bara tákn. Þú gætir skipt þeim út fyrir bókstafi eða liti og þrautin væri eins. Það sem skiptir máli er einkvæðileiki innan eininga - Hvert tákn birtist nákvæmlega einu sinni í hverri röð, dálki og reit. Það er engin reikningsleg tengsl milli fruma sem formúla getur nýtt.
Hvað virkar í raun - Constraint Propagation
Sudoku er skorðu-fullnægingar vandamál. Þú byrjar með 81 frumur, hver skorðuð af sinni röð, dálki og reit. Að setja einn tölustaf útbreiðir nýjar skorður - Sá tölustafur er útilokaður frá 20 öðrum frumum. Keðjuverkunin heldur áfram þar til þrautin er leyst eða flóknari tækni er þörf.
Tæknistiginn, einfaldast til erfiðast:
- Naked singles - Einn frambjóðandi eftir í frumu
- Hidden singles - Ein staða fyrir tölustaf í einingu
- Naked og hidden pör, þrír
- X-Wing, Swordfish
- Keðjur og margskrefa rökfræði
Hvað tölvur gera í staðinn
Tölvur leysa Suðoku með afturfórarleit - Prófaðu tölu, útbreiddu skorður, og snúðu við ef mótsögn næst. Fyrir menn er þetta jafngilt giskun, sem er hvorki ánægjulegt né fræðandi. Menneskjuleysing kýs alltaf ályktunartæknir sem ábyrgja réttleika án nokkurs tilraun og villu.