Platon Sudoku · Nauka sudoku

Grupowany AIC dla jednej cyfry (Single-Digit Grouped AIC) · Przykład krok po kroku

Zgrupowany węzeł oznacza, że co najmniej jeden z kilku kandydatów jest prawdziwy; może uczestniczyć w naprzemiennym łańcuchu wnioskowania. Wyeliminuj cel widziany przez wymuszające punkty końcowe łańcucha.

Ta lekcja została opracowana na podstawie aplikacji Platon Sudoku. Przeczytaj cały przykład tutaj, a następnie kontynuuj naukę i ćwiczenia w aplikacji.

Zobacz w Google Play

Rozpoznaj wzór

Zgrupowany węzeł oznacza, że co najmniej jeden z kilku kandydatów jest prawdziwy; może uczestniczyć w naprzemiennym łańcuchu wnioskowania.

Jak to znaleźć

Sprawdź, czy zgrupowane komórki dzielą wymagany region, a następnie prześledź mocne i słabe połączenia przez jeden lub więcej węzłów grupy.

Na co pozwala

Wyeliminuj cel widziany przez wymuszające punkty końcowe łańcucha.

Unikaj pomyłek

Prawdziwa grupa nie oznacza, że każdy członek jest prawdziwy. Podążając za łańcuchem, zachowaj znaczenie OR grupy.

Przykład krok po kroku · Jedna grupa

Przykład zaczyna się od zapisanej pozycji pośredniej. Kandydaci uwzględniają wcześniejsze logiczne eliminacje i nie są właśnie wygenerowanymi automatycznymi notatkami.

Niebieski: przesłanki. Zielony: wniosek. Przekreślone cyfry: wyeliminowani kandydaci. R1C1 oznacza wiersz 1, kolumnę 1.

Krok 1 · Gdzie szukać

W blok 6, 2 można przejść tylko w R4C7, R4C8, R5C8. Cyfra musi pojawić się raz w tym obszarze.

1: LUB grupa A: przynajmniej jeden kandydat jest prawdziwy

Krok 2 · Rozumowanie

W Kolumna 5, 2 można przejść tylko w R1C5, R4C5. Cyfra musi pojawić się raz w tym obszarze.

1: LUB grupa A: przynajmniej jeden kandydat jest prawdziwy

Krok 3 · Rozumowanie

W Kolumna 9, 2 można przejść tylko w R1C9, R8C9. Cyfra musi pojawić się raz w tym obszarze.

1: LUB grupa A: przynajmniej jeden kandydat jest prawdziwy

Krok 4 · Nazwij grupy kandydatów LUB

Numerowane klamry i legenda definiują grupy: LUB grupa kandydująca A = R4C8=2, R5C8=2. Każda grupa to jeden stan logiczny OR: co najmniej jeden jej kandydat jest prawdziwy, ale nie oznacza to prawdziwości wszystkich członków.

1: LUB grupa A: przynajmniej jeden kandydat jest prawdziwy

Krok 5 · Rozumowanie

Oddział 1: załóżmy, że LUB grupa kandydująca A ma wartość false.

1: LUB grupa A: przynajmniej jeden kandydat jest prawdziwy

Krok 6 · Silne ogniwo grupy: przemuś drugą stronę

Przypadek 1: LUB grupa kandydująca A jest fałszywe, więc silne połączenie grupy wymusza R4C7=2. Jeśli jest to grupa OR, co najmniej jeden z jej kandydatów jest prawdziwy.

1: LUB grupa A: przynajmniej jeden kandydat jest prawdziwy

Krok 7 · Słabe ogniwo grupy: wyklucz stronę konfliktu

R4C7=2 jest prawdziwy jako stan łańcucha, więc wzajemnie wykluczająca się strona R4C5=2 jest fałszywa.

1: LUB grupa A: przynajmniej jeden kandydat jest prawdziwy

Krok 8 · Silne ogniwo grupy: jedna strona musi pozostać

R4C5=2 jest fałszywe, więc silne połączenie grupy wymusza R1C5=2.

1: LUB grupa A: przynajmniej jeden kandydat jest prawdziwy

Krok 9 · Słabe ogniwo grupy: wyklucz stronę konfliktu

R1C5=2 jest prawdziwy jako stan łańcucha, więc wzajemnie wykluczająca się strona R1C9=2 jest fałszywa.

1: LUB grupa A: przynajmniej jeden kandydat jest prawdziwy

Krok 10 · Pośredni punkt końcowy wyklucza cele

R8C9=2 ma wartość true jako stan punktu końcowego, więc wyklucza cele.

1: LUB grupa A: przynajmniej jeden kandydat jest prawdziwy

Krok 11 · Wycofaj poprzednie wypełnienie prostokąta

Wycofaj to założenie i jego konsekwencje. Wróć do niezmienionej migawki kandydata przed sprawdzeniem kolejnej możliwości.

1: LUB grupa A: przynajmniej jeden kandydat jest prawdziwy

Krok 12 · Przypadek 2: pierwszy punkt końcowy jest prawdziwy

Pierwszy punkt końcowy LUB grupa kandydująca A ma wartość true jako stan OR, więc wyklucza cele.

1: LUB grupa A: przynajmniej jeden kandydat jest prawdziwy

Krok 13 · Oba przypadki punktów końcowych są zgodne

Dwa przypadki punktów końcowych wyczerpują możliwości i oba wykluczają R7C8=2, R8C8=2. Usuń je po wycofaniu stanów tymczasowych.

1: LUB grupa A: przynajmniej jeden kandydat jest prawdziwy

Na co pozwala

Dwa przypadki punktów końcowych wyczerpują możliwości i oba wykluczają R7C8=2, R8C8=2. Usuń je po wycofaniu stanów tymczasowych.

Grupowany AIC dla jednej cyfry (Single-Digit Grouped AIC) · Wyeliminuj cel widziany przez wymuszające punkty końcowe łańcucha.

Przykład krok po kroku · Kilka grup

Przykład zaczyna się od zapisanej pozycji pośredniej. Kandydaci uwzględniają wcześniejsze logiczne eliminacje i nie są właśnie wygenerowanymi automatycznymi notatkami.

Niebieski: przesłanki. Zielony: wniosek. Przekreślone cyfry: wyeliminowani kandydaci. R1C1 oznacza wiersz 1, kolumnę 1.

Krok 1 · Gdzie szukać

W blok 1, 8 można przejść tylko w R2C2, R3C1. Cyfra musi pojawić się raz w tym obszarze.