Platon Games
Polski

Platon Sudoku · Nauka sudoku

Nice Loop / AIC · Przykład krok po kroku

Naprzemienny łańcuch wnioskowania łączy stany kandydatów za pomocą sprawdzonych silnych i słabych powiązań. Łańcuchy otwarte i zamknięte prowadzą do różnych wniosków. Skorzystaj ze sprawdzonego wyniku: usuń kandydata lub wstaw cyfrę, gdy jej stan przeciwny nie jest możliwy.

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

Naprzemienny łańcuch wnioskowania łączy stany kandydatów za pomocą sprawdzonych silnych i słabych powiązań. Łańcuchy otwarte i zamknięte prowadzą do różnych wniosków.

Jak to znaleźć

Śledź każdą implikację od jednego końca, rejestrując mocne i słabe przejścia oraz to, czy łańcuch zamyka się, czy też zaprzecza punktowi końcowemu.

Na co pozwala

Skorzystaj ze sprawdzonego wyniku: usuń kandydata lub wstaw cyfrę, gdy jej stan przeciwny nie jest możliwy.

Unikaj pomyłek

Silne powiązanie oznacza: jeśli jeden koniec jest fałszywy, drugi jest prawdziwy. Słabe powiązanie oznacza: jeśli jeden koniec jest prawdziwy, drugi jest fałszywy. Nie odwracaj tych implikacji; przed wnioskiem sprawdź relację między końcami.

Przykład krok po kroku · Nieciągły · wyeliminować

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 · ​​Przeczytaj AIC zanim zastosujesz się do niego

W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R1C6=1 jest prawdą i sprawdź R1C6=1. W Kolumna 6, rząd 2, Kolumna 9, rząd 7, blok 5, rząd 5, Kolumna 1, rząd 9, Kolumna 8 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.

W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R1C6=1 jest prawdą i sprawdź R1C6=1. W Kolumna 6, rząd 2, Kolumna 9, rząd 7, blok 5, rząd 5, Kolumna 1, rząd 9, Kolumna 8 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.
W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R1C6=1 jest prawdą i sprawdź R1C6=1. W Kolumna 6, rząd 2, Kolumna 9, rząd 7, blok 5, rząd 5, Kolumna 1, rząd 9, Kolumna 8 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.
Krok 2 · Założenie: uruchomić łańcuch naprzemienny

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

Oddział 1: załóżmy, że R1C6=1 ma wartość true.
Oddział 1: załóżmy, że R1C6=1 ma wartość true.
Krok 3 · Słaba relacja: konflikt połączonych kandydatów

R1C6=1 jest prawdą. Usuń R1C6=8.

R1C6=1 jest prawdą. Usuń R1C6=8.
R1C6=1 jest prawdą. Usuń R1C6=8.
Krok 4 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R1C6=8 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 6. Dlatego R2C6=8 musi być prawdą.
​​R1C6=8 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 6. Dlatego R2C6=8 musi być prawdą.
Krok 5 · Słaba relacja: konflikt połączonych kandydatów

R2C6=8 jest prawdą. Usuń R2C6=6.

R2C6=8 jest prawdą. Usuń R2C6=6.
R2C6=8 jest prawdą. Usuń R2C6=6.
Krok 6 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R2C6=6 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C9=6 musi być prawdą.
​​R2C6=6 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 2. Dlatego R2C9=6 musi być prawdą.
Krok 7 · Słaba relacja: konflikt połączonych kandydatów

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

R2C9=6 jest prawdą. Usuń R2C9=3.
R2C9=6 jest prawdą. Usuń R2C9=3.
Krok 8 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R2C9=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 9. Dlatego R7C9=3 musi być prawdą.
​​R2C9=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 9. Dlatego R7C9=3 musi być prawdą.
Krok 9 · Słaba relacja: konflikt połączonych kandydatów

R7C9=3 jest prawdą. Usuń R7C6=3.

R7C9=3 jest prawdą. Usuń R7C6=3.
R7C9=3 jest prawdą. Usuń R7C6=3.
Krok 10 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R7C6=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 6. Dlatego R6C6=3 musi być prawdą.
​​R7C6=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 6. Dlatego R6C6=3 musi być prawdą.
Krok 11 · Słaba relacja: konflikt połączonych kandydatów

R6C6=3 jest prawdą. Usuń R5C4=3.

