Platon Sudoku · Învață sudoku
AIC grupat pentru o singură cifră (Single-Digit Grouped AIC) · Exemplu pas cu pas
Un nod grupat înseamnă că cel puțin una dintre mai multe cifre candidate este adevărată; poate participa la un lanț de inferență alternativ. Eliminați o țintă văzută de punctele finale de forțare ale lanțului.
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 PlayRecunoașteți modelul
Un nod grupat înseamnă că cel puțin una dintre mai multe cifre candidate este adevărată; poate participa la un lanț de inferență alternativ.
Cum să-l găsești
Verificați dacă celulele grupate partajează regiunea necesară, apoi urmăriți legăturile de inferență puternice și slabe prin unul sau mai multe noduri de grup.
Ce permite
Eliminați o țintă văzută de punctele finale de forțare ale lanțului.
Evitați amestecul
Un grup adevărat nu înseamnă că fiecare membru este adevărat. Păstrați semnificația OR a grupului atunci când urmați lanțul.
Exemplu pas cu pas · Un grup
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
În Bloc 3×3 6, 2 poate merge numai în R4C7, R4C8, R5C8. Cifra trebuie să apară o dată în această regiune.
G1: R4C8=2, R5C8=2
1: OR grup A: cel puțin o cifră candidată este adevărată
Pas 2 · Raţionament
În coloana 5, 2 poate merge numai în R1C5, R4C5. Cifra trebuie să apară o dată în această regiune.
G1: R4C8=2, R5C8=2
1: OR grup A: cel puțin o cifră candidată este adevărată
Pas 3 · Raţionament
În coloana 9, 2 poate merge numai în R1C9, R8C9. Cifra trebuie să apară o dată în această regiune.
G1: R4C8=2, R5C8=2
1: OR grup A: cel puțin o cifră candidată este adevărată
Pas 4 · Denumiți grupurile de cifre candidate OR
Acoladele numerotate și legenda definesc aceste grupuri denumite: OR grup de cifre candidate A = R4C8=2, R5C8=2. Fiecare grup este o stare de adevăr logică OR: cel puțin o cifră candidată din el este adevărată, dar lanțul nu pretinde că fiecare membru este adevărat.
G1: R4C8=2, R5C8=2
1: OR grup A: cel puțin o cifră candidată este adevărată
Pas 5 · Raţionament
Branch 1: să presupunem că OR grup de cifre candidate A este fals.
G1: R4C8=2, R5C8=2
1: OR grup A: cel puțin o cifră candidată este adevărată
Pas 6 · Legătură de inferență puternică de grup: forțați cealaltă parte
Cazul 1: OR grup de cifre candidate A este fals, astfel încât legătura de inferență puternică a grupului forțează R4C7=2. Dacă acesta este un grup OR, cel puțin una dintre cifrele sale candidate este adevărată.
G1: R4C8=2, R5C8=2
1: OR grup A: cel puțin o cifră candidată este adevărată
Pas 7 · Grupați legătura slabă de inferență: excludeți partea conflictuală
R4C7=2 este adevărată ca stare de adevăr logic în lanț, deci partea care se exclude reciproc R4C5=2 este falsă.
G1: R4C8=2, R5C8=2
1: OR grup A: cel puțin o cifră candidată este adevărată
Pas 8 · Legătură de inferență puternică de grup: o parte trebuie să rămână
R4C5=2 este fals, astfel încât legătura de inferență puternică a grupului forțează R1C5=2.
G1: R4C8=2, R5C8=2
1: OR grup A: cel puțin o cifră candidată este adevărată
Pas 9 · Grupați legătura slabă de inferență: excludeți partea conflictuală
R1C5=2 este adevărată ca stare de adevăr logic în lanț, deci partea care se exclude reciproc R1C9=2 este falsă.
G1: R4C8=2, R5C8=2
1: OR grup A: cel puțin o cifră candidată este adevărată
Pas 10 · Punctul final indirect exclude țintele
R8C9=2 este adevărată ca stare de adevăr logică a punctului final, deci exclude ținte.
G1: R4C8=2, R5C8=2
1: OR grup A: cel puțin o cifră candidată este 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.
G1: R4C8=2, R5C8=2
1: OR grup A: cel puțin o cifră candidată este adevărată
Pas 12 · Cazul 2: primul punct final este adevărat
Primul punct final OR grup de cifre candidate A este adevărat ca stare logică de adevăr OR, deci exclude țintele.
G1: R4C8=2, R5C8=2
1: OR grup A: cel puțin o cifră candidată este adevărată
Pas 13 · Ambele cazuri finale sunt de acord
Cele două cazuri finale epuizează alternativele și ambele exclud R7C8=2, R8C8=2. Eliminați-le după retragerea stărilor de adevăr logice temporare.
G1: R4C8=2, R5C8=2
1: OR grup A: cel puțin o cifră candidată este adevărată
Ce permite
Cele două cazuri finale epuizează alternativele și ambele exclud R7C8=2, R8C8=2. Eliminați-le după retragerea stărilor de adevăr logice temporare.
Exemplu pas cu pas · Mai multe grupuri
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
În Bloc 3×3 1, 8 poate merge numai în R2C2, R3C1. Cifra trebuie să apară o dată în această regiune.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR grup A: cel puțin o cifră candidată este adevărată · 2: OR grup B: cel puțin o cifră candidată este adevărată
Pas 2 · Raţionament
În Bloc 3×3 2, 8 poate merge numai în R1C6, R2C4, R2C5. Cifra trebuie să apară o dată în această regiune.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR grup A: cel puțin o cifră candidată este adevărată · 2: OR grup B: cel puțin o cifră candidată este adevărată
Pas 3 · Raţionament
În rândul 8, 8 poate merge numai în R8C1, R8C2, R8C3, R8C6. Cifra trebuie să apară o dată în această regiune.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR grup A: cel puțin o cifră candidată este adevărată · 2: OR grup B: cel puțin o cifră candidată este adevărată
Pas 4 · Denumiți grupurile de cifre candidate OR
Acoladele numerotate și legenda definesc aceste grupuri denumite: OR grup de cifre candidate A = R2C4=8, R2C5=8, OR grup de cifre candidate B = R8C1=8, R8C2=8, R8C3=8. Fiecare grup este o stare de adevăr logică OR: cel puțin o cifră candidată din el este adevărată, dar lanțul nu pretinde că fiecare membru este adevărat.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR grup A: cel puțin o cifră candidată este adevărată · 2: OR grup B: cel puțin o cifră candidată este adevărată
Pas 5 · Raţionament
Branch 1: să presupunem că R3C1=8 este fals.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR grup A: cel puțin o cifră candidată este adevărată · 2: OR grup B: cel puțin o cifră candidată este adevărată
Pas 6 · Legătură de inferență puternică de grup: forțați cealaltă parte
Cazul 1: R3C1=8 este fals, astfel încât legătura de inferență puternică a grupului forțează R2C2=8. Dacă acesta este un grup OR, cel puțin una dintre cifrele sale candidate este adevărată.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR grup A: cel puțin o cifră candidată este adevărată · 2: OR grup B: cel puțin o cifră candidată este adevărată
Pas 7 · Grupați legătura slabă de inferență: excludeți partea conflictuală
R2C2=8 este adevărată ca stare de adevăr logic în lanț, deci partea care se exclude reciproc R2C4=8, R2C5=8 este falsă.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR grup A: cel puțin o cifră candidată este adevărată · 2: OR grup B: cel puțin o cifră candidată este adevărată
Pas 8 · Legătură de inferență puternică de grup: o parte trebuie să rămână
OR grup de cifre candidate A este fals, astfel încât legătura de inferență puternică a grupului forțează R1C6=8.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR grup A: cel puțin o cifră candidată este adevărată · 2: OR grup B: cel puțin o cifră candidată este adevărată
Pas 9 · Grupați legătura slabă de inferență: excludeți partea conflictuală
R1C6=8 este adevărată ca stare de adevăr logic în lanț, deci partea care se exclude reciproc R8C6=8 este falsă.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR grup A: cel puțin o cifră candidată este adevărată · 2: OR grup B: cel puțin o cifră candidată este adevărată
Pas 10 · Punctul final indirect exclude țintele
OR grup de cifre candidate B este adevărată ca stare de adevăr logică a punctului final, deci exclude ținte.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR grup A: cel puțin o cifră candidată este adevărată · 2: OR grup B: cel puțin o cifră candidată este 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.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR grup A: cel puțin o cifră candidată este adevărată · 2: OR grup B: cel puțin o cifră candidată este adevărată
Pas 12 · Cazul 2: primul punct final este adevărat
Primul punct final R3C1=8 este adevărat ca stare logică de adevăr OR, deci exclude țintele.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR grup A: cel puțin o cifră candidată este adevărată · 2: OR grup B: cel puțin o cifră candidată este adevărată
Pas 13 · Ambele cazuri finale sunt de acord
Cele două cazuri finale epuizează alternativele și ambele exclud R9C1=8. Eliminați-le după retragerea stărilor de adevăr logice temporare.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: OR grup A: cel puțin o cifră candidată este adevărată · 2: OR grup B: cel puțin o cifră candidată este adevărată
Ce permite
Cele două cazuri finale epuizează alternativele și ambele exclud R9C1=8. Eliminați-le după retragerea stărilor de adevăr logice temporare.
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