Platon Games
Filipino

Platon Sudoku · Pag-aralan ang Sudoku

Network ng sapilitang hinuha (Forcing Net) · Hakbang-hakbang na halimbawa

A Forcing Net sangay at pinagsasama ang mga implikasyon ng kandidato. Maaari nitong pabulaanan ang isang palagay o patunayan ang isang karaniwang resulta sa mga alternatibo. Tanggalin ang isang tinanggihang kandidato o ilapat ang resulta na ibinahagi ng lahat ng kumpletong sangay.

Hinango ang araling ito sa mga materyal ng Platon Sudoku app. Basahin ang buong halimbawa rito, saka magpatuloy sa pag-aaral at pagsasanay sa app.

Tingnan sa Google Play

Kilalanin ang pattern

A Forcing Net sangay at pinagsasama ang mga implikasyon ng kandidato. Maaari nitong pabulaanan ang isang palagay o patunayan ang isang karaniwang resulta sa mga alternatibo.

Paano ito mahahanap

Subaybayan ang bawat premise sa pamamagitan ng branching network, suriin ang bawat link, at ihambing ang mga kontradiksyon o karaniwang mga endpoint.

Ano ang pinapayagan nito

Tanggalin ang isang tinanggihang kandidato o ilapat ang resulta na ibinahagi ng lahat ng kumpletong sangay.

Iwasan ang paghahalo

Huwag laktawan ang isang sangay o lituhin ang isang nakabahaging epekto sa isang epekto mula sa isang landas lamang.

Hakbang-hakbang na halimbawa · Contradiction

Nagsisimula ang halimbawang ito sa naka-save na gitnang posisyon. Kasama sa mga kandidato ang mga naunang lohikal na pag-aalis; hindi ito bagong awtomatikong tala.

Asul: batayan. Berde: konklusyon. Mga numerong may guhit: inalis na kandidato. Ang R1C1 ay hilera 1, hanay 1.

Hakbang 1 · Saan titingin

R1C3=7 ay tama o mali. Sinusuri ng graph ang Totoo ang R1C3=7; ang isang kontradiksyon ay nag-aalis ng estado na iyon at pinipilit ang Mali ang R1C3=7, kaya ang dalawang posibleng estado ay ganap na sakop. Ito ay isang Forcing Net, hindi isang Forcing Chain, dahil sumasanga o nagsasanib ang na-verify na dependency graph, sa halip na manatiling iisang linear na landas ng implikasyon. Ang ginalugad na sangay ay naglalaman ng 49 na-verify na mga node.

R1C3=7 ay tama o mali. Sinusuri ng graph ang Totoo ang R1C3=7; ang isang kontradiksyon ay nag-aalis ng estado na iyon at pinipilit ang Mali ang R1C3=7, kaya ang dalawang posibleng estado ay ganap na sakop. Ito ay isang Forcing Net, hindi isang Forcing Chain, dahil sumasanga o nagsasanib ang na-verify na dependency graph, sa halip na manatiling iisang linear na landas ng implikasyon. Ang ginalugad na sangay ay naglalaman ng 49 na-verify na mga node.
R1C3=7 ay tama o mali. Sinusuri ng graph ang Totoo ang R1C3=7; ang isang kontradiksyon ay nag-aalis ng estado na iyon at pinipilit ang Mali ang R1C3=7, kaya ang dalawang posibleng estado ay ganap na sakop. Ito ay isang Forcing Net, hindi isang Forcing Chain, dahil sumasanga o nagsasanib ang na-verify na dependency graph, sa halip na manatiling iisang linear na landas ng implikasyon. Ang ginalugad na sangay ay naglalaman ng 49 na-verify na mga node.
Hakbang 2 · Pangangatwiran

Branch 1: ipagpalagay na ang R1C3=7 ay totoo.

