Platon Games
Română

Platon Sudoku · Învață sudoku

Nice Loop / AIC · Exemplu pas cu pas

Un lanț de inferență alternativ conectează stările de adevăr logice ale cifrelor candidate cu legături de inferență puternice și slabe verificate. Lanțurile deschise și închise au concluzii distincte. Utilizați rezultatul verificat: eliminați o cifră candidată sau plasați o cifră atunci când starea sa de adevăr logic opus este imposibilă.

Această lecție este adaptată din aplicația Platon Sudoku. Citește exemplul complet aici, apoi continuă să înveți și să exersezi în aplicație.

Vezi pe Google Play

Recunoașteți modelul

Un lanț de inferență alternativ conectează stările de adevăr logice ale cifrelor candidate cu legături de inferență puternice și slabe verificate. Lanțurile deschise și închise au concluzii distincte.

Cum să-l găsești

Urmăriți fiecare implicație de la un capăt, înregistrând tranzițiile puternice și slabe și dacă lanțul se închide sau contrazice un punct final.

Ce permite

Utilizați rezultatul verificat: eliminați o cifră candidată sau plasați o cifră atunci când starea sa de adevăr logic opus este imposibilă.

Evitați amestecul

O legătură puternică înseamnă: dacă un capăt este fals, celălalt este adevărat. O legătură slabă înseamnă: dacă un capăt este adevărat, celălalt este fals. Nu inversați aceste implicații; verificați relația dintre capete înainte de a trage concluzia.

Exemplu pas cu pas · Discontinuu · elimina

Exemplul începe dintr-o poziție intermediară salvată. Candidații includ eliminări logice anterioare și nu sunt notițe automate abia generate.

Albastru: dovezi. Verde: concluzie. Cifre tăiate: candidați eliminați. R1C1 înseamnă rândul 1, coloana 1.

Pas 1 · Citiți AIC înainte de a-l urma

Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R1C6=1 este adevărat și inspectați R1C6=1. În coloana 6, rândul 2, coloana 9, rândul 7, Bloc 3×3 5, rândul 5, coloana 1, rândul 9, coloana 8, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.

Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R1C6=1 este adevărat și inspectați R1C6=1. În coloana 6, rândul 2, coloana 9, rândul 7, Bloc 3×3 5, rândul 5, coloana 1, rândul 9, coloana 8, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.
Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R1C6=1 este adevărat și inspectați R1C6=1. În coloana 6, rândul 2, coloana 9, rândul 7, Bloc 3×3 5, rândul 5, coloana 1, rândul 9, coloana 8, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.
Pas 2 · Ipoteza: începeți lanțul alternativ

Branch 1: să presupunem că R1C6=1 este adevărat.

Branch 1: să presupunem că R1C6=1 este adevărat.
Branch 1: să presupunem că R1C6=1 este adevărat.
Pas 3 · Relație slabă: conflictul cifrelor candidate legate

R1C6=1 este adevărat. Eliminați R1C6=8.

R1C6=1 este adevărat. Eliminați R1C6=8.
R1C6=1 este adevărat. Eliminați R1C6=8.
Pas 4 · Relație puternică: celălalt punct final este forțat

R1C6=8 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 6. Prin urmare, R2C6=8 trebuie să fie adevărat.

R1C6=8 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 6. Prin urmare, R2C6=8 trebuie să fie adevărat.
R1C6=8 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 6. Prin urmare, R2C6=8 trebuie să fie adevărat.
Pas 5 · Relație slabă: conflictul cifrelor candidate legate

R2C6=8 este adevărat. Eliminați R2C6=6.

R2C6=8 este adevărat. Eliminați R2C6=6.
R2C6=8 este adevărat. Eliminați R2C6=6.
Pas 6 · Relație puternică: celălalt punct final este forțat

R2C6=6 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 2. Prin urmare, R2C9=6 trebuie să fie adevărat.

R2C6=6 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 2. Prin urmare, R2C9=6 trebuie să fie adevărat.
R2C6=6 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 2. Prin urmare, R2C9=6 trebuie să fie adevărat.
Pas 7 · Relație slabă: conflictul cifrelor candidate legate

R2C9=6 este adevărat. Eliminați R2C9=3.

R2C9=6 este adevărat. Eliminați R2C9=3.
R2C9=6 este adevărat. Eliminați R2C9=3.
Pas 8 · Relație puternică: celălalt punct final este forțat

R2C9=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 9. Prin urmare, R7C9=3 trebuie să fie adevărat.

R2C9=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 9. Prin urmare, R7C9=3 trebuie să fie adevărat.
R2C9=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 9. Prin urmare, R7C9=3 trebuie să fie adevărat.
Pas 9 · Relație slabă: conflictul cifrelor candidate legate

