Jak rozwiązywać Sudoku bez zgadywania

Zgadywanie wydaje się produktywne, bo stawia liczbę na planszy, ale zamienia jedną łamigłówkę w dwie niepewne gałęzie. Porządne Sudoku da się traktować jako łańcuch sprawdzalnych wniosków: każde wstawienie albo usunięcie kandydata wynika z wiersza, kolumny, bloku albo rozpoznanego wzorca. Rozwiązywanie bez zgadywania nie znaczy, że każdy ruch jest oczywisty. Znaczy, że oddzielasz możliwości od zobowiązań, trzymasz kandydatów w ryzach i zmieniasz technikę, gdy bieżący skan przestaje dawać informację.

Co liczy się jako zgadywanie?

Zgadywanie to zobowiązanie się do cyfry bez logicznego dowodu, często z planem cofnięcia, gdy pojawi się sprzeczność. Notatki kandydatów nie są zgadywaniem: zapisują każdą wartość wciąż dozwoloną przez znane ograniczenia. Zaawansowane eliminacje też nie są zgadywaniem, gdy wzorzec jest poprawny. Na przykład X-Wing może nie powiedzieć, gdzie cyfra stanie, ale dowodzi, gdzie stanąć nie może. Praktyczny test jest prosty: zanim zmienisz siatkę, czy potrafisz podać regułę, która pozostaje prawdziwa w każdym możliwym dokończeniu?

Powtarzalny przebieg bez zgadywania

1. Skanuj pod kątem bezpośrednich wstawień. Zacznij od nagich i ukrytych jedynek w zatłoczonych wierszach, kolumnach i blokach. Po każdym nowym wstawieniu sprawdź ponownie jednostki, których dotyczy.
2. Buduj uczciwe listy kandydatów. Gdy bezpośrednie skanowanie się zatrzyma, zanotuj cyfry dozwolone przez wszystkie trzy ograniczenia. Nieaktualne notatki usuwaj natychmiast po każdym wstawieniu.
3. Szukaj w stałej kolejności technik. Pary, zablokowanych kandydatów, trójki i wzorce rybne stosuj dopiero, gdy łatwiejsze wnioski się wyczerpią. Stabilna kolejność chroni przed przypadkowym polowaniem po całej siatce.
4. Wymagaj słownego dowodu. Nazwij źródło i skutek: „5 jest zablokowana w wierszu 2 wewnątrz tego bloku, więc 5 nie może pojawić się gdzie indziej w wierszu 2”. Jeśli zdanie jest mgliste, nie skreślaj kandydata.
5. Zresetuj spojrzenie, gdy utkniesz. Sprawdź notatki, zmień skanowaną cyfrę albo jednostkę i wróć do jedynek. Nie zamieniaj frustracji w nieuzasadnione wstawienie.

Przykład: zamiast dwukierunkowego zgadywania — logika

Załóżmy, że r6c4 zawiera kandydatów {3,8}. Wybór 3 byłby zgadywaniem, bo obie wartości nadal spełniają doraźne zasady wiersza, kolumny i bloku. Zamiast rozgałęziać, zobacz, gdzie 3 i 8 występują w powiązanych jednostkach, i szukaj wzorca, który usunie jednego kandydata.

1. Nie wstawiaj żadnego z kandydatów. Zostaw {3,8} jako notatkę. Brak natychmiastowego duplikatu nie dowodzi, że któraś gałąź jest poprawna; sprzeczności mogą pojawić się wiele ruchów później.
2. Zbadaj pozycje w bloku. Jeśli każda 3 w bloku leży w wierszu 6, blok wskazuje wiersz 6. Usuń 3 z innych komórek wiersza 6 poza blokiem, korzystając z zablokowanych kandydatów.
3. Rozpropaguj eliminację. Załóżmy, że r6c9 zmienia się z {3,5} na {5}. Wstaw 5, potem zaktualizuj wiersz 6, kolumnę 9 i jej blok. Nowa cyfra może usunąć 8 u sąsiada r6c4.
4. Wracaj tylko, gdy jest uzasadnienie. Jeśli późniejsza logika usunie 8 z r6c4, wstaw 3 i zapisz powód. Ta sama końcowa wartość jest teraz wnioskiem, a nie gałęzią, którą akurat przetestowałeś jako pierwszą.

Nawyki, które maskują zgadywanie

Lista ćwiczeń bez zgadywania

• Przed każdym wstawieniem nazwij, czy to naga jedynka, ukryta jedynka, czy skutek konkretnej eliminacji.
• Notatki zostaw dla nierozstrzygniętych możliwości, a duże cyfry — dla wartości udowodnionych logiką.
• Gdy utkniesz na dwie minuty, zrób audyt jednego wiersza, jednej kolumny i jednego bloku zamiast testować kandydata.
• Po Cofnij znajdź dokładnie nieuzasadniony krok i przywróć logikę kandydatów, zamiast próbować drugiej gałęzi.

Lekarstwem na zgadywanie nie jest większa ostrożność przy jednej komórce, tylko lepszy proces dla całej planszy. Używaj stałego skanu, utrzymuj kandydatów, wymagaj powodu i resetuj punkt widzenia, gdy postęp się zatrzyma. Zacznij od klasycznych łamigłówek Średnich albo Trudnych, gdzie wymagane techniki są na tyle widoczne, by ćwiczyć, a na tyle zróżnicowane, by pętla bez zgadywania miała sens.

Pytania o rozwiązywanie bez zgadywania