Kadena ng sapilitang hinuha (Forcing Chain) · Hakbang-hakbang na halimbawa
Isang kumpletong hanay ng mga alternatibong kandidato ay sinusundan sa pamamagitan ng magkahiwalay na linear implication chain. Panatilihin lamang ang isang placement o elimination na ibinabahagi ng bawat mabubuhay na 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.
Isang kumpletong hanay ng mga alternatibong kandidato ay sinusundan sa pamamagitan ng magkahiwalay na linear implication chain.
Paano ito mahahanap
Pumili ng tama/mali split o lahat ng posisyon ng isang digit sa isang rehiyon; sundin ang bawat sangay sa na-verify na kahihinatnan nito.
Ano ang pinapayagan nito
Panatilihin lamang ang isang placement o elimination na ibinabahagi ng bawat mabubuhay na sangay.
Iwasan ang paghahalo
Ang isang sangay na nakakaabot ng resulta ay hindi sapat; dapat saklawin ng mga panimulang alternatibo ang lahat ng posibilidad.
Hakbang-hakbang na halimbawa · Dalawang sangay
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 karaniwang resulta upang patunayan ay R1C2=7; ang switch ng sangay ay R1C2=5. Ang sinumang kandidato ay tama o mali, kaya sinasaklaw ng dalawang sangay na ito ang bawat posibilidad. Kung pareho silang umabot sa karaniwang resulta, ang resulta ay sapilitang.
Ang karaniwang resulta upang patunayan ay R1C2=7; ang switch ng sangay ay R1C2=5. Ang sinumang kandidato ay tama o mali, kaya sinasaklaw ng dalawang sangay na ito ang bawat posibilidad. Kung pareho silang umabot sa karaniwang resulta, ang resulta ay sapilitang.
Hakbang 2 · Pangangatwiran
Branch 1: ipagpalagay na ang R1C2=5 ay totoo.
Branch 1: ipagpalagay na ang R1C2=5 ay totoo.
Hakbang 3 · Pangangatwiran
R1C2=5. Alisin ang R1C2=7.
R1C2=5. Alisin ang R1C2=7.
Hakbang 4 · 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.
Hakbang 5 · Pangangatwiran
Branch 2: ipagpalagay na ang R1C2=5 ay mali.
Branch 2: ipagpalagay na ang R1C2=5 ay mali.
Hakbang 6 · Pangangatwiran
R1C2=5. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 1. Samakatuwid, dapat totoo ang R1C5=5.
R1C2=5. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 1. Samakatuwid, dapat totoo ang R1C5=5.
Hakbang 7 · Pangangatwiran
R1C5=5. Alisin ang R2C5=5 mula sa column 5.
R1C5=5. Alisin ang R2C5=5 mula sa column 5.
Hakbang 8 · Pangangatwiran
R2C5=5. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 2. Samakatuwid, dapat totoo ang R2C8=5.
R2C5=5. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 2. Samakatuwid, dapat totoo ang R2C8=5.
Hakbang 9 · Pangangatwiran
R2C8=5. Alisin ang R2C8=9.
R2C8=5. Alisin ang R2C8=9.
Hakbang 10 · Pangangatwiran
R2C8=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 2. Samakatuwid, dapat totoo ang R2C4=9.
R2C8=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 2. Samakatuwid, dapat totoo ang R2C4=9.
Hakbang 11 · Pangangatwiran
R2C4=9. Alisin ang R1C4=9 mula sa column 4.
R2C4=9. Alisin ang R1C4=9 mula sa column 4.
Hakbang 12 · Pangangatwiran
R1C4=9. R1C4 na lang ang natitira sa R1C4=7, kaya dapat totoo ito.
R1C4=9. R1C4 na lang ang natitira sa R1C4=7, kaya dapat totoo ito.
Hakbang 13 · Pangangatwiran
R1C4=7. Alisin ang R1C2=7 mula sa row 1.
R1C4=7. Alisin ang R1C2=7 mula sa row 1.
Hakbang 14 · Pangangatwiran
Ang bawat posibleng sangay ay umaabot sa parehong katotohanan: Mali ang R1C2=7. Matapos bawiin ang lahat ng mga pagpapalagay, ang katotohanang ito ay nananatiling tiyak.
Ang bawat posibleng sangay ay umaabot sa parehong katotohanan: Mali ang R1C2=7. Matapos bawiin ang lahat ng mga pagpapalagay, ang katotohanang ito ay nananatiling tiyak.
Hakbang 15 · Konklusyon
Ang na-verify na resulta ay Mali ang R1C2=7. Ang lahat ng pansamantalang pagpapalagay ay binawi.
Ang na-verify na resulta ay Mali ang R1C2=7. Ang lahat ng pansamantalang pagpapalagay ay binawi.
Ano ang pinapayagan nito
Ang na-verify na resulta ay Mali ang R1C2=7. Ang lahat ng pansamantalang pagpapalagay ay binawi.
Kadena ng sapilitang hinuha (Forcing Chain) · Panatilihin lamang ang isang placement o elimination na ibinabahagi ng bawat mabubuhay na sangay.
Hakbang-hakbang na halimbawa · Maraming sangay
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 mga ugat na R2C4=2, R2C4=3, R2C4=6, R2C4=7 ay lahat ng posibleng kandidato sa R2C4. Sundin ang bawat isa bilang isang hiwalay na linear implication chain; kung ang bawat ugat ay umabot sa R2C6=3, ang resulta ay sapilitang. Ang maramihang mga ugat lamang ay hindi ginagawa itong isang Forcing Net.
Ang mga ugat na R2C4=2, R2C4=3, R2C4=6, R2C4=7 ay lahat ng posibleng kandidato sa R2C4. Sundin ang bawat isa bilang isang hiwalay na linear implication chain; kung ang bawat ugat ay umabot sa R2C6=3, ang resulta ay sapilitang. Ang maramihang mga ugat lamang ay hindi ginagawa itong isang Forcing Net.
Hakbang 2 · Pangangatwiran
Branch 1: ipagpalagay na ang R2C4=2 ay totoo.
Branch 1: ipagpalagay na ang R2C4=2 ay totoo.
Hakbang 3 · Pangangatwiran
R2C4=2. Alisin ang R2C4=3.
R2C4=2. Alisin ang R2C4=3.
Hakbang 4 · Pangangatwiran
R2C4=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 2. Samakatuwid, dapat totoo ang R2C6=3.
R2C4=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 2. Samakatuwid, dapat totoo ang R2C6=3.
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.
Hakbang 6 · Pangangatwiran
Branch 2: ipagpalagay na ang R2C4=3 ay totoo.
Branch 2: ipagpalagay na ang R2C4=3 ay totoo.
Hakbang 7 · Pangangatwiran
R2C4=3. Alisin ang R2C4=6.
R2C4=3. Alisin ang R2C4=6.
Hakbang 8 · Pangangatwiran
R2C4=6. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa kahon 2. Samakatuwid, dapat totoo ang R1C5=6.
R2C4=6. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa kahon 2. Samakatuwid, dapat totoo ang R1C5=6.
Hakbang 9 · Pangangatwiran
R1C5=6. Alisin ang R4C5=6 mula sa column 5.
R1C5=6. Alisin ang R4C5=6 mula sa column 5.
Hakbang 10 · Pangangatwiran
R4C5=6. R4C5 na lang ang natitira sa R4C5=3, kaya dapat totoo ito.
R4C5=6. R4C5 na lang ang natitira sa R4C5=3, kaya dapat totoo ito.
Hakbang 11 · Pangangatwiran
R4C5=3. Alisin ang R6C6=3 mula sa kahon 5.
R4C5=3. Alisin ang R6C6=3 mula sa kahon 5.
Hakbang 12 · Pangangatwiran
R6C6=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 6. Samakatuwid, dapat totoo ang R2C6=3.
R6C6=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 6. Samakatuwid, dapat totoo ang R2C6=3.
Hakbang 13 · 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.
Hakbang 14 · Pangangatwiran
Branch 3: ipagpalagay na ang R2C4=6 ay totoo.
Branch 3: ipagpalagay na ang R2C4=6 ay totoo.
Hakbang 15 · Pangangatwiran
R2C4=6. Alisin ang R2C4=3.
R2C4=6. Alisin ang R2C4=3.
Hakbang 16 · Pangangatwiran
R2C4=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 2. Samakatuwid, dapat totoo ang R2C6=3.
R2C4=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 2. Samakatuwid, dapat totoo ang R2C6=3.
Hakbang 17 · 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.
Hakbang 18 · Pangangatwiran
Branch 4: ipagpalagay na ang R2C4=7 ay totoo.
Branch 4: ipagpalagay na ang R2C4=7 ay totoo.
Hakbang 19 · Pangangatwiran
R2C4=7. Alisin ang R2C4=3.
R2C4=7. Alisin ang R2C4=3.
Hakbang 20 · Pangangatwiran
R2C4=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 2. Samakatuwid, dapat totoo ang R2C6=3.
R2C4=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 2. Samakatuwid, dapat totoo ang R2C6=3.
Hakbang 21 · Pangangatwiran
Ang bawat posibleng sangay ay umaabot sa parehong katotohanan: Totoo ang R2C6=3. Matapos bawiin ang lahat ng mga pagpapalagay, ang katotohanang ito ay nananatiling tiyak.
Ang bawat posibleng sangay ay umaabot sa parehong katotohanan: Totoo ang R2C6=3. Matapos bawiin ang lahat ng mga pagpapalagay, ang katotohanang ito ay nananatiling tiyak.
Hakbang 22 · Konklusyon
Ang na-verify na resulta ay Totoo ang R2C6=3. Ang lahat ng pansamantalang pagpapalagay ay binawi.
Ang na-verify na resulta ay Totoo ang R2C6=3. Ang lahat ng pansamantalang pagpapalagay ay binawi.
Ano ang pinapayagan nito
Ang na-verify na resulta ay Totoo ang R2C6=3. Ang lahat ng pansamantalang pagpapalagay ay binawi.
Kadena ng sapilitang hinuha (Forcing Chain) · Panatilihin lamang ang isang placement o elimination na ibinabahagi ng bawat mabubuhay na sangay.