R7C9=3 este adevărat. Eliminați R7C6=3.

R7C9=3 este adevărat. Eliminați R7C6=3.
R7C9=3 este adevărat. Eliminați R7C6=3.
Pas 10 · Relație puternică: celălalt punct final este forțat

R7C6=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 6. Prin urmare, R6C6=3 trebuie să fie adevărat.

R7C6=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 6. Prin urmare, R6C6=3 trebuie să fie adevărat.
R7C6=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 6. Prin urmare, R6C6=3 trebuie să fie adevărat.
Pas 11 · Relație slabă: conflictul cifrelor candidate legate

R6C6=3 este adevărat. Eliminați R5C4=3.

R6C6=3 este adevărat. Eliminați R5C4=3.
R6C6=3 este adevărat. Eliminați R5C4=3.
Pas 12 · Relație puternică: celălalt punct final este forțat

R5C4=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 5. Prin urmare, R5C1=3 trebuie să fie adevărat.

R5C4=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 5. Prin urmare, R5C1=3 trebuie să fie adevărat.
R5C4=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 5. Prin urmare, R5C1=3 trebuie să fie adevărat.
Pas 13 · Relație slabă: conflictul cifrelor candidate legate

R5C1=3 este adevărat. Eliminați R9C1=3.

R5C1=3 este adevărat. Eliminați R9C1=3.
R5C1=3 este adevărat. Eliminați R9C1=3.
Pas 14 · Relație puternică: celălalt punct final este forțat

R9C1=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 9. Prin urmare, R9C8=3 trebuie să fie adevărat.

R9C1=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 9. Prin urmare, R9C8=3 trebuie să fie adevărat.
R9C1=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 9. Prin urmare, R9C8=3 trebuie să fie adevărat.
Pas 15 · Relație slabă: conflictul cifrelor candidate legate

R9C8=3 este adevărat. Eliminați R2C8=3.

R9C8=3 este adevărat. Eliminați R2C8=3.
R9C8=3 este adevărat. Eliminați R2C8=3.
Pas 16 · Aceeași celulă: forțați cealaltă cifră candidată

R2C8=3 este fals. În aceeași celulă R2C8, cealaltă cifră candidată R2C8=8 este forțată adevărată în ipoteza curentă.

R2C8=3 este fals. În aceeași celulă R2C8, cealaltă cifră candidată R2C8=8 este forțată adevărată în ipoteza curentă.
R2C8=3 este fals. În aceeași celulă R2C8, cealaltă cifră candidată R2C8=8 este forțată adevărată în ipoteza curentă.
Pas 17 · Relație slabă: conflictul cifrelor candidate legate

R2C8=8 este adevărat. Eliminați R2C6=8.

R2C8=8 este adevărat. Eliminați R2C6=8.
R2C8=8 este adevărat. Eliminați R2C6=8.
Pas 18 · Relație puternică: celălalt punct final este forțat

R2C6=8 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 6. Prin urmare, R1C6=8 trebuie să fie adevărat.

R2C6=8 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 6. Prin urmare, R1C6=8 trebuie să fie adevărat.
R2C6=8 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 6. Prin urmare, R1C6=8 trebuie să fie adevărat.
Pas 19 · Lanțul ajunge la o contradicție

Deducerea contrazice „R1C6=1 este adevărat”, deci R1C6=1 este fals.

Deducerea contrazice „R1C6=1 este adevărat”, deci R1C6=1 este fals.
Deducerea contrazice „R1C6=1 este adevărat”, deci R1C6=1 este fals.
Pas 20 · Retrageți umplutura anterioară a dreptunghiului

Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.

Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.
Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.
Pas 21 · AIC rezumat

Lanțul alternativ a pornit de la „R1C6=1 este adevărat” și a urmat relațiile etichetate puternice și slabe, inclusiv comutatoare cu aceeași celulă acolo unde a fost necesar, până la o contradicție. Prin urmare, R1C6=1 este fals. Toate stările de adevăr logice temporare sunt retrase.

Lanțul alternativ a pornit de la „R1C6=1 este adevărat” și a urmat relațiile etichetate puternice și slabe, inclusiv comutatoare cu aceeași celulă acolo unde a fost necesar, până la o contradicție. Prin urmare, R1C6=1 este fals. Toate stările de adevăr logice temporare sunt retrase.
Lanțul alternativ a pornit de la „R1C6=1 este adevărat” și a urmat relațiile etichetate puternice și slabe, inclusiv comutatoare cu aceeași celulă acolo unde a fost necesar, până la o contradicție. Prin urmare, R1C6=1 este fals. Toate stările de adevăr logice temporare sunt retrase.

