Platon Games
Polski

Platon Sudoku · Nauka sudoku

Łańcuch wymuszający (Forcing Chain) · Przykład krok po kroku

Wyczerpujący zestaw potencjalnych alternatyw jest śledzony poprzez oddzielne liniowe łańcuchy implikacji. Zachowaj tylko miejsce docelowe lub eliminację wspólne dla każdej możliwej gałęzi.

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

Wyczerpujący zestaw potencjalnych alternatyw jest śledzony poprzez oddzielne liniowe łańcuchy implikacji.

Jak to znaleźć

Wybierz podział prawda/fałsz lub wszystkie pozycje cyfry w jednym obszarze; podążaj za każdą gałęzią aż do zweryfikowanych konsekwencji.

Na co pozwala

Zachowaj tylko miejsce docelowe lub eliminację wspólne dla każdej możliwej gałęzi.

Unikaj pomyłek

Jedna gałąź osiągająca wynik jest niewystarczająca; alternatywy wyjściowe muszą obejmować wszystkie możliwości.

Przykład krok po kroku · Dwie gałęzie

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ć

Typowym wynikiem do udowodnienia jest R1C2=7; przełącznik odgałęzienia to R1C2=5. Każdy kandydat jest albo prawdziwy, albo fałszywy, więc te dwie gałęzie obejmują każdą możliwość. Jeśli oba osiągną wspólny wynik, wynik ten zostanie wymuszony.

Typowym wynikiem do udowodnienia jest R1C2=7; przełącznik odgałęzienia to R1C2=5. Każdy kandydat jest albo prawdziwy, albo fałszywy, więc te dwie gałęzie obejmują każdą możliwość. Jeśli oba osiągną wspólny wynik, wynik ten zostanie wymuszony.
Typowym wynikiem do udowodnienia jest R1C2=7; przełącznik odgałęzienia to R1C2=5. Każdy kandydat jest albo prawdziwy, albo fałszywy, więc te dwie gałęzie obejmują każdą możliwość. Jeśli oba osiągną wspólny wynik, wynik ten zostanie wymuszony.
Krok 2 · Rozumowanie

Oddział 1: załóżmy, że R1C2=5 ma wartość true.

Oddział 1: załóżmy, że R1C2=5 ma wartość true.
Oddział 1: załóżmy, że R1C2=5 ma wartość true.
Krok 3 · Rozumowanie

R1C2=5 jest prawdą. Usuń R1C2=7.

R1C2=5 jest prawdą. Usuń R1C2=7.
R1C2=5 jest prawdą. Usuń R1C2=7.
Krok 4 · 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.

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

Oddział 2: załóżmy, że R1C2=5 ma wartość false.

Oddział 2: załóżmy, że R1C2=5 ma wartość false.
Oddział 2: załóżmy, że R1C2=5 ma wartość false.
Krok 6 · Rozumowanie

​​R1C2=5 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 1. Dlatego R1C5=5 musi być prawdą.

​​R1C2=5 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 1. Dlatego R1C5=5 musi być prawdą.
​​R1C2=5 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 1. Dlatego R1C5=5 musi być prawdą.
Krok 7 · Rozumowanie

R1C5=5 jest prawdą. Usuń R2C5=5 z Kolumna 5.

R1C5=5 jest prawdą. Usuń R2C5=5 z Kolumna 5.
R1C5=5 jest prawdą. Usuń R2C5=5 z Kolumna 5.
Krok 8 · Rozumowanie

​​R2C5=5 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C8=5 musi być prawdą.

​​R2C5=5 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C8=5 musi być prawdą.
​​R2C5=5 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C8=5 musi być prawdą.
Krok 9 · Rozumowanie

R2C8=5 jest prawdą. Usuń R2C8=9.

R2C8=5 jest prawdą. Usuń R2C8=9.
R2C8=5 jest prawdą. Usuń R2C8=9.
Krok 10 · Rozumowanie

​​R2C8=9 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C4=9 musi być prawdą.

​​R2C8=9 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C4=9 musi być prawdą.
​​R2C8=9 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C4=9 musi być prawdą.
Krok 11 · Rozumowanie

R2C4=9 jest prawdą. Usuń R1C4=9 z Kolumna 4.

R2C4=9 jest prawdą. Usuń R1C4=9 z Kolumna 4.
R2C4=9 jest prawdą. Usuń R1C4=9 z Kolumna 4.
Krok 12 · Rozumowanie