R6C6=3 jest prawdą. Usuń R5C4=3.
R6C6=3 jest prawdą. Usuń R5C4=3.
Krok 12 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R5C4=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 5. Dlatego R5C1=3 musi być prawdą.
​​R5C4=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 5. Dlatego R5C1=3 musi być prawdą.
Krok 13 · Słaba relacja: konflikt połączonych kandydatów

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

R5C1=3 jest prawdą. Usuń R9C1=3.
R5C1=3 jest prawdą. Usuń R9C1=3.
Krok 14 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R9C1=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 9. Dlatego R9C8=3 musi być prawdą.
​​R9C1=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 9. Dlatego R9C8=3 musi być prawdą.
Krok 15 · Słaba relacja: konflikt połączonych kandydatów

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

R9C8=3 jest prawdą. Usuń R2C8=3.
R9C8=3 jest prawdą. Usuń R2C8=3.
Krok 16 · Ta sama komórka: wymuś drugiego kandydata

R2C8=3 ma wartość fałszywą. W tej samej komórce R2C8, przy bieżących założeniach, drugi kandydat R2C8=8 jest zmuszony do spełnienia warunku.

R2C8=3 ma wartość fałszywą. W tej samej komórce R2C8, przy bieżących założeniach, drugi kandydat R2C8=8 jest zmuszony do spełnienia warunku.
R2C8=3 ma wartość fałszywą. W tej samej komórce R2C8, przy bieżących założeniach, drugi kandydat R2C8=8 jest zmuszony do spełnienia warunku.
Krok 17 · Słaba relacja: konflikt połączonych kandydatów

R2C8=8 jest prawdą. Usuń R2C6=8.

R2C8=8 jest prawdą. Usuń R2C6=8.
R2C8=8 jest prawdą. Usuń R2C6=8.
Krok 18 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R2C6=8 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 6. Dlatego R1C6=8 musi być prawdą.
​​R2C6=8 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 6. Dlatego R1C6=8 musi być prawdą.
Krok 19 · Łańcuch osiąga sprzeczność

Odliczenie jest sprzeczne z „R1C6=1 jest prawdą”, więc R1C6=1 ma wartość fałszywą.

Odliczenie jest sprzeczne z „R1C6=1 jest prawdą”, więc R1C6=1 ma wartość fałszywą.
Odliczenie jest sprzeczne z „R1C6=1 jest prawdą”, więc R1C6=1 ma wartość fałszywą.
Krok 20 · 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 21 · AIC

Łańcuch naprzemienny rozpoczął się od „R1C6=1 jest prawdą” i przebiegał według oznaczonych jako silne i słabe relacje, włączając w razie potrzeby przełączenia tych samych komórek, aż do sprzeczności. Dlatego R1C6=1 ma wartość fałszywą. Wszystkie stany tymczasowe zostają wycofane.

Łańcuch naprzemienny rozpoczął się od „R1C6=1 jest prawdą” i przebiegał według oznaczonych jako silne i słabe relacje, włączając w razie potrzeby przełączenia tych samych komórek, aż do sprzeczności. Dlatego R1C6=1 ma wartość fałszywą. Wszystkie stany tymczasowe zostają wycofane.
Łańcuch naprzemienny rozpoczął się od „R1C6=1 jest prawdą” i przebiegał według oznaczonych jako silne i słabe relacje, włączając w razie potrzeby przełączenia tych samych komórek, aż do sprzeczności. Dlatego R1C6=1 ma wartość fałszywą. Wszystkie stany tymczasowe zostają wycofane.

Na co pozwala

Łańcuch naprzemienny rozpoczął się od „R1C6=1 jest prawdą” i przebiegał według oznaczonych jako silne i słabe relacje, włączając w razie potrzeby przełączenia tych samych komórek, aż do sprzeczności. Dlatego R1C6=1 ma wartość fałszywą. Wszystkie stany tymczasowe zostają wycofane.

Nice Loop / AIC · Skorzystaj ze sprawdzonego wyniku: usuń kandydata lub wstaw cyfrę, gdy jej stan przeciwny nie jest możliwy.
Nice Loop / AIC · Skorzystaj ze sprawdzonego wyniku: usuń kandydata lub wstaw cyfrę, gdy jej stan przeciwny nie jest możliwy.

