Łańcuchy wymuszające: porównaj wszystkie gałęzie
Łańcuch wymuszający śledzi konsekwencje wyboru kandydata. Dla łańcucha opartego na komórce rozważ każdego jej kandydata; dla łańcucha opartego na jednostce rozważ każdą pozostałą pozycję jednej cyfry w wierszu, kolumnie lub bloku. Wspólny wniosek jest pewny dopiero po sprawdzeniu wszystkich przypadków początkowych. Sprzeczność natomiast obala założenie, które do niej doprowadziło.
Kluczowa zasada
Jeśli każda z dwóch wartości początkowego pola z dwoma kandydatami wymusza umieszczenie kandydata Z w polu należącym do tego samego wiersza, kolumny lub bloku co pole docelowe, można usunąć kandydata Z z pola docelowego.
Zobacz ruch krok po kroku
Skorzystaj z tego samego przykładu omówionego krok po kroku, który wykorzystano w lekcji o technice XY-Wing, aby prześledzić obie możliwości: R1C3 zawiera 5 albo 7. Notatki uwzględniają wcześniejsze eliminacje.
Krok 1 z 4
Wybierz kontrolowany punkt rozgałęzienia
R1C3 ma dokładnie dwóch kandydatów, więc analiza obejmuje dwa wyczerpujące przypadki.
Krok 2 z 4
Prześledź obie implikacje
Jeśli R1C3 zawiera 5, R1C4 musi zawierać 6. Jeśli R1C3 zawiera 7, R2C3 musi zawierać 6.
Krok 3 z 4
Znajdź wspólny wniosek
Pole R2C4 widzi obie możliwe wymuszone cyfry 6, więc w żadnej z gałęzi nie może zawierać kandydata 6.
Krok 4 z 4
Zachowaj tylko wniosek niezależny od gałęzi
Usuń kandydata 6 z pola R2C4. Nie umieszczaj żadnego kandydata przyjętego jako założenie, chyba że jedna z gałęzi została obalona.
Wypróbuj ją w dzisiejszej łamigłówce
Stosuj krótkie łańcuchy, gdy prostsze metody nie przynoszą postępu. Łańcuch naprzemiennych wnioskowań (AIC) przeplata silne powiązania (jeśli jeden kandydat jest fałszywy, drugi musi być prawdziwy) ze słabymi (jeśli jeden jest prawdziwy, drugi musi być fałszywy). Jeśli w tej siatce R1C4 nie jest 6, musi być 5; R1C3 nie może wtedy być 5, więc jest 7; R2C3 nie może wtedy być 7, więc jest 6. Zatem R1C4 lub R2C3 musi zawierać 6, a ich wspólna komórka sąsiednia R2C4 nie może jej zawierać. To ta sama eliminacja zapisana jako AIC. Sprawdzaj każde powiązanie według aktualnych kandydatów, a nie tylko narysowanego kształtu. Poprzednia lekcja o Nice Loops pokazuje naprzemienne powiązania w zamkniętej pętli.
Zagraj dziś