R1C4=9 ma wartość fałszywą. R1C4 pozostało już tylko R1C4=7, więc to musi być prawda.

R1C4=9 ma wartość fałszywą. R1C4 pozostało już tylko R1C4=7, więc to musi być prawda.
R1C4=9 ma wartość fałszywą. R1C4 pozostało już tylko R1C4=7, więc to musi być prawda.
Krok 13 · Rozumowanie

R1C4=7 jest prawdą. Usuń R1C2=7 z rząd 1.

R1C4=7 jest prawdą. Usuń R1C2=7 z rząd 1.
R1C4=7 jest prawdą. Usuń R1C2=7 z rząd 1.
Krok 14 · Rozumowanie

Każda możliwa gałąź osiąga ten sam fakt: R1C2=7 ma wartość fałszywą. Po wycofaniu wszelkich założeń fakt ten pozostaje pewny.

Każda możliwa gałąź osiąga ten sam fakt: R1C2=7 ma wartość fałszywą. Po wycofaniu wszelkich założeń fakt ten pozostaje pewny.
Każda możliwa gałąź osiąga ten sam fakt: R1C2=7 ma wartość fałszywą. Po wycofaniu wszelkich założeń fakt ten pozostaje pewny.
Krok 15 · Wniosek

Zweryfikowany wynik to R1C2=7 ma wartość fałszywą. Wszystkie tymczasowe założenia zostały wycofane.

Zweryfikowany wynik to R1C2=7 ma wartość fałszywą. Wszystkie tymczasowe założenia zostały wycofane.
Zweryfikowany wynik to R1C2=7 ma wartość fałszywą. Wszystkie tymczasowe założenia zostały wycofane.

Na co pozwala

Zweryfikowany wynik to R1C2=7 ma wartość fałszywą. Wszystkie tymczasowe założenia zostały wycofane.

Łańcuch wymuszający (Forcing Chain) · Zachowaj tylko miejsce docelowe lub eliminację wspólne dla każdej możliwej gałęzi.
Łańcuch wymuszający (Forcing Chain) · Zachowaj tylko miejsce docelowe lub eliminację wspólne dla każdej możliwej gałęzi.

Przykład krok po kroku · Kilka oddziałów

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ć

Korzenie R2C4=2, R2C4=3, R2C4=6, R2C4=7 są każdym możliwym kandydatem w R2C4. Postępuj zgodnie z każdym z nich jako oddzielnym liniowym łańcuchem implikacji; jeśli każdy korzeń osiągnie R2C6=3, wynik ten zostanie wymuszony. Samo wiele korzeni nie czyni tego Forcing Net.

Korzenie R2C4=2, R2C4=3, R2C4=6, R2C4=7 są każdym możliwym kandydatem w R2C4. Postępuj zgodnie z każdym z nich jako oddzielnym liniowym łańcuchem implikacji; jeśli każdy korzeń osiągnie R2C6=3, wynik ten zostanie wymuszony. Samo wiele korzeni nie czyni tego Forcing Net.
Korzenie R2C4=2, R2C4=3, R2C4=6, R2C4=7 są każdym możliwym kandydatem w R2C4. Postępuj zgodnie z każdym z nich jako oddzielnym liniowym łańcuchem implikacji; jeśli każdy korzeń osiągnie R2C6=3, wynik ten zostanie wymuszony. Samo wiele korzeni nie czyni tego Forcing Net.
Krok 2 · Rozumowanie

Oddział 1: załóżmy, że R2C4=2 ma wartość true.

Oddział 1: załóżmy, że R2C4=2 ma wartość true.
Oddział 1: załóżmy, że R2C4=2 ma wartość true.
Krok 3 · Rozumowanie

R2C4=2 jest prawdą. Usuń R2C4=3.

R2C4=2 jest prawdą. Usuń R2C4=3.
R2C4=2 jest prawdą. Usuń R2C4=3.
Krok 4 · Rozumowanie

​​R2C4=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C6=3 musi być prawdą.

​​R2C4=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C6=3 musi być prawdą.
​​R2C4=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C6=3 musi być prawdą.
Krok 5 · 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.

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

Oddział 2: załóżmy, że R2C4=3 ma wartość true.

Oddział 2: załóżmy, że R2C4=3 ma wartość true.
Oddział 2: załóżmy, że R2C4=3 ma wartość true.
Krok 7 · Rozumowanie

R2C4=3 jest prawdą. Usuń R2C4=6.