Przykład krok po kroku · Nieciągły · miejsce

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 · ​​Przeczytaj AIC zanim zastosujesz się do niego

W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R1C1=4 ma wartość fałszywą i sprawdź R1C1=4. W rząd 1, Kolumna 2, blok 4, Kolumna 3 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.

W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R1C1=4 ma wartość fałszywą i sprawdź R1C1=4. W rząd 1, Kolumna 2, blok 4, Kolumna 3 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.
W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R1C1=4 ma wartość fałszywą i sprawdź R1C1=4. W rząd 1, Kolumna 2, blok 4, Kolumna 3 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.
Krok 2 · Założenie: uruchomić łańcuch naprzemienny

Oddział 1: załóżmy, że R1C1=4 ma wartość false.

Oddział 1: załóżmy, że R1C1=4 ma wartość false.
Oddział 1: załóżmy, że R1C1=4 ma wartość false.
Krok 3 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R1C1=4 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 1. Dlatego R1C3=4 musi być prawdą.
​​R1C1=4 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 1. Dlatego R1C3=4 musi być prawdą.
Krok 4 · Słaba relacja: konflikt połączonych kandydatów

R1C3=4 jest prawdą. Usuń R1C3=5.

R1C3=4 jest prawdą. Usuń R1C3=5.
R1C3=4 jest prawdą. Usuń R1C3=5.
Krok 5 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R1C3=5 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 1. Dlatego R1C2=5 musi być prawdą.
​​R1C3=5 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 1. Dlatego R1C2=5 musi być prawdą.
Krok 6 · Słaba relacja: konflikt połączonych kandydatów

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

R1C2=5 jest prawdą. Usuń R1C2=9.
R1C2=5 jest prawdą. Usuń R1C2=9.
Krok 7 · Silna relacja: wymuszony jest drugi punkt końcowy

​​R1C2=9 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 2. Dlatego R5C2=9 musi być prawdą.

​​R1C2=9 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 2. Dlatego R5C2=9 musi być prawdą.
​​R1C2=9 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 2. Dlatego R5C2=9 musi być prawdą.
Krok 8 · Słaba relacja: konflikt połączonych kandydatów

R5C2=9 jest prawdą. Usuń R4C3=9.

R5C2=9 jest prawdą. Usuń R4C3=9.
R5C2=9 jest prawdą. Usuń R4C3=9.
Krok 9 · Ta sama komórka: wymuś drugiego kandydata

R4C3=9 ma wartość fałszywą. W tej samej komórce R4C3, przy bieżących założeniach, drugi kandydat R4C3=4 jest zmuszony do spełnienia warunku.

R4C3=9 ma wartość fałszywą. W tej samej komórce R4C3, przy bieżących założeniach, drugi kandydat R4C3=4 jest zmuszony do spełnienia warunku.
R4C3=9 ma wartość fałszywą. W tej samej komórce R4C3, przy bieżących założeniach, drugi kandydat R4C3=4 jest zmuszony do spełnienia warunku.
Krok 10 · Słaba relacja: konflikt połączonych kandydatów

R4C3=4 jest prawdą. Usuń R1C3=4.

R4C3=4 jest prawdą. Usuń R1C3=4.
R4C3=4 jest prawdą. Usuń R1C3=4.
Krok 11 · Łańcuch osiąga sprzeczność

Odliczenie jest sprzeczne z „R1C1=4 ma wartość fałszywą”, więc R1C1=4 jest prawdą.

Odliczenie jest sprzeczne z „R1C1=4 ma wartość fałszywą”, więc R1C1=4 jest prawdą.
Odliczenie jest sprzeczne z „R1C1=4 ma wartość fałszywą”, więc R1C1=4 jest prawdą.
Krok 12 · 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 13 · AIC

Łańcuch naprzemienny rozpoczął się od „R1C1=4 ma wartość fałszywą” i przebiegał według oznaczonych jako silne i słabe relacje, włączając w razie potrzeby przełączenia tych samych komórek, aż do sprzeczności. Dlatego R1C1=4 jest prawdą. Wszystkie stany tymczasowe zostają wycofane.

