Platon Games
Polski

Platon Sudoku · Nauka sudoku

Sprzeczność między składowymi kolorowania (Multi-Component Coloring Contradiction) · Przykład krok po kroku

Silne łącza kolorują jedną cyfrę w przeciwne stany w każdym komponencie; relacje między komponentami określają, które stany mogą współistnieć. Usuń kandydata wykluczonego ze wszystkich spójnych przypisań kolorów.

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

Silne łącza kolorują jedną cyfrę w przeciwne stany w każdym komponencie; relacje między komponentami określają, które stany mogą współistnieć.

Jak to znaleźć

Pokoloruj każdy podłączony komponent osobno, a następnie sprawdź konflikty między komponentami i cele, które widzą każdą ocalałą alternatywę.

Na co pozwala

Usuń kandydata wykluczonego ze wszystkich spójnych przypisań kolorów.

Unikaj pomyłek

Nie łącz oddzielnych komponentów niezweryfikowanym silnym łączem ani nie zakładaj, że kolor jest już umieszczony.

Przykład krok po kroku · Złożony kolor

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 · Potwierdź początkową grupę o tym samym stanie

“Sprzeczność między składowymi kolorowania (Multi-Component Coloring Contradiction)” — Ta nazwa opisuje własny dowód aplikacji obejmujący wiele składowych, a nie osobną technikę HoDoKu o tej samej nazwie. Kandydaci cyfry 2 tworzą 4 niezależnych składowych kolorowania. Naprzemienne kolorowanie wzdłuż silnych powiązań umieszcza R3C1=2, R8C2=2 po stronie A składowej 2: mają ten sam stan prawdy i są dokładnie kandydatami docelowymi R3C1=2, R8C2=2. A i B są przeciwne wewnątrz każdej składowej; konflikty łączą stany między składowymi.

“Sprzeczność między składowymi kolorowania (Multi-Component Coloring Contradiction)” — Ta nazwa opisuje własny dowód aplikacji obejmujący wiele składowych, a nie osobną technikę HoDoKu o tej samej nazwie. Kandydaci cyfry 2 tworzą 4 niezależnych składowych kolorowania. Naprzemienne kolorowanie wzdłuż silnych powiązań umieszcza R3C1=2, R8C2=2 po stronie A składowej 2: mają ten sam stan prawdy i są dokładnie kandydatami docelowymi R3C1=2, R8C2=2. A i B są przeciwne wewnątrz każdej składowej; konflikty łączą stany między składowymi.
“Sprzeczność między składowymi kolorowania (Multi-Component Coloring Contradiction)” — Ta nazwa opisuje własny dowód aplikacji obejmujący wiele składowych, a nie osobną technikę HoDoKu o tej samej nazwie. Kandydaci cyfry 2 tworzą 4 niezależnych składowych kolorowania. Naprzemienne kolorowanie wzdłuż silnych powiązań umieszcza R3C1=2, R8C2=2 po stronie A składowej 2: mają ten sam stan prawdy i są dokładnie kandydatami docelowymi R3C1=2, R8C2=2. A i B są przeciwne wewnątrz każdej składowej; konflikty łączą stany między składowymi.

● 1A: R1C2=2

■ 1B: R1C9=2

● 2A: R3C1=2, R8C2=2

■ 2B: R8C1=2

● 3A: R3C4=2

■ 3B: R4C4=2

● 4A: R4C7=2, R5C6=2

■ 4B: R5C9=2

Krok 2 · Załóżmy, że stan docelowy jest prawdziwy

Traktuj całą grupę o tym samym stanie R3C1=2, R8C2=2 jako jeden stan i tymczasowo załóż, że jest prawdziwy. Śledź konflikty pomiędzy komponentami.

Traktuj całą grupę o tym samym stanie R3C1=2, R8C2=2 jako jeden stan i tymczasowo załóż, że jest prawdziwy. Śledź konflikty pomiędzy komponentami.
Traktuj całą grupę o tym samym stanie R3C1=2, R8C2=2 jako jeden stan i tymczasowo załóż, że jest prawdziwy. Śledź konflikty pomiędzy komponentami.

● 1A: R1C2=2

■ 1B: R1C9=2

● 2A: R3C1=2, R8C2=2

■ 2B: R8C1=2

● 3A: R3C4=2

■ 3B: R4C4=2

● 4A: R4C7=2, R5C6=2

■ 4B: R5C9=2

Krok 3 · Śledź każdą zmianę komponentów

