Platon Games
Polski

Platon Sudoku · Nauka sudoku

Sieć wymuszająca (Forcing Net) · Przykład krok po kroku

Forcing Net rozgałęzia i łączy implikacje kandydatów. Może obalić założenie lub wykazać wspólny wynik dla wszystkich alternatywnych rozwiązań. Usuń odrzuconego kandydata lub zastosuj wynik wspólny dla wszystkich wyczerpujących 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

Forcing Net rozgałęzia i łączy implikacje kandydatów. Może obalić założenie lub wykazać wspólny wynik dla wszystkich alternatywnych rozwiązań.

Jak to znaleźć

Śledź każde założenie w rozgałęzionej sieci, sprawdzaj każde łącze i porównuj sprzeczności lub wspólne punkty końcowe.

Na co pozwala

Usuń odrzuconego kandydata lub zastosuj wynik wspólny dla wszystkich wyczerpujących gałęzi.

Unikaj pomyłek

Nie pomijaj gałęzi ani nie myl wspólnego efektu z efektem z tylko jednej ścieżki.

Przykład krok po kroku · Sprzeczność

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ć

R1C3=7 ma wartość prawda lub fałsz. Graf sprawdza R1C3=7 jest prawdą; sprzeczność wyklucza ten stan i wymusza R1C3=7 ma wartość fałszywą, więc dwa możliwe stany są w pełni uwzględnione. To jest Forcing Net, a nie Forcing Chain, bo zweryfikowany wykres zależności rozgałęzia się lub łączy, zamiast pozostać pojedynczą liniową ścieżką implikacji. Badana gałąź zawiera zweryfikowane węzły 49.

R1C3=7 ma wartość prawda lub fałsz. Graf sprawdza R1C3=7 jest prawdą; sprzeczność wyklucza ten stan i wymusza R1C3=7 ma wartość fałszywą, więc dwa możliwe stany są w pełni uwzględnione. To jest Forcing Net, a nie Forcing Chain, bo zweryfikowany wykres zależności rozgałęzia się lub łączy, zamiast pozostać pojedynczą liniową ścieżką implikacji. Badana gałąź zawiera zweryfikowane węzły 49.
R1C3=7 ma wartość prawda lub fałsz. Graf sprawdza R1C3=7 jest prawdą; sprzeczność wyklucza ten stan i wymusza R1C3=7 ma wartość fałszywą, więc dwa możliwe stany są w pełni uwzględnione. To jest Forcing Net, a nie Forcing Chain, bo zweryfikowany wykres zależności rozgałęzia się lub łączy, zamiast pozostać pojedynczą liniową ścieżką implikacji. Badana gałąź zawiera zweryfikowane węzły 49.
Krok 2 · Rozumowanie

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

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