Ce permite

Lanțul alternativ a pornit de la „R1C6=1 este adevărat” și a urmat relațiile etichetate puternice și slabe, inclusiv comutatoare cu aceeași celulă acolo unde a fost necesar, până la o contradicție. Prin urmare, R1C6=1 este fals. Toate stările de adevăr logice temporare sunt retrase.

Nice Loop / AIC · Utilizați rezultatul verificat: eliminați o cifră candidată sau plasați o cifră atunci când starea sa de adevăr logic opus este imposibilă.
Nice Loop / AIC · Utilizați rezultatul verificat: eliminați o cifră candidată sau plasați o cifră atunci când starea sa de adevăr logic opus este imposibilă.

Exemplu pas cu pas · Discontinuu · loc

Exemplul începe dintr-o poziție intermediară salvată. Candidații includ eliminări logice anterioare și nu sunt notițe automate abia generate.

Albastru: dovezi. Verde: concluzie. Cifre tăiate: candidați eliminați. R1C1 înseamnă rândul 1, coloana 1.

Pas 1 · Citiți AIC înainte de a-l urma

Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R1C1=4 este fals și inspectați R1C1=4. În rândul 1, coloana 2, Bloc 3×3 4, coloana 3, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.

Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R1C1=4 este fals și inspectați R1C1=4. În rândul 1, coloana 2, Bloc 3×3 4, coloana 3, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.
Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R1C1=4 este fals și inspectați R1C1=4. În rândul 1, coloana 2, Bloc 3×3 4, coloana 3, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.
Pas 2 · Ipoteza: începeți lanțul alternativ

Branch 1: să presupunem că R1C1=4 este fals.

Branch 1: să presupunem că R1C1=4 este fals.
Branch 1: să presupunem că R1C1=4 este fals.
Pas 3 · Relație puternică: celălalt punct final este forțat

R1C1=4 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 1. Prin urmare, R1C3=4 trebuie să fie adevărat.

R1C1=4 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 1. Prin urmare, R1C3=4 trebuie să fie adevărat.
R1C1=4 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 1. Prin urmare, R1C3=4 trebuie să fie adevărat.
Pas 4 · Relație slabă: conflictul cifrelor candidate legate

R1C3=4 este adevărat. Eliminați R1C3=5.

R1C3=4 este adevărat. Eliminați R1C3=5.
R1C3=4 este adevărat. Eliminați R1C3=5.
Pas 5 · Relație puternică: celălalt punct final este forțat

R1C3=5 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 1. Prin urmare, R1C2=5 trebuie să fie adevărat.

R1C3=5 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 1. Prin urmare, R1C2=5 trebuie să fie adevărat.
R1C3=5 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 1. Prin urmare, R1C2=5 trebuie să fie adevărat.
Pas 6 · Relație slabă: conflictul cifrelor candidate legate

R1C2=5 este adevărat. Eliminați R1C2=9.

R1C2=5 este adevărat. Eliminați R1C2=9.
R1C2=5 este adevărat. Eliminați R1C2=9.
Pas 7 · Relație puternică: celălalt punct final este forțat

R1C2=9 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 2. Prin urmare, R5C2=9 trebuie să fie adevărat.

R1C2=9 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 2. Prin urmare, R5C2=9 trebuie să fie adevărat.
R1C2=9 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 2. Prin urmare, R5C2=9 trebuie să fie adevărat.
Pas 8 · Relație slabă: conflictul cifrelor candidate legate

R5C2=9 este adevărat. Eliminați R4C3=9.

R5C2=9 este adevărat. Eliminați R4C3=9.
R5C2=9 este adevărat. Eliminați R4C3=9.
Pas 9 · Aceeași celulă: forțați cealaltă cifră candidată

R4C3=9 este fals. În aceeași celulă R4C3, cealaltă cifră candidată R4C3=4 este forțată adevărată în ipoteza curentă.

R4C3=9 este fals. În aceeași celulă R4C3, cealaltă cifră candidată R4C3=4 este forțată adevărată în ipoteza curentă.
R4C3=9 este fals. În aceeași celulă R4C3, cealaltă cifră candidată R4C3=4 este forțată adevărată în ipoteza curentă.
Pas 10 · Relație slabă: conflictul cifrelor candidate legate

R4C3=4 este adevărat. Eliminați R1C3=4.

R4C3=4 este adevărat. Eliminați R1C3=4.
R4C3=4 este adevărat. Eliminați R1C3=4.
Pas 11 · Lanțul ajunge la o contradicție

Deducerea contrazice „R1C1=4 este fals”, deci R1C1=4 este adevărat.