1. R3C1=2 ma wartość true, więc widoczny element równorzędny R1C2=2 ma wartość false. Przeciwny stan A/B R1C9=2 w tej grupie jest zatem prawdziwy. 2. R1C9=2 ma wartość true, więc widoczny element równorzędny R5C9=2 ma wartość false. Przeciwny stan A/B R4C7=2, R5C6=2 w tej grupie jest zatem prawdziwy. 3. R4C7=2 ma wartość true, więc widoczny element równorzędny R4C4=2 ma wartość false. Przeciwny stan A/B R3C4=2 w tej grupie jest zatem prawdziwy. 4. R3C4=2 ma wartość true, więc widoczny element równorzędny R3C1=2 ma wartość false. Przeciwny stan A/B R8C1=2 w tej grupie jest zatem prawdziwy.

1. R3C1=2 ma wartość true, więc widoczny element równorzędny R1C2=2 ma wartość false. Przeciwny stan A/B R1C9=2 w tej grupie jest zatem prawdziwy. 2. R1C9=2 ma wartość true, więc widoczny element równorzędny R5C9=2 ma wartość false. Przeciwny stan A/B R4C7=2, R5C6=2 w tej grupie jest zatem prawdziwy. 3. R4C7=2 ma wartość true, więc widoczny element równorzędny R4C4=2 ma wartość false. Przeciwny stan A/B R3C4=2 w tej grupie jest zatem prawdziwy. 4. R3C4=2 ma wartość true, więc widoczny element równorzędny R3C1=2 ma wartość false. Przeciwny stan A/B R8C1=2 w tej grupie jest zatem prawdziwy.
1. R3C1=2 ma wartość true, więc widoczny element równorzędny R1C2=2 ma wartość false. Przeciwny stan A/B R1C9=2 w tej grupie jest zatem prawdziwy. 2. R1C9=2 ma wartość true, więc widoczny element równorzędny R5C9=2 ma wartość false. Przeciwny stan A/B R4C7=2, R5C6=2 w tej grupie jest zatem prawdziwy. 3. R4C7=2 ma wartość true, więc widoczny element równorzędny R4C4=2 ma wartość false. Przeciwny stan A/B R3C4=2 w tej grupie jest zatem prawdziwy. 4. R3C4=2 ma wartość true, więc widoczny element równorzędny R3C1=2 ma wartość false. Przeciwny stan A/B R8C1=2 w tej grupie jest zatem prawdziwy.

● 1A: R1C2=2

■ 1B: R1C9=2

● 2A: R3C1=2, R8C2=2

■ 2B: R8C1=2

● 3A: R3C4=2

■ 3B: R4C4=2

● 4A: R4C7=2, R5C6=2

■ 4B: R5C9=2

Krok 4 · Założenie wymusza swoje przeciwieństwo

Założenie R3C1=2, R8C2=2 ostatecznie wymusza R8C1=2, przeciwny stan A/B w tej samej grupie. Obydwa stany nie mogą być prawdziwe, więc założenie jest fałszywe.

Założenie R3C1=2, R8C2=2 ostatecznie wymusza R8C1=2, przeciwny stan A/B w tej samej grupie. Obydwa stany nie mogą być prawdziwe, więc założenie jest fałszywe.
Założenie R3C1=2, R8C2=2 ostatecznie wymusza R8C1=2, przeciwny stan A/B w tej samej grupie. Obydwa stany nie mogą być prawdziwe, więc założenie jest fałszywe.

● 1A: R1C2=2

■ 1B: R1C9=2

● 2A: R3C1=2, R8C2=2

■ 2B: R8C1=2

● 3A: R3C4=2

■ 3B: R4C4=2

● 4A: R4C7=2, R5C6=2

■ 4B: R5C9=2

Krok 5 · Usuń stan niemożliwy

Stan początkowy nie może być prawdziwy. Usuń jego kandydatów: R3C1=2, R8C2=2.

Stan początkowy nie może być prawdziwy. Usuń jego kandydatów: R3C1=2, R8C2=2.
Stan początkowy nie może być prawdziwy. Usuń jego kandydatów: R3C1=2, R8C2=2.

● 1A: R1C2=2

■ 1B: R1C9=2

● 2A: R3C1=2, R8C2=2

■ 2B: R8C1=2

● 3A: R3C4=2

■ 3B: R4C4=2

● 4A: R4C7=2, R5C6=2

■ 4B: R5C9=2

Na co pozwala

Stan początkowy nie może być prawdziwy. Usuń jego kandydatów: R3C1=2, R8C2=2.

Sprzeczność między składowymi kolorowania (Multi-Component Coloring Contradiction) · Usuń kandydata wykluczonego ze wszystkich spójnych przypisań kolorów.
Sprzeczność między składowymi kolorowania (Multi-Component Coloring Contradiction) · Usuń kandydata wykluczonego ze wszystkich spójnych przypisań kolorów.

Praktyka

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