Platon Games
Română

Platon Sudoku · Învață sudoku

Rețea de forțare (Forcing Net) · Exemplu pas cu pas

A Rețea de forțare (Forcing Net) ramifică și îmbină implicațiile cifrelor candidate. Poate respinge o presupunere sau poate dovedi un rezultat comun între alternative. Eliminați o cifră candidat respinsă sau aplicați rezultatul partajat de toate ramurile exhaustive.

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

A Rețea de forțare (Forcing Net) ramifică și îmbină implicațiile cifrelor candidate. Poate respinge o presupunere sau poate dovedi un rezultat comun între alternative.

Cum să-l găsești

Urmăriți fiecare premisă prin rețeaua de ramificație, verificați fiecare legătură și comparați contradicțiile sau punctele finale comune.

Ce permite

Eliminați o cifră candidat respinsă sau aplicați rezultatul partajat de toate ramurile exhaustive.

Evitați amestecul

Nu sări peste o ramură și nu confundați un efect comun cu un efect dintr-o singură cale.

Exemplu pas cu pas · Contradicţie

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 · Unde să caut

R1C3=7 este fie adevărat, fie fals. Graful testează R1C3=7 este adevărat; o contradicție exclude această stare logică de adevăr și forțează R1C3=7 este fals, astfel încât cele două stări posibile de adevăr logic sunt acoperite pe deplin. Aceasta este o Rețea de forțare (Forcing Net), nu un Lanț de forțare (Forcing Chain), deoarece graficul de dependență verificat se extinde sau se îmbină în loc să rămână o singură cale de implicare liniară. Ramura explorată conține noduri verificate 49.

R1C3=7 este fie adevărat, fie fals. Graful testează R1C3=7 este adevărat; o contradicție exclude această stare logică de adevăr și forțează R1C3=7 este fals, astfel încât cele două stări posibile de adevăr logic sunt acoperite pe deplin. Aceasta este o Rețea de forțare (Forcing Net), nu un Lanț de forțare (Forcing Chain), deoarece graficul de dependență verificat se extinde sau se îmbină în loc să rămână o singură cale de implicare liniară. Ramura explorată conține noduri verificate 49.
R1C3=7 este fie adevărat, fie fals. Graful testează R1C3=7 este adevărat; o contradicție exclude această stare logică de adevăr și forțează R1C3=7 este fals, astfel încât cele două stări posibile de adevăr logic sunt acoperite pe deplin. Aceasta este o Rețea de forțare (Forcing Net), nu un Lanț de forțare (Forcing Chain), deoarece graficul de dependență verificat se extinde sau se îmbină în loc să rămână o singură cale de implicare liniară. Ramura explorată conține noduri verificate 49.
Pas 2 · Raţionament

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

Branch 1: să presupunem că R1C3=7 este adevărat.
Branch 1: să presupunem că R1C3=7 este adevărat.
Pas 3 · Raţionament