Deducerea contrazice „R1C1=4 este fals”, deci R1C1=4 este adevărat.
Deducerea contrazice „R1C1=4 este fals”, deci R1C1=4 este adevărat.
Pas 12 · Retrageți umplutura anterioară a dreptunghiului

Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.

Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.
Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.
Pas 13 · AIC rezumat

Lanțul alternativ a pornit de la „R1C1=4 este fals” și a urmat relațiile etichetate puternice și slabe, inclusiv comutatoare cu aceeași celulă acolo unde a fost necesar, până la o contradicție. Prin urmare, R1C1=4 este adevărat. Toate stările de adevăr logice temporare sunt retrase.

Lanțul alternativ a pornit de la „R1C1=4 este fals” și a urmat relațiile etichetate puternice și slabe, inclusiv comutatoare cu aceeași celulă acolo unde a fost necesar, până la o contradicție. Prin urmare, R1C1=4 este adevărat. Toate stările de adevăr logice temporare sunt retrase.
Lanțul alternativ a pornit de la „R1C1=4 este fals” și a urmat relațiile etichetate puternice și slabe, inclusiv comutatoare cu aceeași celulă acolo unde a fost necesar, până la o contradicție. Prin urmare, R1C1=4 este adevărat. Toate stările de adevăr logice temporare sunt retrase.

Ce permite

Lanțul alternativ a pornit de la „R1C1=4 este fals” și a urmat relațiile etichetate puternice și slabe, inclusiv comutatoare cu aceeași celulă acolo unde a fost necesar, până la o contradicție. Prin urmare, R1C1=4 este adevărat. Toate stările de adevăr logice temporare sunt retrase.

Nice Loop / AIC · Utilizați rezultatul verificat: eliminați o cifră candidată sau plasați o cifră atunci când starea sa de adevăr logic opus este imposibilă.
Nice Loop / AIC · Utilizați rezultatul verificat: eliminați o cifră candidată sau plasați o cifră atunci când starea sa de adevăr logic opus este imposibilă.

Exemplu pas cu pas · Tip 1

Exemplul începe dintr-o poziție intermediară salvată. Candidații includ eliminări logice anterioare și nu sunt notițe automate abia generate.

Albastru: dovezi. Verde: concluzie. Cifre tăiate: candidați eliminați. R1C1 înseamnă rândul 1, coloana 1.

Pas 1 · Citiți AIC înainte de a-l urma

Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R1C6=2 este fals și inspectați R1C8=2, R1C9=2, R2C4=2. În coloana 6, rândul 2, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.

Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R1C6=2 este fals și inspectați R1C8=2, R1C9=2, R2C4=2. În coloana 6, rândul 2, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.
Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R1C6=2 este fals și inspectați R1C8=2, R1C9=2, R2C4=2. În coloana 6, rândul 2, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.
Pas 2 · Ipoteza: începeți lanțul alternativ

Branch 1: să presupunem că R1C6=2 este fals.

Branch 1: să presupunem că R1C6=2 este fals.
Branch 1: să presupunem că R1C6=2 este fals.
Pas 3 · Aceeași celulă: forțați cealaltă cifră candidată

R1C6=2 este fals. În aceeași celulă R1C6, cealaltă cifră candidată R1C6=1 este forțată adevărată în ipoteza curentă.

R1C6=2 este fals. În aceeași celulă R1C6, cealaltă cifră candidată R1C6=1 este forțată adevărată în ipoteza curentă.
R1C6=2 este fals. În aceeași celulă R1C6, cealaltă cifră candidată R1C6=1 este forțată adevărată în ipoteza curentă.
Pas 4 · Relație slabă: conflictul cifrelor candidate legate

R1C6=1 este adevărat. Eliminați R6C6=1.

R1C6=1 este adevărat. Eliminați R6C6=1.
R1C6=1 este adevărat. Eliminați R6C6=1.
Pas 5 · Aceeași celulă: forțați cealaltă cifră candidată

R6C6=1 este fals. În aceeași celulă R6C6, cealaltă cifră candidată R6C6=6 este forțată adevărată în ipoteza curentă.

R6C6=1 este fals. În aceeași celulă R6C6, cealaltă cifră candidată R6C6=6 este forțată adevărată în ipoteza curentă.
R6C6=1 este fals. În aceeași celulă R6C6, cealaltă cifră candidată R6C6=6 este forțată adevărată în ipoteza curentă.
Pas 6 · Relație slabă: conflictul cifrelor candidate legate

R6C6=6 este adevărat. Eliminați R2C6=6.

R6C6=6 este adevărat. Eliminați R2C6=6.
R6C6=6 este adevărat. Eliminați R2C6=6.
Pas 7 · Aceeași celulă: forțați cealaltă cifră candidată