R2C4=3 jest prawdą. Usuń R2C4=6.
R2C4=3 jest prawdą. Usuń R2C4=6.
Krok 8 · Rozumowanie

​​R2C4=6 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w blok 2. Dlatego R1C5=6 musi być prawdą.

​​R2C4=6 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w blok 2. Dlatego R1C5=6 musi być prawdą.
​​R2C4=6 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w blok 2. Dlatego R1C5=6 musi być prawdą.
Krok 9 · Rozumowanie

R1C5=6 jest prawdą. Usuń R4C5=6 z Kolumna 5.

R1C5=6 jest prawdą. Usuń R4C5=6 z Kolumna 5.
R1C5=6 jest prawdą. Usuń R4C5=6 z Kolumna 5.
Krok 10 · Rozumowanie

R4C5=6 ma wartość fałszywą. R4C5 pozostało już tylko R4C5=3, więc to musi być prawda.

R4C5=6 ma wartość fałszywą. R4C5 pozostało już tylko R4C5=3, więc to musi być prawda.
R4C5=6 ma wartość fałszywą. R4C5 pozostało już tylko R4C5=3, więc to musi być prawda.
Krok 11 · Rozumowanie

R4C5=3 jest prawdą. Usuń R6C6=3 z blok 5.

R4C5=3 jest prawdą. Usuń R6C6=3 z blok 5.
R4C5=3 jest prawdą. Usuń R6C6=3 z blok 5.
Krok 12 · Rozumowanie

​​R6C6=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 6. Dlatego R2C6=3 musi być prawdą.

​​R6C6=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 6. Dlatego R2C6=3 musi być prawdą.
​​R6C6=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 6. Dlatego R2C6=3 musi być prawdą.
Krok 13 · 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.

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

Oddział 3: załóżmy, że R2C4=6 ma wartość true.

Oddział 3: załóżmy, że R2C4=6 ma wartość true.
Oddział 3: załóżmy, że R2C4=6 ma wartość true.
Krok 15 · Rozumowanie

R2C4=6 jest prawdą. Usuń R2C4=3.

R2C4=6 jest prawdą. Usuń R2C4=3.
R2C4=6 jest prawdą. Usuń R2C4=3.
Krok 16 · Rozumowanie

​​R2C4=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C6=3 musi być prawdą.

​​R2C4=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C6=3 musi być prawdą.
​​R2C4=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C6=3 musi być prawdą.
Krok 17 · 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.

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

Oddział 4: załóżmy, że R2C4=7 ma wartość true.

Oddział 4: załóżmy, że R2C4=7 ma wartość true.
Oddział 4: załóżmy, że R2C4=7 ma wartość true.
Krok 19 · Rozumowanie

R2C4=7 jest prawdą. Usuń R2C4=3.

R2C4=7 jest prawdą. Usuń R2C4=3.
R2C4=7 jest prawdą. Usuń R2C4=3.
Krok 20 · Rozumowanie

​​R2C4=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C6=3 musi być prawdą.

​​R2C4=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C6=3 musi być prawdą.
​​R2C4=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C6=3 musi być prawdą.
Krok 21 · Rozumowanie

Każda możliwa gałąź osiąga ten sam fakt: R2C6=3 jest prawdą. Po wycofaniu wszelkich założeń fakt ten pozostaje pewny.

Każda możliwa gałąź osiąga ten sam fakt: R2C6=3 jest prawdą. Po wycofaniu wszelkich założeń fakt ten pozostaje pewny.
Każda możliwa gałąź osiąga ten sam fakt: R2C6=3 jest prawdą. Po wycofaniu wszelkich założeń fakt ten pozostaje pewny.
Krok 22 · Wniosek

Zweryfikowany wynik to R2C6=3 jest prawdą. Wszystkie tymczasowe założenia zostały wycofane.

Zweryfikowany wynik to R2C6=3 jest prawdą. Wszystkie tymczasowe założenia zostały wycofane.
Zweryfikowany wynik to R2C6=3 jest prawdą. Wszystkie tymczasowe założenia zostały wycofane.

Na co pozwala

Zweryfikowany wynik to R2C6=3 jest prawdą. Wszystkie tymczasowe założenia zostały wycofane.

Łańcuch wymuszający (Forcing Chain) · Zachowaj tylko miejsce docelowe lub eliminację wspólne dla każdej możliwej gałęzi.
Łańcuch wymuszający (Forcing Chain) · Zachowaj tylko miejsce docelowe lub eliminację wspólne dla każdej możliwej gałęzi.

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