Forcing Chains
Podążaj za konsekwencjami kandydata prawdziwego lub fałszywego, aż każda ścieżka wymusza ten sam wniosek.
Forcing chains to ciężka artyleria rozwiązywania logicznego. Wybierz komórkę i podążaj za implikacjami każdego z jej kandydatów przez planszę. Jeśli każdy kandydat prowadzi do tego samego umieszczenia lub eliminacji gdzieś, ten wniosek jest pewny — bez wymaganego zgadywania.
Większość uczuć „prób i błędów” późno w trudnej łamigłówce to naprawdę forcing chains czekające, aż zostaną rygorystycznie spisane.
Jak je dostrzec
Wybierz komórkę dwuwartościową. Załóż jej pierwszego kandydata i propaguj wymuszone umieszczenia; zanotuj wynik. Zresetuj, załóż drugiego kandydata, propaguj ponownie. Gdziekolwiek oba założenia wymuszają tę samą komórkę na tę samą wartość (lub tę samą eliminację), ten wynik obowiązuje bezwarunkowo.
- Zacznij od kandydatów komórki.
- Propaguj wymuszone konsekwencje każdego.
- Wspólny wniosek w poprzek wszystkich gałęzi jest udowodniony.
Dyscyplina ponad zgadywaniem
Forcing chains to logika, a nie rozdwojenie: trzymasz obie gałęzie w głowie i działasz tylko na tym, na co się zgadzają. Spisanie łańcucha unika błędów, które płyną ze ślepego próbowania liczby.
Rozwiązany przykład
- Komórka dwuwartościowa pokazuje {1,4}.
- Załóż 1: sekwencja singli wymusza komórkę Q na 8.
- Zresetuj, załóż 4: inna sekwencja też wymusza komórkę Q na 8.
- Obie gałęzie się zgadzają, więc Q to 8 niezależnie.
- Umieść 8 w Q bez rozstrzygania komórki startowej.
Spróbuj sam
Tap a cell, then a number, to practise.
Najczęstsze pytania
- Czy to po prostu zgadywanie?
- Nie. Oceniasz wszystkie gałęzie i działasz tylko na wnioskach, które każda gałąź dzieli, więc wynik jest w pełni logiczny.
- Kiedy sięgać po forcing chains?
- Na końcu, gdy single, locked candidates, ryby, skrzydła i kolorowanie zostały wyczerpane.
Powiązane techniki
Więcej informacji
- Introducing Chains and Links — SudokuWiki.org
- Chains and Loops (Forcing Chains, AIC) — HoDoKu
Ćwicz: Forcing Chains
Zastosuj Forcing Chains na żywej planszy — darmowe łamigłówki z notatkami, podpowiedziami i czterema poziomami trudności.
Wypróbuj na żywej planszy