R2C6=6 este fals. În aceeași celulă R2C6, cealaltă cifră candidată R2C6=7 este forțată adevărată în ipoteza curentă.

R2C6=6 este fals. În aceeași celulă R2C6, cealaltă cifră candidată R2C6=7 este forțată adevărată în ipoteza curentă.
R2C6=6 este fals. În aceeași celulă R2C6, cealaltă cifră candidată R2C6=7 este forțată adevărată în ipoteza curentă.
Pas 8 · Relație slabă: conflictul cifrelor candidate legate

R2C6=7 este adevărat. Eliminați R2C8=7.

R2C6=7 este adevărat. Eliminați R2C8=7.
R2C6=7 este adevărat. Eliminați R2C8=7.
Pas 9 · Aceeași celulă: forțați cealaltă cifră candidată

R2C8=7 este fals. În aceeași celulă R2C8, cealaltă cifră candidată R2C8=2 este forțată adevărată în ipoteza curentă.

R2C8=7 este fals. În aceeași celulă R2C8, cealaltă cifră candidată R2C8=2 este forțată adevărată în ipoteza curentă.
R2C8=7 este fals. În aceeași celulă R2C8, cealaltă cifră candidată R2C8=2 este forțată adevărată în ipoteza curentă.
Pas 10 · AIC rezumat

Cel puțin unul dintre capetele R1C6=2 și R2C8=2, cu aceeași cifră, trebuie să fie adevărat. Fiecare țintă R1C8=2, R1C9=2, R2C4=2 vede ambele capete și, prin urmare, nu poate fi adevărată.

Cel puțin unul dintre capetele R1C6=2 și R2C8=2, cu aceeași cifră, trebuie să fie adevărat. Fiecare țintă R1C8=2, R1C9=2, R2C4=2 vede ambele capete și, prin urmare, nu poate fi adevărată.
Cel puțin unul dintre capetele R1C6=2 și R2C8=2, cu aceeași cifră, trebuie să fie adevărat. Fiecare țintă R1C8=2, R1C9=2, R2C4=2 vede ambele capete și, prin urmare, nu poate fi adevărată.
Pas 11 · Retrageți umplutura anterioară a dreptunghiului

Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.

Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.
Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.
Pas 12 · AIC rezumat

Retrageți cazul punctului final temporar. AIC de tip 1 elimină definitiv R1C8=2, R1C9=2, R2C4=2, deoarece fiecare țintă vede atât R1C6=2, cât și R2C8=2.

Retrageți cazul punctului final temporar. AIC de tip 1 elimină definitiv R1C8=2, R1C9=2, R2C4=2, deoarece fiecare țintă vede atât R1C6=2, cât și R2C8=2.
Retrageți cazul punctului final temporar. AIC de tip 1 elimină definitiv R1C8=2, R1C9=2, R2C4=2, deoarece fiecare țintă vede atât R1C6=2, cât și R2C8=2.

Ce permite

Retrageți cazul punctului final temporar. AIC de tip 1 elimină definitiv R1C8=2, R1C9=2, R2C4=2, deoarece fiecare țintă vede atât R1C6=2, cât și R2C8=2.

Nice Loop / AIC · Utilizați rezultatul verificat: eliminați o cifră candidată sau plasați o cifră atunci când starea sa de adevăr logic opus este imposibilă.
Nice Loop / AIC · Utilizați rezultatul verificat: eliminați o cifră candidată sau plasați o cifră atunci când starea sa de adevăr logic opus este imposibilă.

Exemplu pas cu pas · Tipul 2

Exemplul începe dintr-o poziție intermediară salvată. Candidații includ eliminări logice anterioare și nu sunt notițe automate abia generate.

Albastru: dovezi. Verde: concluzie. Cifre tăiate: candidați eliminați. R1C1 înseamnă rândul 1, coloana 1.

Pas 1 · Citiți AIC înainte de a-l urma

Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R1C8=9 este fals și inspectați R4C8=9. În rândul 1, coloana 7, Bloc 3×3 6, coloana 8, rândul 3, coloana 6, rândul 5, coloana 4, rândul 6, coloana 9, rândul 4, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.

Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R1C8=9 este fals și inspectați R4C8=9. În rândul 1, coloana 7, Bloc 3×3 6, coloana 8, rândul 3, coloana 6, rândul 5, coloana 4, rândul 6, coloana 9, rândul 4, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.
Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R1C8=9 este fals și inspectați R4C8=9. În rândul 1, coloana 7, Bloc 3×3 6, coloana 8, rândul 3, coloana 6, rândul 5, coloana 4, rândul 6, coloana 9, rândul 4, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.
Pas 2 · Ipoteza: începeți lanțul alternativ

