Platon Sudoku · Învață sudoku
Colorare multiplă (Multi-Coloring) · Exemplu pas cu pas
Două componente de colorare separate pentru o cifră au fiecare stări de adevăr logice opuse A/B. Cifra candidată A din fiecare componentă o vede pe cealaltă, creând un conflict între componente. Eliminați cifra dintr-o țintă care vede o cifră candidată în fiecare alternativă opusă.
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
Două componente de colorare separate pentru o cifră au fiecare stări de adevăr logice opuse A/B. Cifra candidată A din fiecare componentă o vede pe cealaltă, creând un conflict între componente.
Cum să-l găsești
Construiți două rețele separate cu legături puternice, marcați stările lor de adevăr logic A/B și găsiți cifre candidate din diferite componente care se văd reciproc.
Ce permite
Eliminați cifra dintr-o țintă care vede o cifră candidată în fiecare alternativă opusă.
Evitați amestecul
Nu îmbina cele două componente într-un lanț de culori. Verificați legăturile de inferență puternice ale fiecărei componente și viziunea țintei asupra ambelor alternative.
Exemplu pas cu pas · Două componente
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 · Acesta este Multi Coloring
Această explicație acoperă HoDoKu Multi Colors Type 1: două componente colorate conțin un conflict între componente. cifra candidată 6 formează cele două componente separate de colorare. În cadrul fiecărei componente, A marcate cu un cerc și B marcate cu pătrat sunt stări de adevăr logice opuse. Păstrați ținta R7C2=6 la vedere.
● 1A: R2C2=6
■ 1B: R2C4=6
● 2A: R3C5=6
■ 2B: R7C5=6
Pas 2 · Inspectați componenta 1
Componenta de colorare 1: marcat cu cerc A = R2C2=6; marcat pătrat B = R2C4=6. A și B sunt stări de adevăr logice opuse și fiecare legătură puternică de inferență le unește în cadrul acestei componente.
● 1A: R2C2=6
■ 1B: R2C4=6
● 2A: R3C5=6
■ 2B: R7C5=6
Pas 3 · Inspectați componenta 2
Componenta de colorare 2: marcat cu cerc A = R3C5=6; marcat pătrat B = R7C5=6. A și B sunt stări de adevăr logice opuse și fiecare legătură puternică de inferență le unește în cadrul acestei componente.
● 1A: R2C2=6
■ 1B: R2C4=6
● 2A: R3C5=6
■ 2B: R7C5=6
Pas 4 · Găsiți un conflict între componente
R2C4=6 și R3C5=6 aparțin unor componente diferite, dar se văd unul pe celălalt în Bloc 3×3 2. Ele nu pot fi adevărate în același timp.
● 1A: R2C2=6
■ 1B: R2C4=6
● 2A: R3C5=6
■ 2B: R7C5=6
Pas 5 · Cel puțin o stare de adevăr logic opus este adevărată
Deoarece stările de adevăr logice conflictuale nu pot fi adevărate în același timp, cel puțin o stare de adevăr logic opus – R2C2=6 sau R7C5=6 – trebuie să fie adevărată.
● 1A: R2C2=6
■ 1B: R2C4=6
● 2A: R3C5=6
■ 2B: R7C5=6
Pas 6 · Ținta vede ambele alternative
Pas 7 · Eliminați cifra candidatului țintă
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