Sprawdzanie Sudoku

Cel

Sudoku to gra matematyczna, która nie pozwala, aby w obrębie obszaru, wiersza czy kolumny nie pozwala, aby powtórzyła się ta sama cyfra. Istnieje kilka podejść do sprawdzenia czy tak łamigłówka została rozwiązana. W tym artykule zostanie podany przykładowy sposób sprawdzania.

Analiza zadania

Sprawdzanie czy sudoku zostało prawidłowo rozwiązanie może polegać na odczytaniu wartości z wybranego obszaru, a następnie sprawdzeniu czy któraś wartość się nie powtarza. Dodatkowo należałoby sprawdzić czy każda z wartości została wpisana dokładnie tylko jeden raz i czy jest z odpowiedniego zakresu. Weźmy przykładowo poniższy widok planszy sudoku:

W celu sprawdzenia pierwszego rzędu należałoby wybrać wszystkie wartości {2, 7, 6, 4, 5, 3, 8, 9, 1}. Najprostszym sposobem byłoby teraz te wartości posortować. Wtedy od razu możnaby odczytać czy minimum to 1, a maksimum to 9 oraz czy każda kolejna wartość jest o jeden większa. Jeśli podane warunki zostaną spełnione to można sprawdzić następny obszar (tj. wiersz, kolumnę czy kwadrat).

Implementacja

Sortowanie zajmuje jednak trochę czasu, więc lepiej przyjąć inną strategię. Jeśli sudoku zostanie rozwiązane poprawnie to każdy obszar składa się z liczb od 1 do 9, a więc sumuje się do 45. Dodatkowo przyjmując, że każda wartość jest poprawna (można to zrobić podczas jej pobierania) to nie trzeba wtedy sprawdzać zakresu liczb dla każdego obszaru oddzielnie. Innymi słowy wystarczy zsumować wartości danego obszaru i porównać do poprawnego wyniku.

Dodatkowo zauważmy, że każda z wartości należy do trzech obszarów, które są znane z góry. Nie trzeba zatem odczytywać tej wartości trzy razy, a jedynie raz i zaktualizować wszystkie trzy liczniki równocześnie. Poniżej został przedstawiony przykładowy algorytm, który dla każdego obszaru deklaruje licznik, a następnie przechodzi po całej tablicy.

1. def SprawdzPoprawnosc(tablica):
2.   global N
3.   liczniki = [0 for x in range(27)]
4.   for x in range(N):
5.     for y in range(N):
6.       wartosc = tablica[x][y]
7.       if wartosc < 1 or wartosc > 9:
8.         return False
9.       liczniki[x] += wartosc
10.       liczniki[y + 9] += wartosc
11.       liczniki[(x // 3 + (y // 3) * 3) + 18] += wartosc
12.   for licznik in liczniki:
13.     if licznik != 45:
14.       return False
15.   return True

Zaletą takiego rozwiązanie jest usunięcie sortowania liczb oraz zminimalizowanie ile razy dana wartość musi zostać odczytana. Dzięki temu algorytm ma bardzo niską złożoność. W podanym przykładzie dla każdej wartości aktualizujemy trzy liczniki: dla wiersza, kolumny oraz obszaru. Ze względu na to, że liczniki są zapisane na jednowymiarowej tablicy to liczniki wiersza mają przesunięcie 0, kolumny 9, a obszarów 18. W tych ostatnich mylące może być mylące przeliczanie licznika. Otóż w tym przypadku musimy zamienić pozycję (x, y) na numer kwadratu. Pozycję kwadratu otrzymujemy dzieląc współrzędne przez 3, więc będzie to (x//3, y//3), gdzie // - dzielenie całkowitoliczbowe. Tą wartość z kolei zamieniamy na numer licznika czyli i = x//3 + y//3 * 3. Jednak y//3*3 to nie jest y, ponieważ jest to dzielnie całkowitoliczbowe!

Testowanie funkcji

Podany wyżej algorytm można sprawdzić przy pomocy poniższego fragmentu kodu:

1. print("Podaj wartości tablicy:")
2. tablica = []
3. for i in range(0, N):
4. tab = [int(x) for x in input().split()]
5. tablica.append(tab)
6. wynik = SprawdzPoprawnosc(tablica)
7. print("Sudoku " + ("" if wynik else "nie") + "poprawnie rozwiazane")

• Kod źródłowy Implementacja