R1C3=7 este adevărat. Eliminați {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.

R1C3=7 este adevărat. Eliminați {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
R1C3=7 este adevărat. Eliminați {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
Pas 4 · Raţionament

După excluderile precedente, R8C3=3 este singura opțiune rămasă în R8C3. Este forțat sub această presupunere.

După excluderile precedente, R8C3=3 este singura opțiune rămasă în R8C3. Este forțat sub această presupunere.
După excluderile precedente, R8C3=3 este singura opțiune rămasă în R8C3. Este forțat sub această presupunere.
Pas 5 · Raţionament

R8C3=3 este adevărat. Eliminați R7C3=3.

R8C3=3 este adevărat. Eliminați R7C3=3.
R8C3=3 este adevărat. Eliminați R7C3=3.
Pas 6 · Raţionament

După excluderile precedente, R7C4=3 este singura opțiune rămasă în rândul 7. Este forțat sub această presupunere.

După excluderile precedente, R7C4=3 este singura opțiune rămasă în rândul 7. Este forțat sub această presupunere.
După excluderile precedente, R7C4=3 este singura opțiune rămasă în rândul 7. Este forțat sub această presupunere.
Pas 7 · Raţionament

După excluderile precedente, R8C2=7 este singura opțiune rămasă în rândul 8. Este forțat sub această presupunere.

După excluderile precedente, R8C2=7 este singura opțiune rămasă în rândul 8. Este forțat sub această presupunere.
După excluderile precedente, R8C2=7 este singura opțiune rămasă în rândul 8. Este forțat sub această presupunere.
Pas 8 · Raţionament

R8C2=7 este adevărat. Eliminați R8C2=8.

R8C2=7 este adevărat. Eliminați R8C2=8.
R8C2=7 este adevărat. Eliminați R8C2=8.
Pas 9 · Raţionament

După excluderile precedente, R8C8=8 este singura opțiune rămasă în rândul 8. Este forțat sub această presupunere.

După excluderile precedente, R8C8=8 este singura opțiune rămasă în rândul 8. Este forțat sub această presupunere.
După excluderile precedente, R8C8=8 este singura opțiune rămasă în rândul 8. Este forțat sub această presupunere.
Pas 10 · Raţionament

R8C8=8 este adevărat. Eliminați R8C8=4.

R8C8=8 este adevărat. Eliminați R8C8=4.
R8C8=8 este adevărat. Eliminați R8C8=4.
Pas 11 · Raţionament

După excluderile precedente, R6C1=7 este singura opțiune rămasă în coloana 1. Este forțat sub această presupunere.

După excluderile precedente, R6C1=7 este singura opțiune rămasă în coloana 1. Este forțat sub această presupunere.
După excluderile precedente, R6C1=7 este singura opțiune rămasă în coloana 1. Este forțat sub această presupunere.
Pas 12 · Raţionament

R6C1=7 este adevărat. Eliminați R6C1=5.

R6C1=7 este adevărat. Eliminați R6C1=5.
R6C1=7 este adevărat. Eliminați R6C1=5.
Pas 13 · Raţionament

După excluderile precedente, R3C8=4 este singura opțiune rămasă în coloana 8. Este forțat sub această presupunere.

După excluderile precedente, R3C8=4 este singura opțiune rămasă în coloana 8. Este forțat sub această presupunere.
După excluderile precedente, R3C8=4 este singura opțiune rămasă în coloana 8. Este forțat sub această presupunere.
Pas 14 · Raţionament

R3C8=4 este adevărat. Eliminați {R3C8=1, R3C8=6}.

R3C8=4 este adevărat. Eliminați {R3C8=1, R3C8=6}.
R3C8=4 este adevărat. Eliminați {R3C8=1, R3C8=6}.
Pas 15 · Raţionament

După excluderile precedente, R3C1=2 este singura opțiune rămasă în Bloc 3×3 1. Este forțat sub această presupunere.

După excluderile precedente, R3C1=2 este singura opțiune rămasă în Bloc 3×3 1. Este forțat sub această presupunere.
După excluderile precedente, R3C1=2 este singura opțiune rămasă în Bloc 3×3 1. Este forțat sub această presupunere.
Pas 16 · Raţionament

R3C1=2 este adevărat. Eliminați R3C1=5.

R3C1=2 este adevărat. Eliminați R3C1=5.
R3C1=2 este adevărat. Eliminați R3C1=5.
Pas 17 · Raţionament

După excluderile precedente, R9C7=4 este singura opțiune rămasă în Bloc 3×3 9. Este forțat sub această presupunere.

După excluderile precedente, R9C7=4 este singura opțiune rămasă în Bloc 3×3 9. Este forțat sub această presupunere.
După excluderile precedente, R9C7=4 este singura opțiune rămasă în Bloc 3×3 9. Este forțat sub această presupunere.
Pas 18 · Raţionament

R9C7=4 este adevărat. Eliminați R9C7=9.

R9C7=4 este adevărat. Eliminați R9C7=9.
R9C7=4 este adevărat. Eliminați R9C7=9.
Pas 19 · Raţionament

După excluderile precedente, R7C9=9 este singura opțiune rămasă în Bloc 3×3 9. Este forțat sub această presupunere.

După excluderile precedente, R7C9=9 este singura opțiune rămasă în Bloc 3×3 9. Este forțat sub această presupunere.
După excluderile precedente, R7C9=9 este singura opțiune rămasă în Bloc 3×3 9. Este forțat sub această presupunere.
Pas 20 · Raţionament

R3C8=4 este adevărat. Eliminați R2C7=4.

R3C8=4 este adevărat. Eliminați R2C7=4.
R3C8=4 este adevărat. Eliminați R2C7=4.
Pas 21 · Raţionament

R6C1=7 este adevărat. Eliminați R6C7=7.

R6C1=7 este adevărat. Eliminați R6C7=7.
R6C1=7 este adevărat. Eliminați R6C7=7.
Pas 22 · Raţionament

După excluderile precedente, R6C7=6 este singura opțiune rămasă în R6C7. Este forțat sub această presupunere.

După excluderile precedente, R6C7=6 este singura opțiune rămasă în R6C7. Este forțat sub această presupunere.
După excluderile precedente, R6C7=6 este singura opțiune rămasă în R6C7. Este forțat sub această presupunere.
Pas 23 · Raţionament

R6C7=6 este adevărat. Eliminați R3C7=6.

R6C7=6 este adevărat. Eliminați R3C7=6.
R6C7=6 este adevărat. Eliminați R3C7=6.
Pas 24 · Raţionament

R7C4=3 este adevărat. Eliminați R2C4=3.

R7C4=3 este adevărat. Eliminați R2C4=3.
R7C4=3 este adevărat. Eliminați R2C4=3.
Pas 25 · Raţionament

R7C9=9 este adevărat. Eliminați {R1C9=9, R7C3=9}.

R7C9=9 este adevărat. Eliminați {R1C9=9, R7C3=9}.
R7C9=9 este adevărat. Eliminați {R1C9=9, R7C3=9}.
Pas 26 · Raţionament

R8C8=8 este adevărat. Eliminați R1C8=8.

R8C8=8 este adevărat. Eliminați R1C8=8.
R8C8=8 este adevărat. Eliminați R1C8=8.
Pas 27 · Raţionament

După excluderile precedente, R3C9=6 este singura opțiune rămasă în rândul 3. Este forțat sub această presupunere.

După excluderile precedente, R3C9=6 este singura opțiune rămasă în rândul 3. Este forțat sub această presupunere.
După excluderile precedente, R3C9=6 este singura opțiune rămasă în rândul 3. Este forțat sub această presupunere.
Pas 28 · Raţionament

R3C9=6 este adevărat. Eliminați R3C9=1.

R3C9=6 este adevărat. Eliminați R3C9=1.
R3C9=6 este adevărat. Eliminați R3C9=1.
Pas 29 · Raţionament

După excluderile precedente, R9C1=9 este singura opțiune rămasă în rândul 9. Este forțat sub această presupunere.

După excluderile precedente, R9C1=9 este singura opțiune rămasă în rândul 9. Este forțat sub această presupunere.
După excluderile precedente, R9C1=9 este singura opțiune rămasă în rândul 9. Este forțat sub această presupunere.
Pas 30 · Raţionament

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

R9C1=9 este adevărat. Eliminați R9C1=5.
R9C1=9 este adevărat. Eliminați R9C1=5.
Pas 31 · Raţionament

După excluderile precedente, R2C1=5 este singura opțiune rămasă în coloana 1. Este forțat sub această presupunere.

După excluderile precedente, R2C1=5 este singura opțiune rămasă în coloana 1. Este forțat sub această presupunere.
După excluderile precedente, R2C1=5 este singura opțiune rămasă în coloana 1. Este forțat sub această presupunere.
Pas 32 · Raţionament

După excluderile precedente, R2C3=9 este singura opțiune rămasă în coloana 3. Este forțat sub această presupunere.

După excluderile precedente, R2C3=9 este singura opțiune rămasă în coloana 3. Este forțat sub această presupunere.
După excluderile precedente, R2C3=9 este singura opțiune rămasă în coloana 3. Este forțat sub această presupunere.
Pas 33 · Raţionament

După excluderile precedente, R2C9=1 este singura opțiune rămasă în Bloc 3×3 3. Este forțat sub această presupunere.

După excluderile precedente, R2C9=1 este singura opțiune rămasă în Bloc 3×3 3. Este forțat sub această presupunere.
După excluderile precedente, R2C9=1 este singura opțiune rămasă în Bloc 3×3 3. Este forțat sub această presupunere.
Pas 34 · Raţionament

După excluderile precedente, R1C8=5 este singura opțiune rămasă în R1C8. Este forțat sub această presupunere.

După excluderile precedente, R1C8=5 este singura opțiune rămasă în R1C8. Este forțat sub această presupunere.
După excluderile precedente, R1C8=5 este singura opțiune rămasă în R1C8. Este forțat sub această presupunere.
Pas 35 · Raţionament

R1C8=5 este adevărat. Eliminați R1C9=5.

R1C8=5 este adevărat. Eliminați R1C9=5.
R1C8=5 este adevărat. Eliminați R1C9=5.
Pas 36 · Raţionament

După excluderile precedente, R1C9=8 este singura opțiune rămasă în R1C9. Este forțat sub această presupunere.

După excluderile precedente, R1C9=8 este singura opțiune rămasă în R1C9. Este forțat sub această presupunere.
După excluderile precedente, R1C9=8 este singura opțiune rămasă în R1C9. Este forțat sub această presupunere.
Pas 37 · Raţionament

R1C9=8 este adevărat. Eliminați R2C7=8.

R1C9=8 este adevărat. Eliminați R2C7=8.
R1C9=8 este adevărat. Eliminați R2C7=8.
Pas 38 · Raţionament

R2C1=5 este adevărat. Eliminați R2C4=5.

R2C1=5 este adevărat. Eliminați R2C4=5.
R2C1=5 este adevărat. Eliminați R2C4=5.
Pas 39 · Raţionament

R2C3=9 este adevărat. Eliminați R2C7=9.

R2C3=9 este adevărat. Eliminați R2C7=9.
R2C3=9 este adevărat. Eliminați R2C7=9.
Pas 40 · Raţionament

După excluderile precedente, R2C7=7 este singura opțiune rămasă în R2C7. Este forțat sub această presupunere.

După excluderile precedente, R2C7=7 este singura opțiune rămasă în R2C7. Este forțat sub această presupunere.
După excluderile precedente, R2C7=7 este singura opțiune rămasă în R2C7. Este forțat sub această presupunere.
Pas 41 · Raţionament

R2C7=7 este adevărat. Eliminați R2C4=7.

R2C7=7 este adevărat. Eliminați R2C4=7.
R2C7=7 este adevărat. Eliminați R2C4=7.
Pas 42 · Raţionament

R2C9=1 este adevărat. Eliminați R2C4=1.

R2C9=1 este adevărat. Eliminați R2C4=1.
R2C9=1 este adevărat. Eliminați R2C4=1.
Pas 43 · Raţionament

Această ipoteză nu lasă nicio valoare sau poziție posibilă în R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. O celulă Sudoku și fiecare cifră lipsă dintr-o regiune trebuie să aibă o opțiune. Presupunerea este imposibilă.

Această ipoteză nu lasă nicio valoare sau poziție posibilă în R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. O celulă Sudoku și fiecare cifră lipsă dintr-o regiune trebuie să aibă o opțiune. Presupunerea este imposibilă.
Această ipoteză nu lasă nicio valoare sau poziție posibilă în R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. O celulă Sudoku și fiecare cifră lipsă dintr-o regiune trebuie să aibă o opțiune. Presupunerea este imposibilă.
Pas 44 · 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 45 · Concluzie

R1C3=7 poate fi eliminat deoarece nu poate fi adevărat în acest model.

R1C3=7 poate fi eliminat deoarece nu poate fi adevărat în acest model.
R1C3=7 poate fi eliminat deoarece nu poate fi adevărat în acest model.

Ce permite

R1C3=7 poate fi eliminat deoarece nu poate fi adevărat în acest model.

Rețea de forțare (Forcing Net) · Eliminați o cifră candidat respinsă sau aplicați rezultatul partajat de toate ramurile exhaustive.
Rețea de forțare (Forcing Net) · Eliminați o cifră candidat respinsă sau aplicați rezultatul partajat de toate ramurile exhaustive.

Exemplu pas cu pas · Rezultat comun

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 · Unde să caut

Setul de rădăcină R7C5=2, R7C5=4, R7C5=9 conține fiecare început posibil în R7C5, astfel încât ramurile rădăcinii sunt exhaustive. Acesta este un Rețea de forțare (Forcing Net), nu un Lanț de forțare (Forcing Chain), deoarece graficul de dependență verificat se extinde sau se îmbină în loc să rămână o singură cale de implicare liniară. Graficul de dependență conține noduri verificate 58 în ramurile rădăcină 3. Rezultatul comun de verificat este R3C6=2 este adevărat.

Setul de rădăcină R7C5=2, R7C5=4, R7C5=9 conține fiecare început posibil în R7C5, astfel încât ramurile rădăcinii sunt exhaustive. Acesta este un Rețea de forțare (Forcing Net), nu un Lanț de forțare (Forcing Chain), deoarece graficul de dependență verificat se extinde sau se îmbină în loc să rămână o singură cale de implicare liniară. Graficul de dependență conține noduri verificate 58 în ramurile rădăcină 3. Rezultatul comun de verificat este R3C6=2 este adevărat.
Setul de rădăcină R7C5=2, R7C5=4, R7C5=9 conține fiecare început posibil în R7C5, astfel încât ramurile rădăcinii sunt exhaustive. Acesta este un Rețea de forțare (Forcing Net), nu un Lanț de forțare (Forcing Chain), deoarece graficul de dependență verificat se extinde sau se îmbină în loc să rămână o singură cale de implicare liniară. Graficul de dependență conține noduri verificate 58 în ramurile rădăcină 3. Rezultatul comun de verificat este R3C6=2 este adevărat.
Pas 2 · Raţionament

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

Branch 1: să presupunem că R7C5=2 este adevărat.
Branch 1: să presupunem că R7C5=2 este adevărat.
Pas 3 · Raţionament

R7C5=2 este adevărat. Eliminați R3C5=2.

R7C5=2 este adevărat. Eliminați R3C5=2.
R7C5=2 este adevărat. Eliminați R3C5=2.
Pas 4 · Raţionament

După excluderile precedente, R3C6=2 este singura opțiune rămasă în rândul 3. Este forțat sub această presupunere.

După excluderile precedente, R3C6=2 este singura opțiune rămasă în rândul 3. Este forțat sub această presupunere.
După excluderile precedente, R3C6=2 este singura opțiune rămasă în rândul 3. Este forțat sub această presupunere.
Pas 5 · 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 6 · Raţionament

Branch 2: să presupunem că R7C5=4 este adevărat.

Branch 2: să presupunem că R7C5=4 este adevărat.
Branch 2: să presupunem că R7C5=4 este adevărat.
Pas 7 · Raţionament

R7C5=4 este adevărat. Eliminați R8C5=4.

R7C5=4 este adevărat. Eliminați R8C5=4.
R7C5=4 este adevărat. Eliminați R8C5=4.
Pas 8 · Raţionament

După excluderile precedente, R8C5=2 este singura opțiune rămasă în R8C5. Este forțat sub această presupunere.

După excluderile precedente, R8C5=2 este singura opțiune rămasă în R8C5. Este forțat sub această presupunere.
După excluderile precedente, R8C5=2 este singura opțiune rămasă în R8C5. Este forțat sub această presupunere.
Pas 9 · Raţionament

R8C5=2 este adevărat. Eliminați R3C5=2.

R8C5=2 este adevărat. Eliminați R3C5=2.
R8C5=2 este adevărat. Eliminați R3C5=2.
Pas 10 · Raţionament

După excluderile precedente, R3C6=2 este singura opțiune rămasă în rândul 3. Este forțat sub această presupunere.

După excluderile precedente, R3C6=2 este singura opțiune rămasă în rândul 3. Este forțat sub această presupunere.
După excluderile precedente, R3C6=2 este singura opțiune rămasă în rândul 3. Este forțat sub această presupunere.
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 · Raţionament

Branch 3: să presupunem că R7C5=9 este adevărat.

Branch 3: să presupunem că R7C5=9 este adevărat.
Branch 3: să presupunem că R7C5=9 este adevărat.
Pas 13 · Raţionament

R7C5=9 este adevărat. Eliminați {R7C7=9, R7C8=9, R7C9=9}.

R7C5=9 este adevărat. Eliminați {R7C7=9, R7C8=9, R7C9=9}.
R7C5=9 este adevărat. Eliminați {R7C7=9, R7C8=9, R7C9=9}.
Pas 14 · Raţionament

După excluderile precedente, R7C8=7 este singura opțiune rămasă în R7C8. Este forțat sub această presupunere.

După excluderile precedente, R7C8=7 este singura opțiune rămasă în R7C8. Este forțat sub această presupunere.
După excluderile precedente, R7C8=7 este singura opțiune rămasă în R7C8. Este forțat sub această presupunere.
Pas 15 · Raţionament

R7C8=7 este adevărat. Eliminați {R7C9=7, R9C7=7, R9C8=7}.

R7C8=7 este adevărat. Eliminați {R7C9=7, R9C7=7, R9C8=7}.
R7C8=7 este adevărat. Eliminați {R7C9=7, R9C7=7, R9C8=7}.
Pas 16 · Raţionament

După excluderile precedente, R7C9=8 este singura opțiune rămasă în R7C9. Este forțat sub această presupunere.

După excluderile precedente, R7C9=8 este singura opțiune rămasă în R7C9. Este forțat sub această presupunere.
După excluderile precedente, R7C9=8 este singura opțiune rămasă în R7C9. Este forțat sub această presupunere.
Pas 17 · Raţionament

R7C9=8 este adevărat. Eliminați {R7C7=8, R8C7=8, R9C7=8}.

R7C9=8 este adevărat. Eliminați {R7C7=8, R8C7=8, R9C7=8}.
R7C9=8 este adevărat. Eliminați {R7C7=8, R8C7=8, R9C7=8}.
Pas 18 · Raţionament

După excluderile precedente, R9C1=7 este singura opțiune rămasă în rândul 9. Este forțat sub această presupunere.

După excluderile precedente, R9C1=7 este singura opțiune rămasă în rândul 9. Este forțat sub această presupunere.
După excluderile precedente, R9C1=7 este singura opțiune rămasă în rândul 9. Este forțat sub această presupunere.
Pas 19 · Raţionament

După excluderile precedente, R4C7=8 este singura opțiune rămasă în coloana 7. Este forțat sub această presupunere.

După excluderile precedente, R4C7=8 este singura opțiune rămasă în coloana 7. Este forțat sub această presupunere.
După excluderile precedente, R4C7=8 este singura opțiune rămasă în coloana 7. Este forțat sub această presupunere.
Pas 20 · Raţionament

R4C7=8 este adevărat. Eliminați R4C7=5.

R4C7=8 este adevărat. Eliminați R4C7=5.
R4C7=8 este adevărat. Eliminați R4C7=5.
Pas 21 · Raţionament

După excluderile precedente, R4C9=7 este singura opțiune rămasă în coloana 9. Este forțat sub această presupunere.

După excluderile precedente, R4C9=7 este singura opțiune rămasă în coloana 9. Este forțat sub această presupunere.
După excluderile precedente, R4C9=7 este singura opțiune rămasă în coloana 9. Este forțat sub această presupunere.
Pas 22 · Raţionament

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

R4C9=7 este adevărat. Eliminați R4C9=9.
R4C9=7 este adevărat. Eliminați R4C9=9.
Pas 23 · Raţionament

După excluderile precedente, R6C9=9 este singura opțiune rămasă în coloana 9. Este forțat sub această presupunere.

După excluderile precedente, R6C9=9 este singura opțiune rămasă în coloana 9. Este forțat sub această presupunere.
După excluderile precedente, R6C9=9 este singura opțiune rămasă în coloana 9. Este forțat sub această presupunere.
Pas 24 · Raţionament

R6C9=9 este adevărat. Eliminați R6C9=1.

R6C9=9 este adevărat. Eliminați R6C9=1.
R6C9=9 este adevărat. Eliminați R6C9=1.
Pas 25 · Raţionament

După excluderile precedente, R5C7=1 este singura opțiune rămasă în Bloc 3×3 6. Este forțat sub această presupunere.

După excluderile precedente, R5C7=1 este singura opțiune rămasă în Bloc 3×3 6. Este forțat sub această presupunere.
După excluderile precedente, R5C7=1 este singura opțiune rămasă în Bloc 3×3 6. Este forțat sub această presupunere.
Pas 26 · Raţionament

R5C7=1 este adevărat. Eliminați {R5C7=5, R5C7=7}.

R5C7=1 este adevărat. Eliminați {R5C7=5, R5C7=7}.
R5C7=1 este adevărat. Eliminați {R5C7=5, R5C7=7}.
Pas 27 · Raţionament

După excluderile precedente, R4C8=5 este singura opțiune rămasă în Bloc 3×3 6. Este forțat sub această presupunere.

După excluderile precedente, R4C8=5 este singura opțiune rămasă în Bloc 3×3 6. Este forțat sub această presupunere.
După excluderile precedente, R4C8=5 este singura opțiune rămasă în Bloc 3×3 6. Este forțat sub această presupunere.
Pas 28 · Raţionament

R4C8=5 este adevărat. Eliminați {R4C5=5, R8C8=5}.

R4C8=5 este adevărat. Eliminați {R4C5=5, R8C8=5}.
R4C8=5 este adevărat. Eliminați {R4C5=5, R8C8=5}.
Pas 29 · Raţionament

R5C7=1 este adevărat. Eliminați {R2C7=1, R5C1=1}.

R5C7=1 este adevărat. Eliminați {R2C7=1, R5C1=1}.
R5C7=1 este adevărat. Eliminați {R2C7=1, R5C1=1}.
Pas 30 · Raţionament

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

R9C1=7 este adevărat. Eliminați R5C1=7.
R9C1=7 este adevărat. Eliminați R5C1=7.
Pas 31 · Raţionament

După excluderile precedente, R5C2=7 este singura opțiune rămasă în rândul 5. Este forțat sub această presupunere.

După excluderile precedente, R5C2=7 este singura opțiune rămasă în rândul 5. Este forțat sub această presupunere.
După excluderile precedente, R5C2=7 este singura opțiune rămasă în rândul 5. Este forțat sub această presupunere.
Pas 32 · Raţionament

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

R5C2=7 este adevărat. Eliminați R5C2=3.
R5C2=7 este adevărat. Eliminați R5C2=3.
Pas 33 · Raţionament

După excluderile precedente, R8C7=5 este singura opțiune rămasă în rândul 8. Este forțat sub această presupunere.

După excluderile precedente, R8C7=5 este singura opțiune rămasă în rândul 8. Este forțat sub această presupunere.
După excluderile precedente, R8C7=5 este singura opțiune rămasă în rândul 8. Este forțat sub această presupunere.
Pas 34 · Raţionament

R8C7=5 este adevărat. Eliminați {R8C7=2, R8C7=6}.

R8C7=5 este adevărat. Eliminați {R8C7=2, R8C7=6}.
R8C7=5 este adevărat. Eliminați {R8C7=2, R8C7=6}.
Pas 35 · Raţionament

După excluderile precedente, R1C1=1 este singura opțiune rămasă în coloana 1. Este forțat sub această presupunere.

După excluderile precedente, R1C1=1 este singura opțiune rămasă în coloana 1. Este forțat sub această presupunere.
După excluderile precedente, R1C1=1 este singura opțiune rămasă în coloana 1. Este forțat sub această presupunere.
Pas 36 · Raţionament

După excluderile precedente, R7C7=6 este singura opțiune rămasă în coloana 7. Este forțat sub această presupunere.

După excluderile precedente, R7C7=6 este singura opțiune rămasă în coloana 7. Este forțat sub această presupunere.
După excluderile precedente, R7C7=6 este singura opțiune rămasă în coloana 7. Este forțat sub această presupunere.
Pas 37 · Raţionament

R7C7=6 este adevărat. Eliminați R7C7=2.

R7C7=6 este adevărat. Eliminați R7C7=2.
R7C7=6 este adevărat. Eliminați R7C7=2.
Pas 38 · Raţionament

După excluderile precedente, R9C7=2 este singura opțiune rămasă în Bloc 3×3 9. Este forțat sub această presupunere.

După excluderile precedente, R9C7=2 este singura opțiune rămasă în Bloc 3×3 9. Este forțat sub această presupunere.
După excluderile precedente, R9C7=2 este singura opțiune rămasă în Bloc 3×3 9. Este forțat sub această presupunere.
Pas 39 · Raţionament

R9C7=2 este adevărat. Eliminați R9C7=9.

R9C7=2 este adevărat. Eliminați R9C7=9.
R9C7=2 este adevărat. Eliminați R9C7=9.
Pas 40 · Raţionament

După excluderile precedente, R9C8=9 este singura opțiune rămasă în Bloc 3×3 9. Este forțat sub această presupunere.

După excluderile precedente, R9C8=9 este singura opțiune rămasă în Bloc 3×3 9. Este forțat sub această presupunere.
După excluderile precedente, R9C8=9 este singura opțiune rămasă în Bloc 3×3 9. Este forțat sub această presupunere.
Pas 41 · Raţionament

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

R9C8=9 este adevărat. Eliminați R9C8=3.
R9C8=9 este adevărat. Eliminați R9C8=3.
Pas 42 · Raţionament

R1C1=1 este adevărat. Eliminați R2C3=1.

R1C1=1 este adevărat. Eliminați R2C3=1.
R1C1=1 este adevărat. Eliminați R2C3=1.
Pas 43 · Raţionament

După excluderile precedente, R2C5=1 este singura opțiune rămasă în rândul 2. Este forțat sub această presupunere.

După excluderile precedente, R2C5=1 este singura opțiune rămasă în rândul 2. Este forțat sub această presupunere.
După excluderile precedente, R2C5=1 este singura opțiune rămasă în rândul 2. Este forțat sub această presupunere.
Pas 44 · Raţionament

R2C5=1 este adevărat. Eliminați R2C5=5.

R2C5=1 este adevărat. Eliminați R2C5=5.
R2C5=1 este adevărat. Eliminați R2C5=5.
Pas 45 · Raţionament

După excluderile precedente, R9C3=3 este singura opțiune rămasă în rândul 9. Este forțat sub această presupunere.

După excluderile precedente, R9C3=3 este singura opțiune rămasă în rândul 9. Este forțat sub această presupunere.
După excluderile precedente, R9C3=3 este singura opțiune rămasă în rândul 9. Este forțat sub această presupunere.
Pas 46 · Raţionament

După excluderile precedente, R5C5=5 este singura opțiune rămasă în coloana 5. Este forțat sub această presupunere.

După excluderile precedente, R5C5=5 este singura opțiune rămasă în coloana 5. Este forțat sub această presupunere.
După excluderile precedente, R5C5=5 este singura opțiune rămasă în coloana 5. Este forțat sub această presupunere.
Pas 47 · Raţionament

R5C5=5 este adevărat. Eliminați R5C5=3.

R5C5=5 este adevărat. Eliminați R5C5=3.
R5C5=5 este adevărat. Eliminați R5C5=3.
Pas 48 · Raţionament

R9C3=3 este adevărat. Eliminați R5C3=3.

R9C3=3 este adevărat. Eliminați R5C3=3.
R9C3=3 este adevărat. Eliminați R5C3=3.
Pas 49 · Raţionament

După excluderile precedente, R5C6=3 este singura opțiune rămasă în rândul 5. Este forțat sub această presupunere.

După excluderile precedente, R5C6=3 este singura opțiune rămasă în rândul 5. Este forțat sub această presupunere.
După excluderile precedente, R5C6=3 este singura opțiune rămasă în rândul 5. Este forțat sub această presupunere.
Pas 50 · Raţionament

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

R5C6=3 este adevărat. Eliminați R3C6=3.
R5C6=3 este adevărat. Eliminați R3C6=3.
Pas 51 · Raţionament

După excluderile precedente, R3C6=2 este singura opțiune rămasă în R3C6. Este forțat sub această presupunere.

După excluderile precedente, R3C6=2 este singura opțiune rămasă în R3C6. Este forțat sub această presupunere.
După excluderile precedente, R3C6=2 este singura opțiune rămasă în R3C6. Este forțat sub această presupunere.
Pas 52 · Raţionament

Fiecare ramură posibilă ajunge la același fapt: R3C6=2 este adevărat. După retragerea tuturor ipotezelor, acest fapt rămâne cert.

Fiecare ramură posibilă ajunge la același fapt: R3C6=2 este adevărat. După retragerea tuturor ipotezelor, acest fapt rămâne cert.
Fiecare ramură posibilă ajunge la același fapt: R3C6=2 este adevărat. După retragerea tuturor ipotezelor, acest fapt rămâne cert.
Pas 53 · Concluzie

R3C6=2 este forțat de acest model.

R3C6=2 este forțat de acest model.
R3C6=2 este forțat de acest model.

Ce permite

R3C6=2 este forțat de acest model.

Rețea de forțare (Forcing Net) · Eliminați o cifră candidat respinsă sau aplicați rezultatul partajat de toate ramurile exhaustive.
Rețea de forțare (Forcing Net) · Eliminați o cifră candidat respinsă sau aplicați rezultatul partajat de toate ramurile exhaustive.

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