Łańcuch naprzemienny rozpoczął się od „R1C1=4 ma wartość fałszywą” i przebiegał według oznaczonych jako silne i słabe relacje, włączając w razie potrzeby przełączenia tych samych komórek, aż do sprzeczności. Dlatego R1C1=4 jest prawdą. Wszystkie stany tymczasowe zostają wycofane.
Łańcuch naprzemienny rozpoczął się od „R1C1=4 ma wartość fałszywą” i przebiegał według oznaczonych jako silne i słabe relacje, włączając w razie potrzeby przełączenia tych samych komórek, aż do sprzeczności. Dlatego R1C1=4 jest prawdą. Wszystkie stany tymczasowe zostają wycofane.

Na co pozwala

Łańcuch naprzemienny rozpoczął się od „R1C1=4 ma wartość fałszywą” i przebiegał według oznaczonych jako silne i słabe relacje, włączając w razie potrzeby przełączenia tych samych komórek, aż do sprzeczności. Dlatego R1C1=4 jest prawdą. Wszystkie stany tymczasowe zostają wycofane.

Nice Loop / AIC · Skorzystaj ze sprawdzonego wyniku: usuń kandydata lub wstaw cyfrę, gdy jej stan przeciwny nie jest możliwy.
Nice Loop / AIC · Skorzystaj ze sprawdzonego wyniku: usuń kandydata lub wstaw cyfrę, gdy jej stan przeciwny nie jest możliwy.

Przykład krok po kroku · Typ 1

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 · ​​Przeczytaj AIC zanim zastosujesz się do niego

W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R1C6=2 ma wartość fałszywą i sprawdź R1C8=2, R1C9=2, R2C4=2. W Kolumna 6, rząd 2 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.

W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R1C6=2 ma wartość fałszywą i sprawdź R1C8=2, R1C9=2, R2C4=2. W Kolumna 6, rząd 2 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.
W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R1C6=2 ma wartość fałszywą i sprawdź R1C8=2, R1C9=2, R2C4=2. W Kolumna 6, rząd 2 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.
Krok 2 · Założenie: uruchomić łańcuch naprzemienny

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

Oddział 1: załóżmy, że R1C6=2 ma wartość false.
Oddział 1: załóżmy, że R1C6=2 ma wartość false.
Krok 3 · Ta sama komórka: wymuś drugiego kandydata

R1C6=2 ma wartość fałszywą. W tej samej komórce R1C6, przy bieżących założeniach, drugi kandydat R1C6=1 jest zmuszony do spełnienia warunku.

R1C6=2 ma wartość fałszywą. W tej samej komórce R1C6, przy bieżących założeniach, drugi kandydat R1C6=1 jest zmuszony do spełnienia warunku.
R1C6=2 ma wartość fałszywą. W tej samej komórce R1C6, przy bieżących założeniach, drugi kandydat R1C6=1 jest zmuszony do spełnienia warunku.
Krok 4 · Słaba relacja: konflikt połączonych kandydatów

R1C6=1 jest prawdą. Usuń R6C6=1.

R1C6=1 jest prawdą. Usuń R6C6=1.
R1C6=1 jest prawdą. Usuń R6C6=1.
Krok 5 · Ta sama komórka: wymuś drugiego kandydata

R6C6=1 ma wartość fałszywą. W tej samej komórce R6C6, przy bieżących założeniach, drugi kandydat R6C6=6 jest zmuszony do spełnienia warunku.

R6C6=1 ma wartość fałszywą. W tej samej komórce R6C6, przy bieżących założeniach, drugi kandydat R6C6=6 jest zmuszony do spełnienia warunku.
R6C6=1 ma wartość fałszywą. W tej samej komórce R6C6, przy bieżących założeniach, drugi kandydat R6C6=6 jest zmuszony do spełnienia warunku.
Krok 6 · Słaba relacja: konflikt połączonych kandydatów

R6C6=6 jest prawdą. Usuń R2C6=6.

R6C6=6 jest prawdą. Usuń R2C6=6.
R6C6=6 jest prawdą. Usuń R2C6=6.
Krok 7 · Ta sama komórka: wymuś drugiego kandydata

R2C6=6 ma wartość fałszywą. W tej samej komórce R2C6, przy bieżących założeniach, drugi kandydat R2C6=7 jest zmuszony do spełnienia warunku.

R2C6=6 ma wartość fałszywą. W tej samej komórce R2C6, przy bieżących założeniach, drugi kandydat R2C6=7 jest zmuszony do spełnienia warunku.
R2C6=6 ma wartość fałszywą. W tej samej komórce R2C6, przy bieżących założeniach, drugi kandydat R2C6=7 jest zmuszony do spełnienia warunku.
Krok 8 · Słaba relacja: konflikt połączonych kandydatów