Branch 1: să presupunem că R1C8=9 este fals.

Branch 1: să presupunem că R1C8=9 este fals.
Branch 1: să presupunem că R1C8=9 este fals.
Pas 3 · Relație puternică: celălalt punct final este forțat

R1C8=9 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 1. Prin urmare, R1C7=9 trebuie să fie adevărat.

R1C8=9 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 1. Prin urmare, R1C7=9 trebuie să fie adevărat.
R1C8=9 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 1. Prin urmare, R1C7=9 trebuie să fie adevărat.
Pas 4 · Relație slabă: conflictul cifrelor candidate legate

R1C7=9 este adevărat. Eliminați R5C7=9.

R1C7=9 este adevărat. Eliminați R5C7=9.
R1C7=9 este adevărat. Eliminați R5C7=9.
Pas 5 · Aceeași celulă: forțați cealaltă cifră candidată

R5C7=9 este fals. În aceeași celulă R5C7, cealaltă cifră candidată R5C7=2 este forțată adevărată în ipoteza curentă.

R5C7=9 este fals. În aceeași celulă R5C7, cealaltă cifră candidată R5C7=2 este forțată adevărată în ipoteza curentă.
R5C7=9 este fals. În aceeași celulă R5C7, cealaltă cifră candidată R5C7=2 este forțată adevărată în ipoteza curentă.
Pas 6 · Relație slabă: conflictul cifrelor candidate legate

R5C7=2 este adevărat. Eliminați R6C8=2.

R5C7=2 este adevărat. Eliminați R6C8=2.
R5C7=2 este adevărat. Eliminați R6C8=2.
Pas 7 · Aceeași celulă: forțați cealaltă cifră candidată

R6C8=2 este fals. În aceeași celulă R6C8, cealaltă cifră candidată R6C8=1 este forțată adevărată în ipoteza curentă.

R6C8=2 este fals. În aceeași celulă R6C8, cealaltă cifră candidată R6C8=1 este forțată adevărată în ipoteza curentă.
R6C8=2 este fals. În aceeași celulă R6C8, cealaltă cifră candidată R6C8=1 este forțată adevărată în ipoteza curentă.
Pas 8 · Relație slabă: conflictul cifrelor candidate legate

R6C8=1 este adevărat. Eliminați R3C8=1.

R6C8=1 este adevărat. Eliminați R3C8=1.
R6C8=1 este adevărat. Eliminați R3C8=1.
Pas 9 · Aceeași celulă: forțați cealaltă cifră candidată

R3C8=1 este fals. În aceeași celulă R3C8, cealaltă cifră candidată R3C8=6 este forțată adevărată în ipoteza curentă.

R3C8=1 este fals. În aceeași celulă R3C8, cealaltă cifră candidată R3C8=6 este forțată adevărată în ipoteza curentă.
R3C8=1 este fals. În aceeași celulă R3C8, cealaltă cifră candidată R3C8=6 este forțată adevărată în ipoteza curentă.
Pas 10 · Relație slabă: conflictul cifrelor candidate legate

R3C8=6 este adevărat. Eliminați R3C6=6.

R3C8=6 este adevărat. Eliminați R3C6=6.
R3C8=6 este adevărat. Eliminați R3C6=6.
Pas 11 · Aceeași celulă: forțați cealaltă cifră candidată

R3C6=6 este fals. În aceeași celulă R3C6, cealaltă cifră candidată R3C6=4 este forțată adevărată în ipoteza curentă.

R3C6=6 este fals. În aceeași celulă R3C6, cealaltă cifră candidată R3C6=4 este forțată adevărată în ipoteza curentă.
R3C6=6 este fals. În aceeași celulă R3C6, cealaltă cifră candidată R3C6=4 este forțată adevărată în ipoteza curentă.
Pas 12 · Relație slabă: conflictul cifrelor candidate legate

R3C6=4 este adevărat. Eliminați R5C6=4.

R3C6=4 este adevărat. Eliminați R5C6=4.
R3C6=4 este adevărat. Eliminați R5C6=4.
Pas 13 · Relație puternică: celălalt punct final este forțat

R5C6=4 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 5. Prin urmare, R5C4=4 trebuie să fie adevărat.

R5C6=4 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 5. Prin urmare, R5C4=4 trebuie să fie adevărat.
R5C6=4 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 5. Prin urmare, R5C4=4 trebuie să fie adevărat.
Pas 14 · Relație slabă: conflictul cifrelor candidate legate

R5C4=4 este adevărat. Eliminați R5C4=3.

