Platon Games
Română

Platon Sudoku · Învață sudoku

Colorare simplă (Simple Coloring) · Exemplu pas cu pas

O rețea conectată de legături de inferență puternice pentru o cifră are două stări de adevăr logice opuse, A și B. Fie A este adevărat, fie B este adevărat. Eliminați o cifră candidat văzută de ambele stări de adevăr logic (capcană de culoare) sau eliminați fiecare cifră candidat într-o stare de adevăr logic ai cărei doi membri se văd unul pe celălalt (conflict de culori).

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

O rețea conectată de legături de inferență puternice pentru o cifră are două stări de adevăr logice opuse, A și B. Fie A este adevărat, fie B este adevărat.

Cum să-l găsești

Începeți cu o regiune care conține exact două cifre candidate pentru o cifră, apoi alternați A și B pe fiecare legătură de inferență puternică conectată.

Ce permite

Eliminați o cifră candidat văzută de ambele stări de adevăr logic (capcană de culoare) sau eliminați fiecare cifră candidat într-o stare de adevăr logic ai cărei doi membri se văd unul pe celălalt (conflict de culori).

Evitați amestecul

Colorează numai cifrele candidate unite prin legături de inferență puternice verificate. O culoare partajată este o stare logică ipotetică de adevăr, nu un răspuns plasat.

Exemplu pas cu pas · Capcană de culoare

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 · Găsiți prima legătură de inferență puternică

În Bloc 3×3 1, 4 poate merge numai în R1C3 sau R3C2. Aceste cifre candidate aparțin aceleiași componente de colorare și sunt marcate cu A cu cerc și B cu pătrat; A și B sunt stări de adevăr logice opuse.

În Bloc 3×3 1, 4 poate merge numai în R1C3 sau R3C2. Aceste cifre candidate aparțin aceleiași componente de colorare și sunt marcate cu A cu cerc și B cu pătrat; A și B sunt stări de adevăr logice opuse.
În Bloc 3×3 1, 4 poate merge numai în R1C3 sau R3C2. Aceste cifre candidate aparțin aceleiași componente de colorare și sunt marcate cu A cu cerc și B cu pătrat; A și B sunt stări de adevăr logice opuse.

● 1A: R1C3=4

■ 1B: R3C2=4

Pas 2 · Urmați legăturile de inferență puternice

Continuați prin fiecare legătură de inferență puternică conectată pentru 4. În cadrul acestei componente, fiecare legătură unește A marcat cu cerc și B marcat cu pătrat, cele două stări de adevăr logic opuse.

Continuați prin fiecare legătură de inferență puternică conectată pentru 4. În cadrul acestei componente, fiecare legătură unește A marcat cu cerc și B marcat cu pătrat, cele două stări de adevăr logic opuse.
Continuați prin fiecare legătură de inferență puternică conectată pentru 4. În cadrul acestei componente, fiecare legătură unește A marcat cu cerc și B marcat cu pătrat, cele două stări de adevăr logic opuse.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Pas 3 · Completați rețeaua de culori

Aceste cifre candidate 4 formează o singură rețea conectată. Fiecare linie continuă este o legătură de inferență puternică pentru 4.

Aceste cifre candidate 4 formează o singură rețea conectată. Fiecare linie continuă este o legătură de inferență puternică pentru 4.
Aceste cifre candidate 4 formează o singură rețea conectată. Fiecare linie continuă este o legătură de inferență puternică pentru 4.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Pas 4 · Înțelegeți cele două stări logice de adevăr

Fie toate A sunt adevărate și toate B false, fie toate B sunt adevărate și toate A false. Nu trebuie să știm dinainte care dintre aceste stări este cea corectă.

Fie toate A sunt adevărate și toate B false, fie toate B sunt adevărate și toate A false. Nu trebuie să știm dinainte care dintre aceste stări este cea corectă.
Fie toate A sunt adevărate și toate B false, fie toate B sunt adevărate și toate A false. Nu trebuie să știm dinainte care dintre aceste stări este cea corectă.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Pas 5 · Găsiți o țintă care vede A și B

R8C5=4 vede A la R3C5=4 și B la R8C3=4. Indiferent de starea logică de adevăr este adevărată, una dintre aceste două cifre candidate exclude ținta.

R8C5=4 vede A la R3C5=4 și B la R8C3=4. Indiferent de starea logică de adevăr este adevărată, una dintre aceste două cifre candidate exclude ținta.
R8C5=4 vede A la R3C5=4 și B la R8C3=4. Indiferent de starea logică de adevăr este adevărată, una dintre aceste două cifre candidate exclude ținta.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Pas 6 · Eliminați cifra candidată blocată

Deoarece fiecare țintă vede ambele stări posibile de adevăr logic, eliminați R8C5=4.

Deoarece fiecare țintă vede ambele stări posibile de adevăr logic, eliminați R8C5=4.
Deoarece fiecare țintă vede ambele stări posibile de adevăr logic, eliminați R8C5=4.

● 1A: R1C3=4, R3C5=4

■ 1B: R3C2=4, R8C3=4

Ce permite

Deoarece fiecare țintă vede ambele stări posibile de adevăr logic, eliminați R8C5=4.