R2C6=7 jest prawdą. Usuń R2C8=7.

R2C6=7 jest prawdą. Usuń R2C8=7.
R2C6=7 jest prawdą. Usuń R2C8=7.
Krok 9 · Ta sama komórka: wymuś drugiego kandydata

R2C8=7 ma wartość fałszywą. W tej samej komórce R2C8, przy bieżących założeniach, drugi kandydat R2C8=2 jest zmuszony do spełnienia warunku.

R2C8=7 ma wartość fałszywą. W tej samej komórce R2C8, przy bieżących założeniach, drugi kandydat R2C8=2 jest zmuszony do spełnienia warunku.
R2C8=7 ma wartość fałszywą. W tej samej komórce R2C8, przy bieżących założeniach, drugi kandydat R2C8=2 jest zmuszony do spełnienia warunku.
Krok 10 · AIC

Co najmniej jeden z końców R1C6=2 i R2C8=2, dotyczących tej samej cyfry, musi być prawdziwy. Każdy cel R1C8=2, R1C9=2, R2C4=2 widzi oba końce, więc nie może być prawdziwy.

Co najmniej jeden z końców R1C6=2 i R2C8=2, dotyczących tej samej cyfry, musi być prawdziwy. Każdy cel R1C8=2, R1C9=2, R2C4=2 widzi oba końce, więc nie może być prawdziwy.
Co najmniej jeden z końców R1C6=2 i R2C8=2, dotyczących tej samej cyfry, musi być prawdziwy. Każdy cel R1C8=2, R1C9=2, R2C4=2 widzi oba końce, więc nie może być 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.

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 · AIC

Wycofaj przypadek tymczasowego punktu końcowego. Typ 1 AIC trwale usuwa R1C8=2, R1C9=2, R2C4=2, ponieważ każdy cel widzi zarówno R1C6=2, jak i R2C8=2.

Wycofaj przypadek tymczasowego punktu końcowego. Typ 1 AIC trwale usuwa R1C8=2, R1C9=2, R2C4=2, ponieważ każdy cel widzi zarówno R1C6=2, jak i R2C8=2.
Wycofaj przypadek tymczasowego punktu końcowego. Typ 1 AIC trwale usuwa R1C8=2, R1C9=2, R2C4=2, ponieważ każdy cel widzi zarówno R1C6=2, jak i R2C8=2.

Na co pozwala

Wycofaj przypadek tymczasowego punktu końcowego. Typ 1 AIC trwale usuwa R1C8=2, R1C9=2, R2C4=2, ponieważ każdy cel widzi zarówno R1C6=2, jak i R2C8=2.

Nice Loop / AIC · Skorzystaj ze sprawdzonego wyniku: usuń kandydata lub wstaw cyfrę, gdy jej stan przeciwny nie jest możliwy.
Nice Loop / AIC · Skorzystaj ze sprawdzonego wyniku: usuń kandydata lub wstaw cyfrę, gdy jej stan przeciwny nie jest możliwy.

Przykład krok po kroku · Typ 2

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 · ​​Przeczytaj AIC zanim zastosujesz się do niego

W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R1C8=9 ma wartość fałszywą i sprawdź R4C8=9. W rząd 1, Kolumna 7, blok 6, Kolumna 8, rząd 3, Kolumna 6, rząd 5, Kolumna 4, rząd 6, Kolumna 9, rząd 4 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.

W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R1C8=9 ma wartość fałszywą i sprawdź R4C8=9. W rząd 1, Kolumna 7, blok 6, Kolumna 8, rząd 3, Kolumna 6, rząd 5, Kolumna 4, rząd 6, Kolumna 9, rząd 4 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.
W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R1C8=9 ma wartość fałszywą i sprawdź R4C8=9. W rząd 1, Kolumna 7, blok 6, Kolumna 8, rząd 3, Kolumna 6, rząd 5, Kolumna 4, rząd 6, Kolumna 9, rząd 4 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.
Krok 2 · Założenie: uruchomić łańcuch naprzemienny

Oddział 1: załóżmy, że R1C8=9 ma wartość false.

