Żuraw to krótki łańcuch jednej cyfry: silne–słabe–silne. Wieżowce, Latawce i Żurawie to w zasadzie ta sama rodzina — różne rysunki najkrótszego użytecznego X-Chain / AIC.
Najpierw: Ta sama rodzina turbot co Wieżowiec i Latawiec.
Dlaczego to działa
Silne połączenia znaczą „dokładnie jedno jest prawdziwe”. Słabe połączenia znaczą „nie mogą być oba prawdziwe”. Przeplatanie ich wymusza użyteczny wniosek na końcach: co najmniej jeden koniec jest prawdziwy, więc pola, które widzą oba końce, nie mogą zawierać tej cyfry.
Jeśli rozumiesz Wieżowiec, rozumiesz już Żurawia — ta sama logika, inna geometria.
Pokaz
Dla jednej cyfry przejdź silnym połączeniem, potem słabym, a potem kolejnym silnym.
Zielone pola tworzą Żurawia na 5 — malutki turbot / X-Chain.
Łańcuch mówi, że co najmniej jeden koniec musi być prawdziwy dla 5. Wspólni sąsiedzi obu końców nie są bezpieczni w żadnym przypadku.
Wyeliminuj 5 z pól, które widzą oba końce (na czerwono).
Przykład 1
Znajdź krótki łańcuch silne–słabe–silne na jednej cyfrze.
Ten Żuraw dotyczy 3.
Usuń 3 z pól, które widzą oba końce (na czerwono). Jeden koniec musi być prawdziwy.
Przykład 2
Znajdź krótki łańcuch silne–słabe–silne na jednej cyfrze.
Ten Żuraw dotyczy 1.
Usuń 1 z pól, które widzą oba końce (na czerwono). Jeden koniec musi być prawdziwy.