Platon Sudoku · Învață sudoku

Lanțuri alternante · Concepte de bază

Un lanț alternează legături de inferență puternice și slabe pentru a trece constrângerile de adevăr de la nod la nod.

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.

Definiție

Un lanț alternează legături de inferență puternice și slabe pentru a trece constrângerile de adevăr de la nod la nod.

Începeți cu o legătură de inferență puternică verificată și verificați fiecare legătură și nod succesive.

O linie trasată nu este o dovadă. O verigă invalidă sau necomanda întrerupe lanțul.

Tablă de predare · Diagrama locală a cifrelor candidatului

Observați cifrele candidatului

Un lanț alternează legături de inferență puternice și slabe pentru a trece constrângerile de adevăr de la nod la nod.

Verificați starea

Începeți cu o legătură de inferență puternică verificată și verificați fiecare legătură și nod succesive.

Trage concluzia

Legăturile de inferență puternice și slabe alternează de-a lungul întregului lanț de cifre candidate.

Tablă de predare · Diagrama locală a cifrelor candidatului

Observați cifrele candidatului

Un lanț alternează legături de inferență puternice și slabe pentru a trece constrângerile de adevăr de la nod la nod.

Verificați starea

Începeți cu o legătură de inferență puternică verificată și verificați fiecare legătură și nod succesive.

Trage concluzia

Legăturile de inferență puternice și slabe alternează de-a lungul întregului lanț de cifre candidate.