Oddział 1: załóżmy, że R1C8=9 ma wartość false.
Oddział 1: załóżmy, że R1C8=9 ma wartość false.
Krok 3 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R1C8=9 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 1. Dlatego R1C7=9 musi być prawdą.
​​R1C8=9 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 1. Dlatego R1C7=9 musi być prawdą.
Krok 4 · Słaba relacja: konflikt połączonych kandydatów

R1C7=9 jest prawdą. Usuń R5C7=9.

R1C7=9 jest prawdą. Usuń R5C7=9.
R1C7=9 jest prawdą. Usuń R5C7=9.
Krok 5 · Ta sama komórka: wymuś drugiego kandydata

R5C7=9 ma wartość fałszywą. W tej samej komórce R5C7, przy bieżących założeniach, drugi kandydat R5C7=2 jest zmuszony do spełnienia warunku.

R5C7=9 ma wartość fałszywą. W tej samej komórce R5C7, przy bieżących założeniach, drugi kandydat R5C7=2 jest zmuszony do spełnienia warunku.
R5C7=9 ma wartość fałszywą. W tej samej komórce R5C7, przy bieżących założeniach, drugi kandydat R5C7=2 jest zmuszony do spełnienia warunku.
Krok 6 · Słaba relacja: konflikt połączonych kandydatów

R5C7=2 jest prawdą. Usuń R6C8=2.

R5C7=2 jest prawdą. Usuń R6C8=2.
R5C7=2 jest prawdą. Usuń R6C8=2.
Krok 7 · Ta sama komórka: wymuś drugiego kandydata

R6C8=2 ma wartość fałszywą. W tej samej komórce R6C8, przy bieżących założeniach, drugi kandydat R6C8=1 jest zmuszony do spełnienia warunku.

R6C8=2 ma wartość fałszywą. W tej samej komórce R6C8, przy bieżących założeniach, drugi kandydat R6C8=1 jest zmuszony do spełnienia warunku.
R6C8=2 ma wartość fałszywą. W tej samej komórce R6C8, przy bieżących założeniach, drugi kandydat R6C8=1 jest zmuszony do spełnienia warunku.
Krok 8 · Słaba relacja: konflikt połączonych kandydatów

R6C8=1 jest prawdą. Usuń R3C8=1.

R6C8=1 jest prawdą. Usuń R3C8=1.
R6C8=1 jest prawdą. Usuń R3C8=1.
Krok 9 · Ta sama komórka: wymuś drugiego kandydata

R3C8=1 ma wartość fałszywą. W tej samej komórce R3C8, przy bieżących założeniach, drugi kandydat R3C8=6 jest zmuszony do spełnienia warunku.

R3C8=1 ma wartość fałszywą. W tej samej komórce R3C8, przy bieżących założeniach, drugi kandydat R3C8=6 jest zmuszony do spełnienia warunku.
R3C8=1 ma wartość fałszywą. W tej samej komórce R3C8, przy bieżących założeniach, drugi kandydat R3C8=6 jest zmuszony do spełnienia warunku.
Krok 10 · Słaba relacja: konflikt połączonych kandydatów

R3C8=6 jest prawdą. Usuń R3C6=6.

R3C8=6 jest prawdą. Usuń R3C6=6.
R3C8=6 jest prawdą. Usuń R3C6=6.
Krok 11 · Ta sama komórka: wymuś drugiego kandydata

R3C6=6 ma wartość fałszywą. W tej samej komórce R3C6, przy bieżących założeniach, drugi kandydat R3C6=4 jest zmuszony do spełnienia warunku.

R3C6=6 ma wartość fałszywą. W tej samej komórce R3C6, przy bieżących założeniach, drugi kandydat R3C6=4 jest zmuszony do spełnienia warunku.
R3C6=6 ma wartość fałszywą. W tej samej komórce R3C6, przy bieżących założeniach, drugi kandydat R3C6=4 jest zmuszony do spełnienia warunku.
Krok 12 · Słaba relacja: konflikt połączonych kandydatów

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

R3C6=4 jest prawdą. Usuń R5C6=4.
R3C6=4 jest prawdą. Usuń R5C6=4.
Krok 13 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R5C6=4 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 5. Dlatego R5C4=4 musi być prawdą.
​​R5C6=4 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 5. Dlatego R5C4=4 musi być prawdą.
Krok 14 · Słaba relacja: konflikt połączonych kandydatów

