ALS-XZ
W skrócie: znajdź dwa almost locked sets bez wspólnej komórki, które dzielą dwa kształty — nazwij je X i Z. Jeśli każda komórka mogąca jeszcze być X w jednym zbiorze widzi każdą taką komórkę w drugim, to X trafi najwyżej do jednego z nich — a ten, który obejdzie się bez X, zatrzaskuje się. Z zostaje więc zużyty wewnątrz obu zbiorów i znika z każdej komórki na zewnątrz, która widzi wszystkie pozostałe miejsca dla Z w obu.
Jak wygląda ALS-XZ
Strona o almost locked set sparowała zbiór z pojedynczą komórką dwuwartościową, bo to najmniejszy możliwy partner. Nic w tym rozumowaniu nie wymagało jednak, żeby partner był mały. Dwa pełne zbiory działają tak samo — a jest ich znacznie więcej: cała reguła mówi, że jeden wspólny kształt trafi tylko na jedną stronę, przez co druga strona ma dokładnie tyle kształtów, ile komórek. Litery to tylko etykiety: X to kształt, który rozstrzyga, który zbiór się zatrzaśnie, a Z to kształt, który możesz wykreślić.
Przejdź oba przypadki. Jeśli pierścień weźmie lewa grupa, prawa zostaje z trójkątem i rombem na dwóch komórkach — jedna z nich musi być trójkątem. Jeśli pierścień weźmie prawa, lewa zostaje z trójkątem i rombem, a jej dolna komórka jest trójkątem. Obie naraz go nie wezmą, bo jedyna komórka z pierścieniem w każdej grupie leży w tym samym wierszu co ta z drugiej. Któraś z grup zatrzaskuje się więc na pewno, a w obu przypadkach trójkąt siedzi w tych czterech komórkach. Komórka między prawą parą widzi wszystkie trzy miejsca, jakie zostały trójkątowi — sama trójkątem być nie może.
Jak korzystać z ALS-XZ
- Znajdź dwa zbiory z dwoma wspólnymi kształtami. Licz komórki przeciwko kształtom w wierszach, kolumnach i blokach, aż będziesz mieć dwa almost locked sets — N komórek trzymających N+1 kształtów — bez ani jednej wspólnej komórki. Muszą mieć co najmniej dwa wspólne kształty. Komórka dwuwartościowa liczy się jako zbiór jednokomórkowy, więc zacznij od par, które i tak już masz zapisane.
- Sprawdź jeden wspólny kształt na ograniczenie. Wybierz jeden wspólny kształt i nazwij go X. Wypisz każdą komórkę pierwszego zbioru, która mogłaby jeszcze być X, i każdą taką komórkę drugiego. Jeśli każda komórka z jednej listy widzi każdą z drugiej, X jest ograniczony: trafi najwyżej do jednego ze zbiorów.
- Nazwij zbiór, który się zatrzaskuje. Zbiór, który nie dostanie X, ma N komórek i N kształtów, czyli jest zatrzaśnięty — każdy pozostały kształt idzie do jednej z jego własnych komórek. Nie musisz wiedzieć, który to zbiór. Rozumowaniu wystarczy, że jest to jeden z dwóch.
- Wykreśl drugi wspólny kształt. Weź teraz drugi wspólny kształt, Z. Zatrzaśnięty zbiór musi zużyć swoje Z u siebie, więc Z siedzi gdzieś w tych dwóch zbiorach niezależnie od tego, jak wypadło X. Każda komórka poza nimi, która widzi każde pozostałe Z w pierwszym zbiorze i każde w drugim, nie może więc być Z.
Krok drugi zawodzi najczęściej, więc sprawdzaj go pierwszy i szybko porzucaj parę. Dwa zbiory z trzema wspólnymi kształtami warte są dłuższego spojrzenia: każdy wspólny kształt to osobny kandydat na X, a para, która przy jednym nie wychodzi, przy innym może być ograniczona.
Pojedynczo i podwójnie połączone
Wszystko powyżej to reguła pojedynczo połączona: jeden ograniczony kształt, jedno wykreślenie do znalezienia. Jeśli drugi wspólny kształt też okaże się ograniczony, para jest podwójnie połączona i robi się znacznie mocniejsza — przy dwóch kształtach przypisanych każdy do jednej strony wszystkie kształty, jakie oba zbiory trzymają razem, zostają zużyte wewnątrz pary. Wtedy każdy z nich można wykreślić z komórek na zewnątrz, które go w całości widzą, a nie tylko ten wybrany jako Z. Forma podwójnie połączona to zarazem krok do łańcuchów ALS, w których cały ciąg zbiorów nawleka się na kolejne ograniczone kształty — zobacz łańcuchy ALS. Naucz się najpierw wersji pojedynczo połączonej — dodatkowe połączenie zmienia to, co możesz wykreślić, a nie to, dlaczego to działa.
Znajdź ALS-XZ na własnej planszy
Wklej sudoku, a ta strona poszuka w nim ALS-XZ — 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
Co oznaczają X i Z?
Nic — i dobrze wiedzieć to od razu. To zwykłe etykiety dwóch kształtów wspólnych dla obu zbiorów: X jest ograniczony i rozstrzyga, który zbiór się zatrzaśnie, a Z jest ten, który potem wykreślasz. Dlatego część solverów pisze o „regule ALS-XZ”. Jeśli para dzieli trzy kształty, każdy z nich może zagrać obie role, więc warto spróbować każdego jako X.
Dlaczego zbiory nie mogą mieć wspólnej komórki?
Bo komórka należąca do obu musiałaby widzieć samą siebie, żeby ograniczenie cokolwiek znaczyło — a i liczenie się sypie: wspólną komórkę liczy się raz w każdym zbiorze, więc „N komórek trzymających N+1 kształtów” przestaje opisywać parę. Nakładające się zbiory to wcale nie para, tylko jedna większa grupa, która sama w sobie może być almost locked set albo nie.
Czym to się różni od strony o almost locked set?
To ta sama reguła z większym partnerem. Wprowadzenie paruje zbiór z jedną komórką dwuwartościową — parę najłatwiejszą do wypatrzenia i najlepszą do nauki. Tutaj obie strony są prawdziwymi zbiorami i właśnie tu technika zarabia na siebie: dwuwartościowych partnerów na trudnej planszy jest mało, a zbiorów wielokomórkowych pełno, gdy tylko zaczniesz liczyć.
Czy XY-Wing to jedna z takich par?
Tak, i większość rodziny wingów też. XY-Wing to dwukomórkowy zbiór — oś plus jedno skrzydło — sparowany z komórką dwuwartościową, gdzie wspólny kształt osi pełni rolę X. XYZ-Wing i WXYZ-Wing to to samo rozumowanie z większym pierwszym zbiorem. Wingi warto znać jako wzory, bo szybko się je rozpoznaje; ALS-XZ warto znać, bo znajduje dalej, gdy wingi się kończą.
Kiedy warto tego szukać?
Późno i z planem — weź komórkę dwuwartościową albo dwukomórkowy zbiór, który i tak rzucił ci się w oczy, i poszukaj do niego partnera, zamiast przeczesywać planszę w poszukiwaniu par. Na planszy powyżej żadna z dwudziestu pięciu prostszych technik, które zna form9, nie wykreśli trójkąta z tamtej komórki — to poprzeczka, którą musi przejść każda figura tego poziomu. W wielu planszach z taką parą coś prostszego dochodzi jednak do tej samej notatki. Solver sudoku zrobi tę kontrolę za ciebie i nazwie ruch, który zadziała pierwszy.