Colorare simplă (Simple Coloring) · Eliminați o cifră candidat văzută de ambele stări de adevăr logic (capcană de culoare) sau eliminați fiecare cifră candidat într-o stare de adevăr logic ai cărei doi membri se văd unul pe celălalt (conflict de culori).
Colorare simplă (Simple Coloring) · Eliminați o cifră candidat văzută de ambele stări de adevăr logic (capcană de culoare) sau eliminați fiecare cifră candidat într-o stare de adevăr logic ai cărei doi membri se văd unul pe celălalt (conflict de culori).

Exemplu pas cu pas · Conflict de aceeași culoare

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 · Găsiți prima legătură de inferență puternică

În rândul 1, 1 poate merge numai în R1C3 sau R1C4. Aceste cifre candidate aparțin aceleiași componente de colorare și sunt marcate cu A cu cerc și B cu pătrat; A și B sunt stări de adevăr logice opuse.

În rândul 1, 1 poate merge numai în R1C3 sau R1C4. Aceste cifre candidate aparțin aceleiași componente de colorare și sunt marcate cu A cu cerc și B cu pătrat; A și B sunt stări de adevăr logice opuse.
În rândul 1, 1 poate merge numai în R1C3 sau R1C4. Aceste cifre candidate aparțin aceleiași componente de colorare și sunt marcate cu A cu cerc și B cu pătrat; A și B sunt stări de adevăr logice opuse.

● 1A: R1C3=1

■ 1B: R1C4=1

Pas 2 · Urmați legăturile de inferență puternice

Continuați prin fiecare legătură de inferență puternică conectată pentru 1. În cadrul acestei componente, fiecare legătură unește A marcat cu cerc și B marcat cu pătrat, cele două stări de adevăr logic opuse.

Continuați prin fiecare legătură de inferență puternică conectată pentru 1. În cadrul acestei componente, fiecare legătură unește A marcat cu cerc și B marcat cu pătrat, cele două stări de adevăr logic opuse.
Continuați prin fiecare legătură de inferență puternică conectată pentru 1. În cadrul acestei componente, fiecare legătură unește A marcat cu cerc și B marcat cu pătrat, cele două stări de adevăr logic opuse.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Pas 3 · Completați rețeaua de culori

Aceste cifre candidate 5 formează o singură rețea conectată. Fiecare legătură de inferență puternică unește A cu B, astfel încât toate cifrele candidate A împărtășesc o stare logică de adevăr și toate cifrele candidat B împărtășesc pe cealaltă.

Aceste cifre candidate 5 formează o singură rețea conectată. Fiecare legătură de inferență puternică unește A cu B, astfel încât toate cifrele candidate A împărtășesc o stare logică de adevăr și toate cifrele candidat B împărtășesc pe cealaltă.
Aceste cifre candidate 5 formează o singură rețea conectată. Fiecare legătură de inferență puternică unește A cu B, astfel încât toate cifrele candidate A împărtășesc o stare logică de adevăr și toate cifrele candidat B împărtășesc pe cealaltă.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Pas 4 · Găsiți același conflict de stare de adevăr logic

R1C4=1 și R4C4=1 sunt ambele în stare logică de adevăr B și se văd. Nu pot fi ambele 1, așa că starea logică a adevărului B este imposibilă.

R1C4=1 și R4C4=1 sunt ambele în stare logică de adevăr B și se văd. Nu pot fi ambele 1, așa că starea logică a adevărului B este imposibilă.
R1C4=1 și R4C4=1 sunt ambele în stare logică de adevăr B și se văd. Nu pot fi ambele 1, așa că starea logică a adevărului B este imposibilă.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Pas 5 · starea logică de adevăr B este imposibilă

Conflictul exclude întreaga stare logică de adevăr B. Trimiteți fiecare stare logică de adevăr-B cifră candidată împreună: R1C4=1, R4C4=1, R6C3=1.

Conflictul exclude întreaga stare logică de adevăr B. Trimiteți fiecare stare logică de adevăr-B cifră candidată împreună: R1C4=1, R4C4=1, R6C3=1.
Conflictul exclude întreaga stare logică de adevăr B. Trimiteți fiecare stare logică de adevăr-B cifră candidată împreună: R1C4=1, R4C4=1, R6C3=1.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Pas 6 · Eliminați starea de adevăr logic conflictuală

Eliminați starea logică de adevăr nevalidă-B cifre candidate: R1C4=1, R4C4=1, R6C3=1.

Eliminați starea logică de adevăr nevalidă-B cifre candidate: R1C4=1, R4C4=1, R6C3=1.
Eliminați starea logică de adevăr nevalidă-B cifre candidate: R1C4=1, R4C4=1, R6C3=1.

● 1A: R1C3=1, R4C2=1

■ 1B: R1C4=1, R4C4=1, R6C3=1

Ce permite

Eliminați starea logică de adevăr nevalidă-B cifre candidate: R1C4=1, R4C4=1, R6C3=1.

Colorare simplă (Simple Coloring) · Eliminați o cifră candidat văzută de ambele stări de adevăr logic (capcană de culoare) sau eliminați fiecare cifră candidat într-o stare de adevăr logic ai cărei doi membri se văd unul pe celălalt (conflict de culori).
Colorare simplă (Simple Coloring) · Eliminați o cifră candidat văzută de ambele stări de adevăr logic (capcană de culoare) sau eliminați fiecare cifră candidat într-o stare de adevăr logic ai cărei doi membri se văd unul pe celălalt (conflict de culori).

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