R5C4=4 jest prawdą. Usuń R5C4=3.

R5C4=4 jest prawdą. Usuń R5C4=3.
R5C4=4 jest prawdą. Usuń R5C4=3.
Krok 15 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R5C4=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 4. Dlatego R6C4=3 musi być prawdą.
​​R5C4=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 4. Dlatego R6C4=3 musi być prawdą.
Krok 16 · Słaba relacja: konflikt połączonych kandydatów

R6C4=3 jest prawdą. Usuń R6C9=3.

R6C4=3 jest prawdą. Usuń R6C9=3.
R6C4=3 jest prawdą. Usuń R6C9=3.
Krok 17 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R6C9=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 9. Dlatego R4C9=3 musi być prawdą.
​​R6C9=3 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 9. Dlatego R4C9=3 musi być prawdą.
Krok 18 · Słaba relacja: konflikt połączonych kandydatów

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

R4C9=3 jest prawdą. Usuń R4C9=7.
R4C9=3 jest prawdą. Usuń R4C9=7.
Krok 19 · Silna relacja: wymuszony jest drugi punkt końcowy

​​R4C9=7 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 4. Dlatego R4C8=7 musi być prawdą.

​​R4C9=7 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 4. Dlatego R4C8=7 musi być prawdą.
​​R4C9=7 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 4. Dlatego R4C8=7 musi być prawdą.
Krok 20 · AIC

Równorzędne punkty końcowe R1C8=9 i R4C8=7 noszą różne cyfry. Każdy zaznaczony kandydat krzyżowy R4C8=9 spowodowałby, że oba punkty końcowe byłyby fałszywe, więc usuń go.

Równorzędne punkty końcowe R1C8=9 i R4C8=7 noszą różne cyfry. Każdy zaznaczony kandydat krzyżowy R4C8=9 spowodowałby, że oba punkty końcowe byłyby fałszywe, więc usuń go.
Równorzędne punkty końcowe R1C8=9 i R4C8=7 noszą różne cyfry. Każdy zaznaczony kandydat krzyżowy R4C8=9 spowodowałby, że oba punkty końcowe byłyby fałszywe, więc usuń go.
Krok 21 · 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 22 · AIC

Wycofaj przypadek tymczasowego punktu końcowego. Typ 2 AIC trwale usuwa kandydatów krzyżowych R4C8=9 pomiędzy R1C8=9 i R4C8=7.

Wycofaj przypadek tymczasowego punktu końcowego. Typ 2 AIC trwale usuwa kandydatów krzyżowych R4C8=9 pomiędzy R1C8=9 i R4C8=7.
Wycofaj przypadek tymczasowego punktu końcowego. Typ 2 AIC trwale usuwa kandydatów krzyżowych R4C8=9 pomiędzy R1C8=9 i R4C8=7.

Na co pozwala

Wycofaj przypadek tymczasowego punktu końcowego. Typ 2 AIC trwale usuwa kandydatów krzyżowych R4C8=9 pomiędzy R1C8=9 i R4C8=7.

Nice Loop / AIC · Skorzystaj ze sprawdzonego wyniku: usuń kandydata lub wstaw cyfrę, gdy jej stan przeciwny nie jest możliwy.
Nice Loop / AIC · Skorzystaj ze sprawdzonego wyniku: usuń kandydata lub wstaw cyfrę, gdy jej stan przeciwny nie jest możliwy.

Przykład krok po kroku · Pętla ciągła

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 · ​​Przeczytaj AIC zanim zastosujesz się do niego

W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R9C3=6 ma wartość fałszywą i sprawdź R9C3=5. W Kolumna 3, rząd 5, Kolumna 8, rząd 9 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.

W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R9C3=6 ma wartość fałszywą i sprawdź R9C3=5. W Kolumna 3, rząd 5, Kolumna 8, rząd 9 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.
W tej lekcji Nice Loop / AIC wykorzystano rodzinę zwykłych węzłów kandydujących HoDoKu: nieciągłe eliminacje i rozmieszczenia, otwarte łańcuchy typu 1 i typu 2 oraz ciągłe pętle. Zacznij od R9C3=6 ma wartość fałszywą i sprawdź R9C3=5. W Kolumna 3, rząd 5, Kolumna 8, rząd 9 linia ciągła oznacza, że ​​co najmniej jeden koniec jest prawdziwy; linia przerywana oznacza, że ​​oba końce nie mogą być jednocześnie prawdziwe. Śledź jedną wyróżnioną relację na raz.
Krok 2 · Założenie: uruchomić łańcuch naprzemienny

