Ryba Kraken
W skrócie: ryba z płetwą zostawia dokładnie dwie możliwości — albo ryba jest prawdziwa, albo płetwa jest tym kształtem — a strony o płetwie zatrzymują się na komórkach, które trafiają obie gałęzie, czyli na tych, które płetwa widzi. Ryba Kraken prowadzi gałąź płetwy dalej, wzdłuż naprzemiennego łańcucha. Jeśli ten łańcuch zabija tego samego kandydata co ryba, kandydat ginie tak czy owak — choćby leżała daleko od płetwy.
Jak wygląda ryba Kraken
Wszystko zaczyna się od płetwy. Ryba z płetwą to ryba popsuta jedną dodatkową komórką, a naprawą jest rozbicie na przypadki: albo żadna płetwa nie jest prawdziwa — wtedy liczenie ryby działa i kształt znika z każdej komórki pokrycia poza bazą — albo płetwa jest prawdziwa. Strony o płetwie biorą przecięcie obu gałęzi, a ono jest małe: tylko te komórki pokrycia, które dzielą blok z płetwą. Ryba Kraken je poszerza, prowadząc gałąź płetwy łańcuchem silnych i słabych połączeń aż do komórki pokrycia, której płetwa nigdy nie widzi. Wtedy obie gałęzie zabijają tego samego kandydata — i on odpada.
Czytaj łańcuch jako ciąg naprzemiennych twierdzeń: przerywane połączenie mówi, że obie notatki nie mogą być jednocześnie prawdziwe, ciągłe — że nie mogą być jednocześnie fałszywe. Oznaczanie tej naprzemienności to pomoc przy notowaniu na twoich notatkach — nie tak gra się w form9. Planszę rozwiązuje się kształtami i nic tutaj nie zależy od kolorów w aplikacji. W tej pozycji sama płetwa wykreśla już trójkąt z r1c6, wewnątrz własnego bloku: to X-Wing z płetwą o poziom niżej. Wszystko, co dokłada łańcuch, to wykreślenie w r9c5.
Jak wykorzystać rybę Kraken
- Znajdź rybę z płetwą i zgarnij to, co już daje. Szukaj kształtu zamkniętego w dwóch albo trzech liniach, który byłby czystą rybą, gdyby nie jedna czy dwie luźne komórki w jednym bloku. Najpierw weź zwykłe wykreślenie z płetwą — komórki pokrycia w bloku płetwy. To jest za darmo, a Kraken opłaca się dopiero, gdy tamto jest wyczerpane.
- Załóż płetwę i powiedz, co z tego wynika. Płetwa to gałąź, której ryba nie potrafi wykluczyć — zrób z niej więc założenie: przypuśćmy, że ta komórka naprawdę jest tym kształtem. Każda komórka, którą ona widzi, traci ten kształt, a ona sama traci pozostałych kandydatów. To pierwsze ogniwa łańcucha.
- Idź naprzemiennie do komórki pokrycia, której płetwa nie widzi. Prowadź dalej na przemian: od notatki fałszywej silne połączenie wymusza jej partnera jako prawdziwego; od notatki prawdziwej słabe połączenie zabija wszystko, co ona widzi. Celuj łańcuchem w komórkę linii pokrycia leżącą poza bazą — właśnie takie i tak zabija gałąź ryby. Sześć do ośmiu notatek to granica tego, co da się jeszcze prześledzić.
- Wykreślaj tylko tam, gdzie obie gałęzie się zgadzają. Kandydat, na którym wylądujesz, musi być taki, którego zabiłaby też ryba: na linii pokrycia, poza bazą. Wtedy ginie niezależnie od tego, która gałąź jest prawdziwa. To, co zabija łańcuch, a ryba nie, nie jest dowiedzione niczym — opiera się na założeniu, którego nigdy nie rozstrzygnąłeś.
Powyżej opisano zwykły typ 1: jeden kandydat celu ginie i od gałęzi ryby, i od łańcucha płetwy. Istnieje typ 2, który rezygnuje z płetwy i zamiast tego prowadzi łańcuch z każdej linii bazowej do jednego wspólnego celu — trudniejszy do zauważenia, ten sam pomysł. Oba są kuzynami łańcuchów wymuszających i łańcuchów ALS, które ten poziom omawia gdzie indziej: rozbicie na przypadki, prześledzone gałąź po gałęzi, aż wszystkie się zgodzą.
Kraken a ryba z płetwą
To ten sam wzór, czytany na różną głębokość. Miecznik z płetwą to Kraken z łańcuchem o długości zero — gałąź płetwy prowadzi się dokładnie o jeden krok, do komórek, które płetwa sama widzi, i dlatego jego wykreślenia zawsze zostają uwięzione w bloku płetwy. Każde kolejne ogniwo kupuje jeden krok poza ten blok, a płaci się argumentem, który czytelnik musi utrzymać w głowie. Zawsze bierz najpierw wykreślenie z płetwą. Po łańcuch sięgaj tylko wtedy, gdy pozycja potrzebuje właśnie tej komórki spoza bloku.
Znajdź Ryba Kraken na własnej planszy
Wklej sudoku, a ta strona poszuka w nim Ryba Kraken — 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 ryba Kraken różni się od ryby z płetwą?
Tylko tym, jak daleko prowadzi się gałąź płetwy. Obie zaczynają od „albo ryba jest prawdziwa, albo płetwa jest prawdziwa”. Ryba z płetwą kończy na komórkach, które płetwa widzi bezpośrednio, więc jej wykreślenia zawsze lądują w bloku płetwy. Kraken idzie dalej naprzemiennym łańcuchem i potrafi trafić komórkę po drugiej stronie planszy — kosztem znacznie dłuższego argumentu.
Dlaczego cel musi leżeć na linii pokrycia i poza bazą?
Bo to ta połowa argumentu, której łańcuch nie dowodzi. Łańcuch obsługuje wyłącznie gałąź, w której płetwa jest prawdziwa. Druga gałąź to zwykła ryba, a zwykła ryba zabija dokładnie te komórki pokrycia, które nie są komórkami bazy. Kandydat spoza tego zbioru przeżywa jedną gałąź — a jedna ocalała gałąź czyni całe rozumowanie bezwartościowym.
Czy muszę kolorować łańcuch?
Nie — a w form9 nie ma czego kolorować. Łańcuchy to buchalteria na twoich własnych notatkach: ptaszki i krzyżyki, dwa oznaczenia albo nic, jeśli utrzymasz naprzemienność w głowie. Aplikację rozwiązuje się kształtami, a jej ustawienie koloru to opcjonalne wsparcie dostępności, domyślnie wyłączone. Ta technika go nie dotyka.
Czy warto szukać ryby Kraken ręcznie?
Prawie nigdy jako pierwszego ruchu — i to jest uczciwa odpowiedź dla całego tego poziomu. Programy znajdują takie wzory, bo próbują tysięcy łańcuchów na sekundę; człowiek znajduje je, zauważając rybę z płetwą, której konsekwencja rzuca się w oczy, i pociągając za nią. Jeśli utknąłeś i nie został już żaden wzór, metoda prób i błędów jest ruchem, który działa zawsze, a solver sudoku nazwie to, co naprawdę siedzi na twojej planszy.