Branch 1: ipagpalagay na ang R1C3=7 ay totoo.
Branch 1: ipagpalagay na ang R1C3=7 ay totoo.
Hakbang 3 · Pangangatwiran

R1C3=7. Alisin ang {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.

R1C3=7. Alisin ang {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
R1C3=7. Alisin ang {R1C3=2, R1C3=9, R1C8=7, R2C1=7, R3C1=7, R8C3=7}.
Hakbang 4 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R8C3=3 ang tanging natitirang opsyon sa R8C3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R8C3=3 ang tanging natitirang opsyon sa R8C3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R8C3=3 ang tanging natitirang opsyon sa R8C3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 5 · Pangangatwiran

R8C3=3. Alisin ang R7C3=3.

R8C3=3. Alisin ang R7C3=3.
R8C3=3. Alisin ang R7C3=3.
Hakbang 6 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R7C4=3 ang tanging natitirang opsyon sa row 7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R7C4=3 ang tanging natitirang opsyon sa row 7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R7C4=3 ang tanging natitirang opsyon sa row 7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 7 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R8C2=7 ang tanging natitirang opsyon sa row 8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R8C2=7 ang tanging natitirang opsyon sa row 8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R8C2=7 ang tanging natitirang opsyon sa row 8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 8 · Pangangatwiran

R8C2=7. Alisin ang R8C2=8.

R8C2=7. Alisin ang R8C2=8.
R8C2=7. Alisin ang R8C2=8.
Hakbang 9 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R8C8=8 ang tanging natitirang opsyon sa row 8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R8C8=8 ang tanging natitirang opsyon sa row 8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R8C8=8 ang tanging natitirang opsyon sa row 8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 10 · Pangangatwiran

R8C8=8. Alisin ang R8C8=4.

R8C8=8. Alisin ang R8C8=4.
R8C8=8. Alisin ang R8C8=4.
Hakbang 11 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R6C1=7 ang tanging natitirang opsyon sa column 1. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R6C1=7 ang tanging natitirang opsyon sa column 1. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R6C1=7 ang tanging natitirang opsyon sa column 1. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 12 · Pangangatwiran

R6C1=7. Alisin ang R6C1=5.

R6C1=7. Alisin ang R6C1=5.
R6C1=7. Alisin ang R6C1=5.
Hakbang 13 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R3C8=4 ang tanging natitirang opsyon sa column 8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R3C8=4 ang tanging natitirang opsyon sa column 8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R3C8=4 ang tanging natitirang opsyon sa column 8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 14 · Pangangatwiran

R3C8=4. Alisin ang {R3C8=1, R3C8=6}.

R3C8=4. Alisin ang {R3C8=1, R3C8=6}.
R3C8=4. Alisin ang {R3C8=1, R3C8=6}.
Hakbang 15 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R3C1=2 ang tanging natitirang opsyon sa kahon 1. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R3C1=2 ang tanging natitirang opsyon sa kahon 1. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R3C1=2 ang tanging natitirang opsyon sa kahon 1. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 16 · Pangangatwiran

R3C1=2. Alisin ang R3C1=5.

R3C1=2. Alisin ang R3C1=5.
R3C1=2. Alisin ang R3C1=5.
Hakbang 17 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R9C7=4 ang tanging natitirang opsyon sa kahon 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R9C7=4 ang tanging natitirang opsyon sa kahon 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R9C7=4 ang tanging natitirang opsyon sa kahon 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 18 · Pangangatwiran

R9C7=4. Alisin ang R9C7=9.

R9C7=4. Alisin ang R9C7=9.
R9C7=4. Alisin ang R9C7=9.
Hakbang 19 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R7C9=9 ang tanging natitirang opsyon sa kahon 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R7C9=9 ang tanging natitirang opsyon sa kahon 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R7C9=9 ang tanging natitirang opsyon sa kahon 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 20 · Pangangatwiran

R3C8=4. Alisin ang R2C7=4.

R3C8=4. Alisin ang R2C7=4.
R3C8=4. Alisin ang R2C7=4.
Hakbang 21 · Pangangatwiran

R6C1=7. Alisin ang R6C7=7.

R6C1=7. Alisin ang R6C7=7.
R6C1=7. Alisin ang R6C7=7.
Hakbang 22 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R6C7=6 ang tanging natitirang opsyon sa R6C7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R6C7=6 ang tanging natitirang opsyon sa R6C7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R6C7=6 ang tanging natitirang opsyon sa R6C7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 23 · Pangangatwiran

R6C7=6. Alisin ang R3C7=6.

R6C7=6. Alisin ang R3C7=6.
R6C7=6. Alisin ang R3C7=6.
Hakbang 24 · Pangangatwiran

R7C4=3. Alisin ang R2C4=3.

R7C4=3. Alisin ang R2C4=3.
R7C4=3. Alisin ang R2C4=3.
Hakbang 25 · Pangangatwiran

R7C9=9. Alisin ang {R1C9=9, R7C3=9}.

R7C9=9. Alisin ang {R1C9=9, R7C3=9}.
R7C9=9. Alisin ang {R1C9=9, R7C3=9}.
Hakbang 26 · Pangangatwiran

R8C8=8. Alisin ang R1C8=8.

R8C8=8. Alisin ang R1C8=8.
R8C8=8. Alisin ang R1C8=8.
Hakbang 27 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R3C9=6 ang tanging natitirang opsyon sa row 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R3C9=6 ang tanging natitirang opsyon sa row 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R3C9=6 ang tanging natitirang opsyon sa row 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 28 · Pangangatwiran

R3C9=6. Alisin ang R3C9=1.

R3C9=6. Alisin ang R3C9=1.
R3C9=6. Alisin ang R3C9=1.
Hakbang 29 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R9C1=9 ang tanging natitirang opsyon sa row 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R9C1=9 ang tanging natitirang opsyon sa row 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R9C1=9 ang tanging natitirang opsyon sa row 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 30 · Pangangatwiran

R9C1=9. Alisin ang R9C1=5.

R9C1=9. Alisin ang R9C1=5.
R9C1=9. Alisin ang R9C1=5.
Hakbang 31 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R2C1=5 ang tanging natitirang opsyon sa column 1. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R2C1=5 ang tanging natitirang opsyon sa column 1. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R2C1=5 ang tanging natitirang opsyon sa column 1. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 32 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R2C3=9 ang tanging natitirang opsyon sa column 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R2C3=9 ang tanging natitirang opsyon sa column 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R2C3=9 ang tanging natitirang opsyon sa column 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 33 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R2C9=1 ang tanging natitirang opsyon sa kahon 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R2C9=1 ang tanging natitirang opsyon sa kahon 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R2C9=1 ang tanging natitirang opsyon sa kahon 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 34 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R1C8=5 ang tanging natitirang opsyon sa R1C8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R1C8=5 ang tanging natitirang opsyon sa R1C8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R1C8=5 ang tanging natitirang opsyon sa R1C8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 35 · Pangangatwiran

R1C8=5. Alisin ang R1C9=5.

R1C8=5. Alisin ang R1C9=5.
R1C8=5. Alisin ang R1C9=5.
Hakbang 36 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R1C9=8 ang tanging natitirang opsyon sa R1C9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R1C9=8 ang tanging natitirang opsyon sa R1C9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R1C9=8 ang tanging natitirang opsyon sa R1C9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 37 · Pangangatwiran

R1C9=8. Alisin ang R2C7=8.

R1C9=8. Alisin ang R2C7=8.
R1C9=8. Alisin ang R2C7=8.
Hakbang 38 · Pangangatwiran

R2C1=5. Alisin ang R2C4=5.

R2C1=5. Alisin ang R2C4=5.
R2C1=5. Alisin ang R2C4=5.
Hakbang 39 · Pangangatwiran

R2C3=9. Alisin ang R2C7=9.

R2C3=9. Alisin ang R2C7=9.
R2C3=9. Alisin ang R2C7=9.
Hakbang 40 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R2C7=7 ang tanging natitirang opsyon sa R2C7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R2C7=7 ang tanging natitirang opsyon sa R2C7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R2C7=7 ang tanging natitirang opsyon sa R2C7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 41 · Pangangatwiran

R2C7=7. Alisin ang R2C4=7.

R2C7=7. Alisin ang R2C4=7.
R2C7=7. Alisin ang R2C4=7.
Hakbang 42 · Pangangatwiran

R2C9=1. Alisin ang R2C4=1.

R2C9=1. Alisin ang R2C4=1.
R2C9=1. Alisin ang R2C4=1.
Hakbang 43 · Pangangatwiran

Ang pagpapalagay na ito ay hindi nag-iiwan ng posibleng halaga o posisyon sa R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Ang isang Sudoku cell at bawat nawawalang digit sa isang rehiyon ay dapat may opsyon. Imposible ang pagpapalagay.

Ang pagpapalagay na ito ay hindi nag-iiwan ng posibleng halaga o posisyon sa R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Ang isang Sudoku cell at bawat nawawalang digit sa isang rehiyon ay dapat may opsyon. Imposible ang pagpapalagay.
Ang pagpapalagay na ito ay hindi nag-iiwan ng posibleng halaga o posisyon sa R2C4: {R2C4=1, R2C4=3, R2C4=5, R2C4=7}. Ang isang Sudoku cell at bawat nawawalang digit sa isang rehiyon ay dapat may opsyon. Imposible ang pagpapalagay.
Hakbang 44 · Bawiin ang nakaraang pagpuno ng parihaba

Bawiin ang pagpapalagay na ito at ang mga kahihinatnan nito. Bumalik sa hindi nabagong snapshot ng kandidato bago suriin ang susunod na posibilidad.

Bawiin ang pagpapalagay na ito at ang mga kahihinatnan nito. Bumalik sa hindi nabagong snapshot ng kandidato bago suriin ang susunod na posibilidad.
Bawiin ang pagpapalagay na ito at ang mga kahihinatnan nito. Bumalik sa hindi nabagong snapshot ng kandidato bago suriin ang susunod na posibilidad.
Hakbang 45 · Konklusyon

R1C3=7 dahil hindi ito totoo sa pattern na ito.

R1C3=7 dahil hindi ito totoo sa pattern na ito.
R1C3=7 dahil hindi ito totoo sa pattern na ito.

Ano ang pinapayagan nito

R1C3=7 dahil hindi ito totoo sa pattern na ito.

Network ng sapilitang hinuha (Forcing Net) · Tanggalin ang isang tinanggihang kandidato o ilapat ang resulta na ibinahagi ng lahat ng kumpletong sangay.
Network ng sapilitang hinuha (Forcing Net) · Tanggalin ang isang tinanggihang kandidato o ilapat ang resulta na ibinahagi ng lahat ng kumpletong sangay.

Hakbang-hakbang na halimbawa · Karaniwang resulta

Nagsisimula ang halimbawang ito sa naka-save na gitnang posisyon. Kasama sa mga kandidato ang mga naunang lohikal na pag-aalis; hindi ito bagong awtomatikong tala.

Asul: batayan. Berde: konklusyon. Mga numerong may guhit: inalis na kandidato. Ang R1C1 ay hilera 1, hanay 1.

Hakbang 1 · Saan titingin

Ang root set R7C5=2, R7C5=4, R7C5=9 ay naglalaman ng bawat posibleng pagsisimula sa R7C5, kaya ang mga sanga ng ugat ay kumpleto. Ito ay isang Forcing Net, hindi isang Forcing Chain, dahil sumasanga o nagsasanib ang na-verify na dependency graph, sa halip na manatiling iisang linear na landas ng implikasyon. Ang dependency graph ay naglalaman ng 58 na-verify na mga node sa mga 3 na mga sanga ng ugat. Ang karaniwang resulta upang suriin ay Totoo ang R3C6=2.

Ang root set R7C5=2, R7C5=4, R7C5=9 ay naglalaman ng bawat posibleng pagsisimula sa R7C5, kaya ang mga sanga ng ugat ay kumpleto. Ito ay isang Forcing Net, hindi isang Forcing Chain, dahil sumasanga o nagsasanib ang na-verify na dependency graph, sa halip na manatiling iisang linear na landas ng implikasyon. Ang dependency graph ay naglalaman ng 58 na-verify na mga node sa mga 3 na mga sanga ng ugat. Ang karaniwang resulta upang suriin ay Totoo ang R3C6=2.
Ang root set R7C5=2, R7C5=4, R7C5=9 ay naglalaman ng bawat posibleng pagsisimula sa R7C5, kaya ang mga sanga ng ugat ay kumpleto. Ito ay isang Forcing Net, hindi isang Forcing Chain, dahil sumasanga o nagsasanib ang na-verify na dependency graph, sa halip na manatiling iisang linear na landas ng implikasyon. Ang dependency graph ay naglalaman ng 58 na-verify na mga node sa mga 3 na mga sanga ng ugat. Ang karaniwang resulta upang suriin ay Totoo ang R3C6=2.
Hakbang 2 · Pangangatwiran

Branch 1: ipagpalagay na ang R7C5=2 ay totoo.

Branch 1: ipagpalagay na ang R7C5=2 ay totoo.
Branch 1: ipagpalagay na ang R7C5=2 ay totoo.
Hakbang 3 · Pangangatwiran

R7C5=2. Alisin ang R3C5=2.

R7C5=2. Alisin ang R3C5=2.
R7C5=2. Alisin ang R3C5=2.
Hakbang 4 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R3C6=2 ang tanging natitirang opsyon sa row 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R3C6=2 ang tanging natitirang opsyon sa row 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R3C6=2 ang tanging natitirang opsyon sa row 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 5 · Bawiin ang nakaraang pagpuno ng parihaba

Bawiin ang pagpapalagay na ito at ang mga kahihinatnan nito. Bumalik sa hindi nabagong snapshot ng kandidato bago suriin ang susunod na posibilidad.

Bawiin ang pagpapalagay na ito at ang mga kahihinatnan nito. Bumalik sa hindi nabagong snapshot ng kandidato bago suriin ang susunod na posibilidad.
Bawiin ang pagpapalagay na ito at ang mga kahihinatnan nito. Bumalik sa hindi nabagong snapshot ng kandidato bago suriin ang susunod na posibilidad.
Hakbang 6 · Pangangatwiran

Branch 2: ipagpalagay na ang R7C5=4 ay totoo.

Branch 2: ipagpalagay na ang R7C5=4 ay totoo.
Branch 2: ipagpalagay na ang R7C5=4 ay totoo.
Hakbang 7 · Pangangatwiran

R7C5=4. Alisin ang R8C5=4.

R7C5=4. Alisin ang R8C5=4.
R7C5=4. Alisin ang R8C5=4.
Hakbang 8 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R8C5=2 ang tanging natitirang opsyon sa R8C5. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R8C5=2 ang tanging natitirang opsyon sa R8C5. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R8C5=2 ang tanging natitirang opsyon sa R8C5. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 9 · Pangangatwiran

R8C5=2. Alisin ang R3C5=2.

R8C5=2. Alisin ang R3C5=2.
R8C5=2. Alisin ang R3C5=2.
Hakbang 10 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R3C6=2 ang tanging natitirang opsyon sa row 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R3C6=2 ang tanging natitirang opsyon sa row 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R3C6=2 ang tanging natitirang opsyon sa row 3. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 11 · Bawiin ang nakaraang pagpuno ng parihaba

Bawiin ang pagpapalagay na ito at ang mga kahihinatnan nito. Bumalik sa hindi nabagong snapshot ng kandidato bago suriin ang susunod na posibilidad.

Bawiin ang pagpapalagay na ito at ang mga kahihinatnan nito. Bumalik sa hindi nabagong snapshot ng kandidato bago suriin ang susunod na posibilidad.
Bawiin ang pagpapalagay na ito at ang mga kahihinatnan nito. Bumalik sa hindi nabagong snapshot ng kandidato bago suriin ang susunod na posibilidad.
Hakbang 12 · Pangangatwiran

Branch 3: ipagpalagay na ang R7C5=9 ay totoo.

Branch 3: ipagpalagay na ang R7C5=9 ay totoo.
Branch 3: ipagpalagay na ang R7C5=9 ay totoo.
Hakbang 13 · Pangangatwiran

R7C5=9. Alisin ang {R7C7=9, R7C8=9, R7C9=9}.

R7C5=9. Alisin ang {R7C7=9, R7C8=9, R7C9=9}.
R7C5=9. Alisin ang {R7C7=9, R7C8=9, R7C9=9}.
Hakbang 14 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R7C8=7 ang tanging natitirang opsyon sa R7C8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R7C8=7 ang tanging natitirang opsyon sa R7C8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R7C8=7 ang tanging natitirang opsyon sa R7C8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 15 · Pangangatwiran

R7C8=7. Alisin ang {R7C9=7, R9C7=7, R9C8=7}.

R7C8=7. Alisin ang {R7C9=7, R9C7=7, R9C8=7}.
R7C8=7. Alisin ang {R7C9=7, R9C7=7, R9C8=7}.
Hakbang 16 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R7C9=8 ang tanging natitirang opsyon sa R7C9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R7C9=8 ang tanging natitirang opsyon sa R7C9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R7C9=8 ang tanging natitirang opsyon sa R7C9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 17 · Pangangatwiran

R7C9=8. Alisin ang {R7C7=8, R8C7=8, R9C7=8}.

R7C9=8. Alisin ang {R7C7=8, R8C7=8, R9C7=8}.
R7C9=8. Alisin ang {R7C7=8, R8C7=8, R9C7=8}.
Hakbang 18 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R9C1=7 ang tanging natitirang opsyon sa row 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R9C1=7 ang tanging natitirang opsyon sa row 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R9C1=7 ang tanging natitirang opsyon sa row 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 19 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R4C7=8 ang tanging natitirang opsyon sa column 7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R4C7=8 ang tanging natitirang opsyon sa column 7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R4C7=8 ang tanging natitirang opsyon sa column 7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 20 · Pangangatwiran

R4C7=8. Alisin ang R4C7=5.

R4C7=8. Alisin ang R4C7=5.
R4C7=8. Alisin ang R4C7=5.
Hakbang 21 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R4C9=7 ang tanging natitirang opsyon sa column 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R4C9=7 ang tanging natitirang opsyon sa column 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R4C9=7 ang tanging natitirang opsyon sa column 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 22 · Pangangatwiran

R4C9=7. Alisin ang R4C9=9.

R4C9=7. Alisin ang R4C9=9.
R4C9=7. Alisin ang R4C9=9.
Hakbang 23 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R6C9=9 ang tanging natitirang opsyon sa column 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R6C9=9 ang tanging natitirang opsyon sa column 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R6C9=9 ang tanging natitirang opsyon sa column 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 24 · Pangangatwiran

R6C9=9. Alisin ang R6C9=1.

R6C9=9. Alisin ang R6C9=1.
R6C9=9. Alisin ang R6C9=1.
Hakbang 25 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R5C7=1 ang tanging natitirang opsyon sa kahon 6. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R5C7=1 ang tanging natitirang opsyon sa kahon 6. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R5C7=1 ang tanging natitirang opsyon sa kahon 6. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 26 · Pangangatwiran

R5C7=1. Alisin ang {R5C7=5, R5C7=7}.

R5C7=1. Alisin ang {R5C7=5, R5C7=7}.
R5C7=1. Alisin ang {R5C7=5, R5C7=7}.
Hakbang 27 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R4C8=5 ang tanging natitirang opsyon sa kahon 6. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R4C8=5 ang tanging natitirang opsyon sa kahon 6. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R4C8=5 ang tanging natitirang opsyon sa kahon 6. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 28 · Pangangatwiran

R4C8=5. Alisin ang {R4C5=5, R8C8=5}.

R4C8=5. Alisin ang {R4C5=5, R8C8=5}.
R4C8=5. Alisin ang {R4C5=5, R8C8=5}.
Hakbang 29 · Pangangatwiran

R5C7=1. Alisin ang {R2C7=1, R5C1=1}.

R5C7=1. Alisin ang {R2C7=1, R5C1=1}.
R5C7=1. Alisin ang {R2C7=1, R5C1=1}.
Hakbang 30 · Pangangatwiran

R9C1=7. Alisin ang R5C1=7.

R9C1=7. Alisin ang R5C1=7.
R9C1=7. Alisin ang R5C1=7.
Hakbang 31 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R5C2=7 ang tanging natitirang opsyon sa row 5. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R5C2=7 ang tanging natitirang opsyon sa row 5. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R5C2=7 ang tanging natitirang opsyon sa row 5. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 32 · Pangangatwiran

R5C2=7. Alisin ang R5C2=3.

R5C2=7. Alisin ang R5C2=3.
R5C2=7. Alisin ang R5C2=3.
Hakbang 33 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R8C7=5 ang tanging natitirang opsyon sa row 8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R8C7=5 ang tanging natitirang opsyon sa row 8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R8C7=5 ang tanging natitirang opsyon sa row 8. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 34 · Pangangatwiran

R8C7=5. Alisin ang {R8C7=2, R8C7=6}.

R8C7=5. Alisin ang {R8C7=2, R8C7=6}.
R8C7=5. Alisin ang {R8C7=2, R8C7=6}.
Hakbang 35 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R1C1=1 ang tanging natitirang opsyon sa column 1. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R1C1=1 ang tanging natitirang opsyon sa column 1. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R1C1=1 ang tanging natitirang opsyon sa column 1. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 36 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R7C7=6 ang tanging natitirang opsyon sa column 7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R7C7=6 ang tanging natitirang opsyon sa column 7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R7C7=6 ang tanging natitirang opsyon sa column 7. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 37 · Pangangatwiran

R7C7=6. Alisin ang R7C7=2.

R7C7=6. Alisin ang R7C7=2.
R7C7=6. Alisin ang R7C7=2.
Hakbang 38 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R9C7=2 ang tanging natitirang opsyon sa kahon 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R9C7=2 ang tanging natitirang opsyon sa kahon 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R9C7=2 ang tanging natitirang opsyon sa kahon 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 39 · Pangangatwiran

R9C7=2. Alisin ang R9C7=9.

R9C7=2. Alisin ang R9C7=9.
R9C7=2. Alisin ang R9C7=9.
Hakbang 40 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R9C8=9 ang tanging natitirang opsyon sa kahon 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R9C8=9 ang tanging natitirang opsyon sa kahon 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R9C8=9 ang tanging natitirang opsyon sa kahon 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 41 · Pangangatwiran

R9C8=9. Alisin ang R9C8=3.

R9C8=9. Alisin ang R9C8=3.
R9C8=9. Alisin ang R9C8=3.
Hakbang 42 · Pangangatwiran

R1C1=1. Alisin ang R2C3=1.

R1C1=1. Alisin ang R2C3=1.
R1C1=1. Alisin ang R2C3=1.
Hakbang 43 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R2C5=1 ang tanging natitirang opsyon sa row 2. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R2C5=1 ang tanging natitirang opsyon sa row 2. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R2C5=1 ang tanging natitirang opsyon sa row 2. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 44 · Pangangatwiran

R2C5=1. Alisin ang R2C5=5.

R2C5=1. Alisin ang R2C5=5.
R2C5=1. Alisin ang R2C5=5.
Hakbang 45 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R9C3=3 ang tanging natitirang opsyon sa row 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R9C3=3 ang tanging natitirang opsyon sa row 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R9C3=3 ang tanging natitirang opsyon sa row 9. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 46 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R5C5=5 ang tanging natitirang opsyon sa column 5. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R5C5=5 ang tanging natitirang opsyon sa column 5. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R5C5=5 ang tanging natitirang opsyon sa column 5. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 47 · Pangangatwiran

R5C5=5. Alisin ang R5C5=3.

R5C5=5. Alisin ang R5C5=3.
R5C5=5. Alisin ang R5C5=3.
Hakbang 48 · Pangangatwiran

R9C3=3. Alisin ang R5C3=3.

R9C3=3. Alisin ang R5C3=3.
R9C3=3. Alisin ang R5C3=3.
Hakbang 49 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R5C6=3 ang tanging natitirang opsyon sa row 5. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R5C6=3 ang tanging natitirang opsyon sa row 5. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R5C6=3 ang tanging natitirang opsyon sa row 5. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 50 · Pangangatwiran

R5C6=3. Alisin ang R3C6=3.

R5C6=3. Alisin ang R3C6=3.
R5C6=3. Alisin ang R3C6=3.
Hakbang 51 · Pangangatwiran

Pagkatapos ng mga naunang pagbubukod, ang R3C6=2 ang tanging natitirang opsyon sa R3C6. Ito ay pinilit sa ilalim ng pagpapalagay na ito.

Pagkatapos ng mga naunang pagbubukod, ang R3C6=2 ang tanging natitirang opsyon sa R3C6. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Pagkatapos ng mga naunang pagbubukod, ang R3C6=2 ang tanging natitirang opsyon sa R3C6. Ito ay pinilit sa ilalim ng pagpapalagay na ito.
Hakbang 52 · Pangangatwiran

Ang bawat posibleng sangay ay umaabot sa parehong katotohanan: Totoo ang R3C6=2. Matapos bawiin ang lahat ng mga pagpapalagay, ang katotohanang ito ay nananatiling tiyak.

Ang bawat posibleng sangay ay umaabot sa parehong katotohanan: Totoo ang R3C6=2. Matapos bawiin ang lahat ng mga pagpapalagay, ang katotohanang ito ay nananatiling tiyak.
Ang bawat posibleng sangay ay umaabot sa parehong katotohanan: Totoo ang R3C6=2. Matapos bawiin ang lahat ng mga pagpapalagay, ang katotohanang ito ay nananatiling tiyak.
Hakbang 53 · Konklusyon

R3C6=2 ay pinipilit ng pattern na ito.

R3C6=2 ay pinipilit ng pattern na ito.
R3C6=2 ay pinipilit ng pattern na ito.

Ano ang pinapayagan nito

R3C6=2 ay pinipilit ng pattern na ito.

Network ng sapilitang hinuha (Forcing Net) · Tanggalin ang isang tinanggihang kandidato o ilapat ang resulta na ibinahagi ng lahat ng kumpletong sangay.
Network ng sapilitang hinuha (Forcing Net) · Tanggalin ang isang tinanggihang kandidato o ilapat ang resulta na ibinahagi ng lahat ng kumpletong sangay.

Pagsasanay

Hinango ang araling ito sa mga materyal ng Platon Sudoku app. Basahin ang buong halimbawa rito, saka magpatuloy sa pag-aaral at pagsasanay sa app.

Tingnan sa Google Play