R1C3=7 jest prawdą. Usuń {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.

R1C3=7 jest prawdą. Usuń {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
R1C3=7 jest prawdą. Usuń {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
Krok 4 · Rozumowanie

Po powyższych wyłączeniach, R8C3=3 jest jedyną pozostałą opcją w R8C3. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R8C3=3 jest jedyną pozostałą opcją w R8C3. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R8C3=3 jest jedyną pozostałą opcją w R8C3. Jest to wymuszone przy tym założeniu.
Krok 5 · Rozumowanie

R8C3=3 jest prawdą. Usuń R7C3=3.

R8C3=3 jest prawdą. Usuń R7C3=3.
R8C3=3 jest prawdą. Usuń R7C3=3.
Krok 6 · Rozumowanie

Po powyższych wyłączeniach, R7C4=3 jest jedyną pozostałą opcją w rząd 7. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R7C4=3 jest jedyną pozostałą opcją w rząd 7. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R7C4=3 jest jedyną pozostałą opcją w rząd 7. Jest to wymuszone przy tym założeniu.
Krok 7 · Rozumowanie

Po powyższych wyłączeniach, R8C2=7 jest jedyną pozostałą opcją w rząd 8. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R8C2=7 jest jedyną pozostałą opcją w rząd 8. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R8C2=7 jest jedyną pozostałą opcją w rząd 8. Jest to wymuszone przy tym założeniu.
Krok 8 · Rozumowanie

R8C2=7 jest prawdą. Usuń R8C2=8.

R8C2=7 jest prawdą. Usuń R8C2=8.
R8C2=7 jest prawdą. Usuń R8C2=8.
Krok 9 · Rozumowanie

Po powyższych wyłączeniach, R8C8=8 jest jedyną pozostałą opcją w rząd 8. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R8C8=8 jest jedyną pozostałą opcją w rząd 8. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R8C8=8 jest jedyną pozostałą opcją w rząd 8. Jest to wymuszone przy tym założeniu.
Krok 10 · Rozumowanie

R8C8=8 jest prawdą. Usuń R8C8=4.

R8C8=8 jest prawdą. Usuń R8C8=4.
R8C8=8 jest prawdą. Usuń R8C8=4.
Krok 11 · Rozumowanie

Po powyższych wyłączeniach, R6C1=7 jest jedyną pozostałą opcją w Kolumna 1. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R6C1=7 jest jedyną pozostałą opcją w Kolumna 1. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R6C1=7 jest jedyną pozostałą opcją w Kolumna 1. Jest to wymuszone przy tym założeniu.
Krok 12 · Rozumowanie

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

R6C1=7 jest prawdą. Usuń R6C1=5.
R6C1=7 jest prawdą. Usuń R6C1=5.
Krok 13 · Rozumowanie

Po powyższych wyłączeniach, R3C8=4 jest jedyną pozostałą opcją w Kolumna 8. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R3C8=4 jest jedyną pozostałą opcją w Kolumna 8. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R3C8=4 jest jedyną pozostałą opcją w Kolumna 8. Jest to wymuszone przy tym założeniu.
Krok 14 · Rozumowanie

R3C8=4 jest prawdą. Usuń {R3C8=1, R3C8=6}.

R3C8=4 jest prawdą. Usuń {R3C8=1, R3C8=6}.
R3C8=4 jest prawdą. Usuń {R3C8=1, R3C8=6}.
Krok 15 · Rozumowanie

Po powyższych wyłączeniach, R3C1=2 jest jedyną pozostałą opcją w blok 1. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R3C1=2 jest jedyną pozostałą opcją w blok 1. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R3C1=2 jest jedyną pozostałą opcją w blok 1. Jest to wymuszone przy tym założeniu.
Krok 16 · Rozumowanie

R3C1=2 jest prawdą. Usuń R3C1=5.

R3C1=2 jest prawdą. Usuń R3C1=5.
R3C1=2 jest prawdą. Usuń R3C1=5.
Krok 17 · Rozumowanie

Po powyższych wyłączeniach, R9C7=4 jest jedyną pozostałą opcją w blok 9. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R9C7=4 jest jedyną pozostałą opcją w blok 9. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R9C7=4 jest jedyną pozostałą opcją w blok 9. Jest to wymuszone przy tym założeniu.
Krok 18 · Rozumowanie

R9C7=4 jest prawdą. Usuń R9C7=9.

R9C7=4 jest prawdą. Usuń R9C7=9.
R9C7=4 jest prawdą. Usuń R9C7=9.
Krok 19 · Rozumowanie

Po powyższych wyłączeniach, R7C9=9 jest jedyną pozostałą opcją w blok 9. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R7C9=9 jest jedyną pozostałą opcją w blok 9. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R7C9=9 jest jedyną pozostałą opcją w blok 9. Jest to wymuszone przy tym założeniu.
Krok 20 · Rozumowanie

R3C8=4 jest prawdą. Usuń R2C7=4.

R3C8=4 jest prawdą. Usuń R2C7=4.
R3C8=4 jest prawdą. Usuń R2C7=4.
Krok 21 · Rozumowanie

R6C1=7 jest prawdą. Usuń R6C7=7.

R6C1=7 jest prawdą. Usuń R6C7=7.
R6C1=7 jest prawdą. Usuń R6C7=7.
Krok 22 · Rozumowanie

Po powyższych wyłączeniach, R6C7=6 jest jedyną pozostałą opcją w R6C7. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R6C7=6 jest jedyną pozostałą opcją w R6C7. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R6C7=6 jest jedyną pozostałą opcją w R6C7. Jest to wymuszone przy tym założeniu.
Krok 23 · Rozumowanie

R6C7=6 jest prawdą. Usuń R3C7=6.

R6C7=6 jest prawdą. Usuń R3C7=6.
R6C7=6 jest prawdą. Usuń R3C7=6.
Krok 24 · Rozumowanie

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

R7C4=3 jest prawdą. Usuń R2C4=3.
R7C4=3 jest prawdą. Usuń R2C4=3.
Krok 25 · Rozumowanie

R7C9=9 jest prawdą. Usuń {R1C9=9, R7C3=9}.

R7C9=9 jest prawdą. Usuń {R1C9=9, R7C3=9}.
R7C9=9 jest prawdą. Usuń {R1C9=9, R7C3=9}.
Krok 26 · Rozumowanie

R8C8=8 jest prawdą. Usuń R1C8=8.

R8C8=8 jest prawdą. Usuń R1C8=8.
R8C8=8 jest prawdą. Usuń R1C8=8.
Krok 27 · Rozumowanie

Po powyższych wyłączeniach, R3C9=6 jest jedyną pozostałą opcją w rząd 3. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R3C9=6 jest jedyną pozostałą opcją w rząd 3. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R3C9=6 jest jedyną pozostałą opcją w rząd 3. Jest to wymuszone przy tym założeniu.
Krok 28 · Rozumowanie

R3C9=6 jest prawdą. Usuń R3C9=1.

R3C9=6 jest prawdą. Usuń R3C9=1.
R3C9=6 jest prawdą. Usuń R3C9=1.
Krok 29 · Rozumowanie

Po powyższych wyłączeniach, R9C1=9 jest jedyną pozostałą opcją w rząd 9. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R9C1=9 jest jedyną pozostałą opcją w rząd 9. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R9C1=9 jest jedyną pozostałą opcją w rząd 9. Jest to wymuszone przy tym założeniu.
Krok 30 · Rozumowanie

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

R9C1=9 jest prawdą. Usuń R9C1=5.
R9C1=9 jest prawdą. Usuń R9C1=5.
Krok 31 · Rozumowanie

Po powyższych wyłączeniach, R2C1=5 jest jedyną pozostałą opcją w Kolumna 1. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R2C1=5 jest jedyną pozostałą opcją w Kolumna 1. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R2C1=5 jest jedyną pozostałą opcją w Kolumna 1. Jest to wymuszone przy tym założeniu.
Krok 32 · Rozumowanie

Po powyższych wyłączeniach, R2C3=9 jest jedyną pozostałą opcją w Kolumna 3. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R2C3=9 jest jedyną pozostałą opcją w Kolumna 3. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R2C3=9 jest jedyną pozostałą opcją w Kolumna 3. Jest to wymuszone przy tym założeniu.
Krok 33 · Rozumowanie

Po powyższych wyłączeniach, R2C9=1 jest jedyną pozostałą opcją w blok 3. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R2C9=1 jest jedyną pozostałą opcją w blok 3. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R2C9=1 jest jedyną pozostałą opcją w blok 3. Jest to wymuszone przy tym założeniu.
Krok 34 · Rozumowanie

Po powyższych wyłączeniach, R1C8=5 jest jedyną pozostałą opcją w R1C8. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R1C8=5 jest jedyną pozostałą opcją w R1C8. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R1C8=5 jest jedyną pozostałą opcją w R1C8. Jest to wymuszone przy tym założeniu.
Krok 35 · Rozumowanie

R1C8=5 jest prawdą. Usuń R1C9=5.

R1C8=5 jest prawdą. Usuń R1C9=5.
R1C8=5 jest prawdą. Usuń R1C9=5.
Krok 36 · Rozumowanie

Po powyższych wyłączeniach, R1C9=8 jest jedyną pozostałą opcją w R1C9. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R1C9=8 jest jedyną pozostałą opcją w R1C9. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R1C9=8 jest jedyną pozostałą opcją w R1C9. Jest to wymuszone przy tym założeniu.
Krok 37 · Rozumowanie

R1C9=8 jest prawdą. Usuń R2C7=8.

R1C9=8 jest prawdą. Usuń R2C7=8.
R1C9=8 jest prawdą. Usuń R2C7=8.
Krok 38 · Rozumowanie

R2C1=5 jest prawdą. Usuń R2C4=5.

R2C1=5 jest prawdą. Usuń R2C4=5.
R2C1=5 jest prawdą. Usuń R2C4=5.
Krok 39 · Rozumowanie

R2C3=9 jest prawdą. Usuń R2C7=9.

R2C3=9 jest prawdą. Usuń R2C7=9.
R2C3=9 jest prawdą. Usuń R2C7=9.
Krok 40 · Rozumowanie

Po powyższych wyłączeniach, R2C7=7 jest jedyną pozostałą opcją w R2C7. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R2C7=7 jest jedyną pozostałą opcją w R2C7. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R2C7=7 jest jedyną pozostałą opcją w R2C7. Jest to wymuszone przy tym założeniu.
Krok 41 · Rozumowanie

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

R2C7=7 jest prawdą. Usuń R2C4=7.
R2C7=7 jest prawdą. Usuń R2C4=7.
Krok 42 · Rozumowanie

R2C9=1 jest prawdą. Usuń R2C4=1.

R2C9=1 jest prawdą. Usuń R2C4=1.
R2C9=1 jest prawdą. Usuń R2C4=1.
Krok 43 · Rozumowanie

To założenie nie pozostawia żadnej możliwej wartości ani pozycji w R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Komórka Sudoku i każda brakująca cyfra w regionie muszą mieć opcję. Założenie jest niemożliwe.

To założenie nie pozostawia żadnej możliwej wartości ani pozycji w R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Komórka Sudoku i każda brakująca cyfra w regionie muszą mieć opcję. Założenie jest niemożliwe.
To założenie nie pozostawia żadnej możliwej wartości ani pozycji w R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Komórka Sudoku i każda brakująca cyfra w regionie muszą mieć opcję. Założenie jest niemożliwe.
Krok 44 · 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 45 · Wniosek

R1C3=7 można usunąć, ponieważ w tym wzorcu nie może to być prawdą.

R1C3=7 można usunąć, ponieważ w tym wzorcu nie może to być prawdą.
R1C3=7 można usunąć, ponieważ w tym wzorcu nie może to być prawdą.

Na co pozwala

R1C3=7 można usunąć, ponieważ w tym wzorcu nie może to być prawdą.

Sieć wymuszająca (Forcing Net) · Usuń odrzuconego kandydata lub zastosuj wynik wspólny dla wszystkich wyczerpujących gałęzi.
Sieć wymuszająca (Forcing Net) · Usuń odrzuconego kandydata lub zastosuj wynik wspólny dla wszystkich wyczerpujących gałęzi.

Przykład krok po kroku · Wspólny wynik

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ć

Zestaw główny R7C5=2, R7C5=4, R7C5=9 zawiera każdy możliwy początek w R7C5, więc gałęzie główne są wyczerpujące. To jest Forcing Net, a nie Forcing Chain, bo zweryfikowany wykres zależności rozgałęzia się lub łączy, zamiast pozostać pojedynczą liniową ścieżką implikacji. Wykres zależności zawiera zweryfikowane węzły 58 w gałęziach głównych 3. Typowym wynikiem do sprawdzenia jest R3C6=2 jest prawdą.

Zestaw główny R7C5=2, R7C5=4, R7C5=9 zawiera każdy możliwy początek w R7C5, więc gałęzie główne są wyczerpujące. To jest Forcing Net, a nie Forcing Chain, bo zweryfikowany wykres zależności rozgałęzia się lub łączy, zamiast pozostać pojedynczą liniową ścieżką implikacji. Wykres zależności zawiera zweryfikowane węzły 58 w gałęziach głównych 3. Typowym wynikiem do sprawdzenia jest R3C6=2 jest prawdą.
Zestaw główny R7C5=2, R7C5=4, R7C5=9 zawiera każdy możliwy początek w R7C5, więc gałęzie główne są wyczerpujące. To jest Forcing Net, a nie Forcing Chain, bo zweryfikowany wykres zależności rozgałęzia się lub łączy, zamiast pozostać pojedynczą liniową ścieżką implikacji. Wykres zależności zawiera zweryfikowane węzły 58 w gałęziach głównych 3. Typowym wynikiem do sprawdzenia jest R3C6=2 jest prawdą.
Krok 2 · Rozumowanie

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

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

R7C5=2 jest prawdą. Usuń R3C5=2.

R7C5=2 jest prawdą. Usuń R3C5=2.
R7C5=2 jest prawdą. Usuń R3C5=2.
Krok 4 · Rozumowanie

Po powyższych wyłączeniach, R3C6=2 jest jedyną pozostałą opcją w rząd 3. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R3C6=2 jest jedyną pozostałą opcją w rząd 3. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R3C6=2 jest jedyną pozostałą opcją w rząd 3. Jest to wymuszone przy tym założeniu.
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 R7C5=4 ma wartość true.

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

R7C5=4 jest prawdą. Usuń R8C5=4.

R7C5=4 jest prawdą. Usuń R8C5=4.
R7C5=4 jest prawdą. Usuń R8C5=4.
Krok 8 · Rozumowanie

Po powyższych wyłączeniach, R8C5=2 jest jedyną pozostałą opcją w R8C5. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R8C5=2 jest jedyną pozostałą opcją w R8C5. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R8C5=2 jest jedyną pozostałą opcją w R8C5. Jest to wymuszone przy tym założeniu.
Krok 9 · Rozumowanie

R8C5=2 jest prawdą. Usuń R3C5=2.

R8C5=2 jest prawdą. Usuń R3C5=2.
R8C5=2 jest prawdą. Usuń R3C5=2.
Krok 10 · Rozumowanie

Po powyższych wyłączeniach, R3C6=2 jest jedyną pozostałą opcją w rząd 3. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R3C6=2 jest jedyną pozostałą opcją w rząd 3. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R3C6=2 jest jedyną pozostałą opcją w rząd 3. Jest to wymuszone przy tym założeniu.
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.

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 12 · Rozumowanie

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

Oddział 3: załóżmy, że R7C5=9 ma wartość true.
Oddział 3: załóżmy, że R7C5=9 ma wartość true.
Krok 13 · Rozumowanie

R7C5=9 jest prawdą. Usuń {R7C7=9, R7C8=9, R7C9=9}.

R7C5=9 jest prawdą. Usuń {R7C7=9, R7C8=9, R7C9=9}.
R7C5=9 jest prawdą. Usuń {R7C7=9, R7C8=9, R7C9=9}.
Krok 14 · Rozumowanie

Po powyższych wyłączeniach, R7C8=7 jest jedyną pozostałą opcją w R7C8. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R7C8=7 jest jedyną pozostałą opcją w R7C8. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R7C8=7 jest jedyną pozostałą opcją w R7C8. Jest to wymuszone przy tym założeniu.
Krok 15 · Rozumowanie

R7C8=7 jest prawdą. Usuń {R7C9=7, R9C7=7, R9C8=7}.

R7C8=7 jest prawdą. Usuń {R7C9=7, R9C7=7, R9C8=7}.
R7C8=7 jest prawdą. Usuń {R7C9=7, R9C7=7, R9C8=7}.
Krok 16 · Rozumowanie

Po powyższych wyłączeniach, R7C9=8 jest jedyną pozostałą opcją w R7C9. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R7C9=8 jest jedyną pozostałą opcją w R7C9. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R7C9=8 jest jedyną pozostałą opcją w R7C9. Jest to wymuszone przy tym założeniu.
Krok 17 · Rozumowanie

R7C9=8 jest prawdą. Usuń {R7C7=8, R8C7=8, R9C7=8}.

R7C9=8 jest prawdą. Usuń {R7C7=8, R8C7=8, R9C7=8}.
R7C9=8 jest prawdą. Usuń {R7C7=8, R8C7=8, R9C7=8}.
Krok 18 · Rozumowanie

Po powyższych wyłączeniach, R9C1=7 jest jedyną pozostałą opcją w rząd 9. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R9C1=7 jest jedyną pozostałą opcją w rząd 9. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R9C1=7 jest jedyną pozostałą opcją w rząd 9. Jest to wymuszone przy tym założeniu.
Krok 19 · Rozumowanie

Po powyższych wyłączeniach, R4C7=8 jest jedyną pozostałą opcją w Kolumna 7. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R4C7=8 jest jedyną pozostałą opcją w Kolumna 7. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R4C7=8 jest jedyną pozostałą opcją w Kolumna 7. Jest to wymuszone przy tym założeniu.
Krok 20 · Rozumowanie

R4C7=8 jest prawdą. Usuń R4C7=5.

R4C7=8 jest prawdą. Usuń R4C7=5.
R4C7=8 jest prawdą. Usuń R4C7=5.
Krok 21 · Rozumowanie

Po powyższych wyłączeniach, R4C9=7 jest jedyną pozostałą opcją w Kolumna 9. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R4C9=7 jest jedyną pozostałą opcją w Kolumna 9. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R4C9=7 jest jedyną pozostałą opcją w Kolumna 9. Jest to wymuszone przy tym założeniu.
Krok 22 · Rozumowanie

R4C9=7 jest prawdą. Usuń R4C9=9.

R4C9=7 jest prawdą. Usuń R4C9=9.
R4C9=7 jest prawdą. Usuń R4C9=9.
Krok 23 · Rozumowanie

Po powyższych wyłączeniach, R6C9=9 jest jedyną pozostałą opcją w Kolumna 9. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R6C9=9 jest jedyną pozostałą opcją w Kolumna 9. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R6C9=9 jest jedyną pozostałą opcją w Kolumna 9. Jest to wymuszone przy tym założeniu.
Krok 24 · Rozumowanie

R6C9=9 jest prawdą. Usuń R6C9=1.

R6C9=9 jest prawdą. Usuń R6C9=1.
R6C9=9 jest prawdą. Usuń R6C9=1.
Krok 25 · Rozumowanie

Po powyższych wyłączeniach, R5C7=1 jest jedyną pozostałą opcją w blok 6. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R5C7=1 jest jedyną pozostałą opcją w blok 6. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R5C7=1 jest jedyną pozostałą opcją w blok 6. Jest to wymuszone przy tym założeniu.
Krok 26 · Rozumowanie

R5C7=1 jest prawdą. Usuń {R5C7=5, R5C7=7}.

R5C7=1 jest prawdą. Usuń {R5C7=5, R5C7=7}.
R5C7=1 jest prawdą. Usuń {R5C7=5, R5C7=7}.
Krok 27 · Rozumowanie

Po powyższych wyłączeniach, R4C8=5 jest jedyną pozostałą opcją w blok 6. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R4C8=5 jest jedyną pozostałą opcją w blok 6. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R4C8=5 jest jedyną pozostałą opcją w blok 6. Jest to wymuszone przy tym założeniu.
Krok 28 · Rozumowanie

R4C8=5 jest prawdą. Usuń {R4C5=5, R8C8=5}.

R4C8=5 jest prawdą. Usuń {R4C5=5, R8C8=5}.
R4C8=5 jest prawdą. Usuń {R4C5=5, R8C8=5}.
Krok 29 · Rozumowanie

R5C7=1 jest prawdą. Usuń {R2C7=1, R5C1=1}.

R5C7=1 jest prawdą. Usuń {R2C7=1, R5C1=1}.
R5C7=1 jest prawdą. Usuń {R2C7=1, R5C1=1}.
Krok 30 · Rozumowanie

R9C1=7 jest prawdą. Usuń R5C1=7.

R9C1=7 jest prawdą. Usuń R5C1=7.
R9C1=7 jest prawdą. Usuń R5C1=7.
Krok 31 · Rozumowanie

Po powyższych wyłączeniach, R5C2=7 jest jedyną pozostałą opcją w rząd 5. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R5C2=7 jest jedyną pozostałą opcją w rząd 5. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R5C2=7 jest jedyną pozostałą opcją w rząd 5. Jest to wymuszone przy tym założeniu.
Krok 32 · Rozumowanie

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

R5C2=7 jest prawdą. Usuń R5C2=3.
R5C2=7 jest prawdą. Usuń R5C2=3.
Krok 33 · Rozumowanie

Po powyższych wyłączeniach, R8C7=5 jest jedyną pozostałą opcją w rząd 8. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R8C7=5 jest jedyną pozostałą opcją w rząd 8. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R8C7=5 jest jedyną pozostałą opcją w rząd 8. Jest to wymuszone przy tym założeniu.
Krok 34 · Rozumowanie

R8C7=5 jest prawdą. Usuń {R8C7=2, R8C7=6}.

R8C7=5 jest prawdą. Usuń {R8C7=2, R8C7=6}.
R8C7=5 jest prawdą. Usuń {R8C7=2, R8C7=6}.
Krok 35 · Rozumowanie

Po powyższych wyłączeniach, R1C1=1 jest jedyną pozostałą opcją w Kolumna 1. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R1C1=1 jest jedyną pozostałą opcją w Kolumna 1. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R1C1=1 jest jedyną pozostałą opcją w Kolumna 1. Jest to wymuszone przy tym założeniu.
Krok 36 · Rozumowanie

Po powyższych wyłączeniach, R7C7=6 jest jedyną pozostałą opcją w Kolumna 7. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R7C7=6 jest jedyną pozostałą opcją w Kolumna 7. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R7C7=6 jest jedyną pozostałą opcją w Kolumna 7. Jest to wymuszone przy tym założeniu.
Krok 37 · Rozumowanie

R7C7=6 jest prawdą. Usuń R7C7=2.

R7C7=6 jest prawdą. Usuń R7C7=2.
R7C7=6 jest prawdą. Usuń R7C7=2.
Krok 38 · Rozumowanie

Po powyższych wyłączeniach, R9C7=2 jest jedyną pozostałą opcją w blok 9. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R9C7=2 jest jedyną pozostałą opcją w blok 9. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R9C7=2 jest jedyną pozostałą opcją w blok 9. Jest to wymuszone przy tym założeniu.
Krok 39 · Rozumowanie

R9C7=2 jest prawdą. Usuń R9C7=9.

R9C7=2 jest prawdą. Usuń R9C7=9.
R9C7=2 jest prawdą. Usuń R9C7=9.
Krok 40 · Rozumowanie

Po powyższych wyłączeniach, R9C8=9 jest jedyną pozostałą opcją w blok 9. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R9C8=9 jest jedyną pozostałą opcją w blok 9. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R9C8=9 jest jedyną pozostałą opcją w blok 9. Jest to wymuszone przy tym założeniu.
Krok 41 · Rozumowanie

R9C8=9 jest prawdą. Usuń R9C8=3.

R9C8=9 jest prawdą. Usuń R9C8=3.
R9C8=9 jest prawdą. Usuń R9C8=3.
Krok 42 · Rozumowanie

R1C1=1 jest prawdą. Usuń R2C3=1.

R1C1=1 jest prawdą. Usuń R2C3=1.
R1C1=1 jest prawdą. Usuń R2C3=1.
Krok 43 · Rozumowanie

Po powyższych wyłączeniach, R2C5=1 jest jedyną pozostałą opcją w rząd 2. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R2C5=1 jest jedyną pozostałą opcją w rząd 2. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R2C5=1 jest jedyną pozostałą opcją w rząd 2. Jest to wymuszone przy tym założeniu.
Krok 44 · Rozumowanie

R2C5=1 jest prawdą. Usuń R2C5=5.

R2C5=1 jest prawdą. Usuń R2C5=5.
R2C5=1 jest prawdą. Usuń R2C5=5.
Krok 45 · Rozumowanie

Po powyższych wyłączeniach, R9C3=3 jest jedyną pozostałą opcją w rząd 9. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R9C3=3 jest jedyną pozostałą opcją w rząd 9. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R9C3=3 jest jedyną pozostałą opcją w rząd 9. Jest to wymuszone przy tym założeniu.
Krok 46 · Rozumowanie

Po powyższych wyłączeniach, R5C5=5 jest jedyną pozostałą opcją w Kolumna 5. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R5C5=5 jest jedyną pozostałą opcją w Kolumna 5. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R5C5=5 jest jedyną pozostałą opcją w Kolumna 5. Jest to wymuszone przy tym założeniu.
Krok 47 · Rozumowanie

R5C5=5 jest prawdą. Usuń R5C5=3.

R5C5=5 jest prawdą. Usuń R5C5=3.
R5C5=5 jest prawdą. Usuń R5C5=3.
Krok 48 · Rozumowanie

R9C3=3 jest prawdą. Usuń R5C3=3.

R9C3=3 jest prawdą. Usuń R5C3=3.
R9C3=3 jest prawdą. Usuń R5C3=3.
Krok 49 · Rozumowanie

Po powyższych wyłączeniach, R5C6=3 jest jedyną pozostałą opcją w rząd 5. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R5C6=3 jest jedyną pozostałą opcją w rząd 5. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R5C6=3 jest jedyną pozostałą opcją w rząd 5. Jest to wymuszone przy tym założeniu.
Krok 50 · Rozumowanie

R5C6=3 jest prawdą. Usuń R3C6=3.

R5C6=3 jest prawdą. Usuń R3C6=3.
R5C6=3 jest prawdą. Usuń R3C6=3.
Krok 51 · Rozumowanie

Po powyższych wyłączeniach, R3C6=2 jest jedyną pozostałą opcją w R3C6. Jest to wymuszone przy tym założeniu.

Po powyższych wyłączeniach, R3C6=2 jest jedyną pozostałą opcją w R3C6. Jest to wymuszone przy tym założeniu.
Po powyższych wyłączeniach, R3C6=2 jest jedyną pozostałą opcją w R3C6. Jest to wymuszone przy tym założeniu.
Krok 52 · Rozumowanie

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

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

R3C6=2 jest wymuszony przez ten wzór.

R3C6=2 jest wymuszony przez ten wzór.
R3C6=2 jest wymuszony przez ten wzór.

Na co pozwala

R3C6=2 jest wymuszony przez ten wzór.

Sieć wymuszająca (Forcing Net) · Usuń odrzuconego kandydata lub zastosuj wynik wspólny dla wszystkich wyczerpujących gałęzi.
Sieć wymuszająca (Forcing Net) · Usuń odrzuconego kandydata lub zastosuj wynik wspólny dla wszystkich wyczerpujących 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