Czy istnieje wzór na rozwiązanie Sudoku?
Ostatnia aktualizacja
Nie ma wzoru. Sudoku nie jest problemem matematycznym - to logiczna łamigłówka, która przypadkowo używa cyfr. Żadne równanie ani wzór arytmetyczny nie daje bezpośrednio odpowiedzi. Działa systematyczna eliminacja ograniczeń.
Dlaczego matematyka tego nie rozwiąże
Cyfry 1-9 w sudoku to tylko symbole. Można by je zastąpić literami lub kolorami, a łamigłówka byłaby identyczna. Liczy się unikalność w obrębie jednostek – każdy symbol pojawia się dokładnie raz w każdym wierszu, kolumnie i bloku. Nie ma żadnej arytmetycznej zależności między komórkami, którą można by wykorzystać za pomocą wzoru.
Co naprawdę działa - Constraint Propagation
Sudoku to problem spełniania ograniczeń. Zaczynasz od 81 komórek, każda ograniczona przez swój wiersz, kolumnę i blok. Umieszczenie jednej cyfry propaguje nowe ograniczenia - ta cyfra jest eliminowana z 20 innych komórek. Reakcja łańcuchowa trwa, aż łamigłówka zostanie rozwiązana lub potrzebna będzie bardziej złożona technika.
Hierarchia technik, od najprostszej do najtrudniejszej:
- Nagie single - Jeden kandydat pozostający w komórce
- Ukryte single - Jedna pozycja dla cyfry w bloku
- Nagie i ukryte pary, trójki
- X-Wing, Swordfish
- Łańcuchy i logika wieloetapowa
Co zamiast tego robią komputery
Komputery rozwiązują Sudoku za pomocą przeszukiwania z nawrotami - spróbuj cyfry, propaguj ograniczenia i cofnij, jeśli osiągnięto sprzeczność. Dla ludzi jest to równoznaczne ze zgadywaniem, co nie jest ani satysfakcjonujące, ani pouczające. Rozwiązywanie przez ludzi zawsze preferuje techniki dedukcyjne, które gwarantują poprawność bez żadnych prób i błędów.