Łańcuchy ALS
W skrócie: ustaw trzy almost locked sets jeden za drugim tak, żeby każdy dzielił z następnym ograniczony kształt — kształt, który nie może wylądować w obu. A potem zadbaj, żeby oba końce miały wspólny jeszcze jeden kształt. Który koniec zostanie zmuszony do zatrzaśnięcia, ten musi zużyć ten kształt wewnątrz łańcucha. Każda komórka poza łańcuchem, która widzi wszystkie pozostałe miejsca tego kształtu w obu końcach, nie może go więc trzymać.
Jak wygląda łańcuch ALS
Dwa almost locked sets połączone jednym ograniczonym kształtem — dalej strona wprowadzająca nie idzie, a to już wystarcza do wykreślania. Łańcuch to ten sam argument podany dalej. Zbiór pierwszy podaje drugiemu kształt, którego ten nie może zatrzymać; zbiór drugi zatrzaskuje się i podaje trzeciemu inny kształt, którego ten nie może zatrzymać; a sztafeta kończy się na tym końcu, który jej nie zaczął. W żadnym kroku nie twierdzi się nic nowego — tylko trzy razy z rzędu to samo „N komórek, N+1 kształtów, zabierz jeden i reszta się zatrzaśnie”.
Czytaj to jak sztafetę. Dwie komórki zaznaczonej pary trzymają razem plus, pierścień i romb — dwie komórki, trzy kształty, więc nic nie jest rozstrzygnięte. Zabierz im plus i są dwiema komórkami na dwa kształty, czyli zatrzaśnięte. Dokładnie to robi pojedyncza komórka w bloku u góry po lewej, jeśli okaże się plusem: widzi jedyne miejsce, w które para mogłaby wstawić plus. A zatrzaśnięta para musi zużyć swój romb, który siedzi w jej prawej komórce — w tym samym wierszu co trzecia grupa, która straciłaby wtedy własny romb i zostałaby pierścieniem. Przeczytaj to w drugą stronę i pierścieniem jest komórka u góry po lewej. Tak czy inaczej jedna z dwóch skrajnych komórek jest pierścieniem, a komórka, która widzi obie, nie jest.
Jak wykorzystać łańcuch ALS
- Zacznij od pary, która nic nie daje. Weź dwa almost locked sets z jednym wspólnym ograniczonym kształtem — parę ze strony wprowadzającej. Jeśli te dwa mają już wspólny drugi kształt i coś z zewnątrz widzi wszystkie jego miejsca, jesteś w domu i ta strona nie jest potrzebna. Łańcuchy są na sytuację, gdy zostaje tylko ten jeden kształt.
- Podwieś trzeci zbiór na drugim końcu. Poszukaj kolejnego almost locked set, który dzieli ograniczony kształt z drugim zbiorem — i upewnij się, że to inny kształt niż w pierwszym ogniwie. Zbiór nie może zużyć kształtu, który właśnie zabrał mu sąsiad, a łańcuch powtarzający ogniwo kończy się w tym miejscu. Zbiory nie mogą też mieć ani jednej wspólnej komórki.
- Sprawdź, czy końce mają wspólny kształt. Porównaj teraz pierwszy zbiór z ostatnim. Potrzebują jednego wspólnego kształtu, który nie jest żadnym z dwóch ogniw. Ten kształt jest nagrodą — nazwij go z. Jeśli końce takiego kształtu nie mają, łańcuch jest prawdziwy, ale nic nie wykreśla: przesuń trzeci zbiór i spróbuj jeszcze raz.
- Wykreśl z poza łańcuchem. Zaznacz każdą komórkę pierwszego i ostatniego zbioru, która może jeszcze trzymać z. Każda komórka poza całym łańcuchem, która widzi je wszystkie, traci z. Jeden albo drugi koniec musi z zatrzymać, a komórka widząca oba końce nie przeżywa żadnego z tych dwóch przypadków.
Przy trzech zbiorach rzecz przestaje być skrzydłem i staje się łańcuchem — i właśnie tam form9 przestaje szukać: czwarty zbiór to czwarta grupa do oznaczenia i czwarte zliczanie w głowie, a wtedy łańcuch wymuszający na tych samych komórkach zwykle łatwiej zobaczyć i łatwiej sprawdzić.
Łańcuchy ALS a skrzydła
XY-Wing to trzy komórki po dwóch kandydatach i oś, którą widzi każde skrzydło, a WXYZ-Wing to ten sam pomysł z osią o czterech kandydatach. Oba potrzebują tej osi. Łańcuch nie: środkowy zbiór musi widzieć tylko zbiór przed sobą i zbiór za sobą, więc oba końce mogą siedzieć w różnych blokach po przeciwnych stronach planszy i wciąż razem argumentować. To cały powód, żeby się tego uczyć — skrzydłom pozycje kończą się dużo szybciej niż zbiorom.
Znajdź Łańcuchy ALS na własnej planszy
Wklej sudoku, a ta strona poszuka w nim Łańcuchy ALS — ten sam wzorzec co wyżej, tylko na twojej planszy zamiast naszej. Nic nie jest wysyłane, wszystko działa w twojej przeglądarce.
Najczęściej zadawane pytania
Czym to się różni od ALS-XZ?
ALS-XZ to przypadek dwóch zbiorów: jeden ograniczony kształt między nimi, jeszcze jeden kształt wspólny, koniec. Łańcuch ALS to ta sama reguła ze zbiorami pośrodku, z których każdy się zatrzaskuje i podaje dalej inny kształt. Dwa zbiory to para, którą pokazuje strona wprowadzająca; plansza powyżej potrzebuje wszystkich trzech i żadna para z nich nie dosięga tej samej notatki sama.
Dlaczego sąsiednie ogniwa muszą być innymi kształtami?
Bo zbiór w środku łańcucha właśnie stracił kształt przychodzący — to on go zatrzasnął. Prosić go potem o zużycie tego samego kształtu to prosić o trzymanie kształtu, którego już nie ma, i sztafeta kończy się dokładnie tam. Każdy krok w przód musi być kształtem, który zbiór jeszcze posiada, czyli dowolną z pozostałych wartości poza tą właśnie oddaną.
Czy zbiory mogą się nakładać?
Nie, i to nie formalność. Dwa zbiory ze wspólną komórką liczyłyby jej kształt każdy jako swój, a test na „ograniczony” — każde możliwe miejsce kształtu w jednym zbiorze widzi każde możliwe miejsce w drugim — nie ma sensu, gdy komórka musiałaby widzieć samą siebie. form9 raportuje tylko łańcuchy o zbiorach całkowicie rozłącznych.
Jak długi może być łańcuch?
Teoretycznie dowolnie długi. W praktyce form9 zatrzymuje się na trzech zbiorach, z tego samego powodu, z którego strona o gołych czwórkach zatrzymuje się na czterech komórkach: czwarty zbiór to czwarta grupa do rozróżnienia na jednej planszy, a figura, której nikt nie potrafi przeczytać, nikogo niczego nie uczy. Dłuższe łańcuchy istnieją w literaturze solverowej; okiem się ich nie znajduje.
Kiedy warto go szukać?
Późno i tylko wtedy, gdy zwykła para już zawiodła — w większości plansz z łańcuchem coś krótszego dosięga tych samych notatek. Plansza powyżej celowo nie jest jedną z nich: żadna z dwudziestu czterech łatwiejszych technik, które zna form9, nie wykreśla tego pierścienia, a żadne dwa z jej trzech zbiorów też nie. Jeśli wolisz, żeby ktoś sprawdził za ciebie, solver sudoku przechodzi planszę technika po technice i nazywa każdy ruch.