R5C4=4 este adevărat. Eliminați R5C4=3.
R5C4=4 este adevărat. Eliminați R5C4=3.
Pas 15 · Relație puternică: celălalt punct final este forțat

R5C4=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 4. Prin urmare, R6C4=3 trebuie să fie adevărat.

R5C4=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 4. Prin urmare, R6C4=3 trebuie să fie adevărat.
R5C4=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 4. Prin urmare, R6C4=3 trebuie să fie adevărat.
Pas 16 · Relație slabă: conflictul cifrelor candidate legate

R6C4=3 este adevărat. Eliminați R6C9=3.

R6C4=3 este adevărat. Eliminați R6C9=3.
R6C4=3 este adevărat. Eliminați R6C9=3.
Pas 17 · Relație puternică: celălalt punct final este forțat

R6C9=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 9. Prin urmare, R4C9=3 trebuie să fie adevărat.

R6C9=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 9. Prin urmare, R4C9=3 trebuie să fie adevărat.
R6C9=3 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 9. Prin urmare, R4C9=3 trebuie să fie adevărat.
Pas 18 · Relație slabă: conflictul cifrelor candidate legate

R4C9=3 este adevărat. Eliminați R4C9=7.

R4C9=3 este adevărat. Eliminați R4C9=7.
R4C9=3 este adevărat. Eliminați R4C9=7.
Pas 19 · Relație puternică: celălalt punct final este forțat

R4C9=7 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 4. Prin urmare, R4C8=7 trebuie să fie adevărat.

R4C9=7 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 4. Prin urmare, R4C8=7 trebuie să fie adevărat.
R4C9=7 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 4. Prin urmare, R4C8=7 trebuie să fie adevărat.
Pas 20 · AIC rezumat

Punctele finale egale R1C8=9 și R4C8=7 poartă cifre diferite. Fiecare cifră de candidat încrucișat R4C8=9 ar face ambele puncte finale false, așa că eliminați-o.

Punctele finale egale R1C8=9 și R4C8=7 poartă cifre diferite. Fiecare cifră de candidat încrucișat R4C8=9 ar face ambele puncte finale false, așa că eliminați-o.
Punctele finale egale R1C8=9 și R4C8=7 poartă cifre diferite. Fiecare cifră de candidat încrucișat R4C8=9 ar face ambele puncte finale false, așa că eliminați-o.
Pas 21 · Retrageți umplutura anterioară a dreptunghiului

Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.

Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.
Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.
Pas 22 · AIC rezumat

Retrageți cazul punctului final temporar. Tipul 2 AIC elimină definitiv cifrele R4C8=9 între R1C8=9 și R4C8=7.

Retrageți cazul punctului final temporar. Tipul 2 AIC elimină definitiv cifrele R4C8=9 între R1C8=9 și R4C8=7.
Retrageți cazul punctului final temporar. Tipul 2 AIC elimină definitiv cifrele R4C8=9 între R1C8=9 și R4C8=7.

Ce permite

Retrageți cazul punctului final temporar. Tipul 2 AIC elimină definitiv cifrele R4C8=9 între R1C8=9 și R4C8=7.

Nice Loop / AIC · Utilizați rezultatul verificat: eliminați o cifră candidată sau plasați o cifră atunci când starea sa de adevăr logic opus este imposibilă.
Nice Loop / AIC · Utilizați rezultatul verificat: eliminați o cifră candidată sau plasați o cifră atunci când starea sa de adevăr logic opus este imposibilă.

Exemplu pas cu pas · Bucla continuă

Exemplul începe dintr-o poziție intermediară salvată. Candidații includ eliminări logice anterioare și nu sunt notițe automate abia generate.

Albastru: dovezi. Verde: concluzie. Cifre tăiate: candidați eliminați. R1C1 înseamnă rândul 1, coloana 1.

Pas 1 · Citiți AIC înainte de a-l urma

Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R9C3=6 este fals și inspectați R9C3=5. În coloana 3, rândul 5, coloana 8, rândul 9, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.

Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R9C3=6 este fals și inspectați R9C3=5. În coloana 3, rândul 5, coloana 8, rândul 9, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.
Această lecție Nice Loop / AIC folosește familia de noduri de cifre candidate obișnuite a lui HoDoKu: eliminări și plasări discontinue, lanțuri deschise de tip 1 și tip 2 și bucle continue. Începeți de la R9C3=6 este fals și inspectați R9C3=5. În coloana 3, rândul 5, coloana 8, rândul 9, o legătură cu linie continuă înseamnă că cel puțin un capăt este adevărat; o legătură întreruptă înseamnă că cele două puncte finale nu pot fi adevărate în același timp. Urmăriți câte o relație evidențiată.
Pas 2 · Ipoteza: începeți lanțul alternativ