Wybierz R9C3=6 tylko jako początek odczytu tej zamkniętej pętli. To nie jest założenie próbne; pętla naprzemienna powróci tutaj.

Wybierz R9C3=6 tylko jako początek odczytu tej zamkniętej pętli. To nie jest założenie próbne; pętla naprzemienna powróci tutaj.
Wybierz R9C3=6 tylko jako początek odczytu tej zamkniętej pętli. To nie jest założenie próbne; pętla naprzemienna powróci tutaj.
Krok 3 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R9C3=6 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 3. Dlatego R5C3=6 musi być prawdą.
​​R9C3=6 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w Kolumna 3. Dlatego R5C3=6 musi być prawdą.
Krok 4 · Słaba relacja: konflikt połączonych kandydatów

R5C3=6 jest prawdą. Usuń R5C8=6.

R5C3=6 jest prawdą. Usuń R5C8=6.
R5C3=6 jest prawdą. Usuń R5C8=6.
Krok 5 · Ta sama komórka: wymuś drugiego kandydata

R5C8=6 ma wartość fałszywą. W tej samej komórce R5C8, przy bieżących założeniach, drugi kandydat R5C8=8 jest zmuszony do spełnienia warunku.

R5C8=6 ma wartość fałszywą. W tej samej komórce R5C8, przy bieżących założeniach, drugi kandydat R5C8=8 jest zmuszony do spełnienia warunku.
R5C8=6 ma wartość fałszywą. W tej samej komórce R5C8, przy bieżących założeniach, drugi kandydat R5C8=8 jest zmuszony do spełnienia warunku.
Krok 6 · Słaba relacja: konflikt połączonych kandydatów

R5C8=8 jest prawdą. Usuń R9C8=8.

R5C8=8 jest prawdą. Usuń R9C8=8.
R5C8=8 jest prawdą. Usuń R9C8=8.
Krok 7 · Silna relacja: wymuszony jest drugi punkt końcowy

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

​​R9C8=8 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 9. Dlatego R9C3=8 musi być prawdą.
​​R9C8=8 ma wartość fałszywą. Razem te dwie strony zawierają wszystkie pozostałe opcje w rząd 9. Dlatego R9C3=8 musi być prawdą.
Krok 8 · Słaba relacja: konflikt połączonych kandydatów

R9C3=8 jest prawdą. Usuń R9C3=6.

R9C3=8 jest prawdą. Usuń R9C3=6.
R9C3=8 jest prawdą. Usuń R9C3=6.
Krok 9 · AIC

Łańcuch zamyka się w postaci ciągłej, naprzemiennej pętli. Każda słaba relacja w pętli jest zatem silna, co usuwa R9C3=5 z dotkniętej komórki lub domu.

Łańcuch zamyka się w postaci ciągłej, naprzemiennej pętli. Każda słaba relacja w pętli jest zatem silna, co usuwa R9C3=5 z dotkniętej komórki lub domu.
Łańcuch zamyka się w postaci ciągłej, naprzemiennej pętli. Każda słaba relacja w pętli jest zatem silna, co usuwa R9C3=5 z dotkniętej komórki lub domu.
Krok 10 · 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 11 · AIC

Przejście przez pętlę zostało zakończone; wycofać swoje tymczasowe stany i trwale usunąć R9C3=5.

Przejście przez pętlę zostało zakończone; wycofać swoje tymczasowe stany i trwale usunąć R9C3=5.
Przejście przez pętlę zostało zakończone; wycofać swoje tymczasowe stany i trwale usunąć R9C3=5.

Na co pozwala

Przejście przez pętlę zostało zakończone; wycofać swoje tymczasowe stany i trwale usunąć R9C3=5.

Nice Loop / AIC · Skorzystaj ze sprawdzonego wyniku: usuń kandydata lub wstaw cyfrę, gdy jej stan przeciwny nie jest możliwy.
Nice Loop / AIC · Skorzystaj ze sprawdzonego wyniku: usuń kandydata lub wstaw cyfrę, gdy jej stan przeciwny nie jest możliwy.

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