Alegeți R9C3=6 numai ca început de citire al acestei bucle închise. Aceasta nu este o presupunere de încercare; bucla alternativă va reveni aici.

Alegeți R9C3=6 numai ca început de citire al acestei bucle închise. Aceasta nu este o presupunere de încercare; bucla alternativă va reveni aici.
Alegeți R9C3=6 numai ca început de citire al acestei bucle închise. Aceasta nu este o presupunere de încercare; bucla alternativă va reveni aici.
Pas 3 · Relație puternică: celălalt punct final este forțat

R9C3=6 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 3. Prin urmare, R5C3=6 trebuie să fie adevărat.

R9C3=6 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 3. Prin urmare, R5C3=6 trebuie să fie adevărat.
R9C3=6 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în coloana 3. Prin urmare, R5C3=6 trebuie să fie adevărat.
Pas 4 · Relație slabă: conflictul cifrelor candidate legate

R5C3=6 este adevărat. Eliminați R5C8=6.

R5C3=6 este adevărat. Eliminați R5C8=6.
R5C3=6 este adevărat. Eliminați R5C8=6.
Pas 5 · Aceeași celulă: forțați cealaltă cifră candidată

R5C8=6 este fals. În aceeași celulă R5C8, cealaltă cifră candidată R5C8=8 este forțată adevărată în ipoteza curentă.

R5C8=6 este fals. În aceeași celulă R5C8, cealaltă cifră candidată R5C8=8 este forțată adevărată în ipoteza curentă.
R5C8=6 este fals. În aceeași celulă R5C8, cealaltă cifră candidată R5C8=8 este forțată adevărată în ipoteza curentă.
Pas 6 · Relație slabă: conflictul cifrelor candidate legate

R5C8=8 este adevărat. Eliminați R9C8=8.

R5C8=8 este adevărat. Eliminați R9C8=8.
R5C8=8 este adevărat. Eliminați R9C8=8.
Pas 7 · Relație puternică: celălalt punct final este forțat

R9C8=8 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 9. Prin urmare, R9C3=8 trebuie să fie adevărat.

R9C8=8 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 9. Prin urmare, R9C3=8 trebuie să fie adevărat.
R9C8=8 este fals. Împreună, aceste două părți conțin fiecare opțiune rămasă în rândul 9. Prin urmare, R9C3=8 trebuie să fie adevărat.
Pas 8 · Relație slabă: conflictul cifrelor candidate legate

R9C3=8 este adevărat. Eliminați R9C3=6.

R9C3=8 este adevărat. Eliminați R9C3=6.
R9C3=8 este adevărat. Eliminați R9C3=6.
Pas 9 · AIC rezumat

Lanțul se închide ca o buclă alternativă continuă. Prin urmare, fiecare relație slabă de pe buclă este puternică, ceea ce elimină R9C3=5 din celula sau unitatea Sudoku afectată.

Lanțul se închide ca o buclă alternativă continuă. Prin urmare, fiecare relație slabă de pe buclă este puternică, ceea ce elimină R9C3=5 din celula sau unitatea Sudoku afectată.
Lanțul se închide ca o buclă alternativă continuă. Prin urmare, fiecare relație slabă de pe buclă este puternică, ceea ce elimină R9C3=5 din celula sau unitatea Sudoku afectată.
Pas 10 · Retrageți umplutura anterioară a dreptunghiului

Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.

Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.
Retrageți această presupunere și consecințele ei. Reveniți la instantaneul neschimbat al cifrei candidatului înainte de a examina următoarea posibilitate.
Pas 11 · AIC rezumat

Parcursul buclei este complet; retrageți-și stările de adevăr logice temporare și eliminați definitiv R9C3=5.

Parcursul buclei este complet; retrageți-și stările de adevăr logice temporare și eliminați definitiv R9C3=5.
Parcursul buclei este complet; retrageți-și stările de adevăr logice temporare și eliminați definitiv R9C3=5.

Ce permite

Parcursul buclei este complet; retrageți-și stările de adevăr logice temporare și eliminați definitiv R9C3=5.

Nice Loop / AIC · Utilizați rezultatul verificat: eliminați o cifră candidată sau plasați o cifră atunci când starea sa de adevăr logic opus este imposibilă.
Nice Loop / AIC · Utilizați rezultatul verificat: eliminați o cifră candidată sau plasați o cifră atunci când starea sa de adevăr logic opus este imposibilă.

Practică

Această lecție este adaptată din aplicația Platon Sudoku. Citește exemplul complet aici, apoi continuă să înveți și să exersezi în aplicație.

Vezi pe Google Play