Ang isang chain ng isang digit ay nagpapalit ng na-verify na malalakas at mahinang link, na ginagawang totoo ang kahit isang dulo. Tanggalin ang digit mula sa anumang target na nakikita ang parehong mga endpoint.
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.
Ang isang chain ng isang digit ay nagpapalit ng na-verify na malalakas at mahinang link, na ginagawang totoo ang kahit isang dulo.
Paano ito mahahanap
Magsimula sa isang malakas na link para sa isang digit, mga kahaliling uri ng link nang hindi nilalaktawan ang isang kandidato, at ang mga target na pagsubok na makikita mula sa magkabilang dulo.
Ano ang pinapayagan nito
Tanggalin ang digit mula sa anumang target na nakikita ang parehong mga endpoint.
Iwasan ang paghahalo
Kailangan ng strong link ng eksaktong dalawang kandidato sa rehiyon nito. Ang weak link ay nagsasabi lamang na hindi maaaring sabay na tama ang dalawang dulo.
Hakbang-hakbang na halimbawa · Maikling chain
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
Gamitin ang mga na-verify na kandidato na ipinapakita dito. Nananatiling may bisa ang mga naunang wastong pag-alis.
Gamitin ang mga na-verify na kandidato na ipinapakita dito. Nananatiling may bisa ang mga naunang wastong pag-alis.
Hakbang 2 · Pangangatwiran
Branch 1: ipagpalagay na ang R5C8=2 ay mali.
Branch 1: ipagpalagay na ang R5C8=2 ay mali.
Hakbang 3 · Pangangatwiran
R5C8=2. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 5. Samakatuwid, dapat totoo ang R5C4=2.
R5C8=2. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 5. Samakatuwid, dapat totoo ang R5C4=2.
Hakbang 4 · Pangangatwiran
R5C4=2. Alisin ang R2C4=2.
R5C4=2. Alisin ang R2C4=2.
Hakbang 5 · Pangangatwiran
R2C4=2. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa kahon 2. Samakatuwid, dapat totoo ang R1C5=2.
R2C4=2. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa kahon 2. Samakatuwid, dapat totoo ang R1C5=2.
Hakbang 6 · Pangangatwiran
R1C5=2. Alisin ang R1C9=2.
R1C5=2. Alisin ang R1C9=2.
Hakbang 7 · Pangangatwiran
R1C9=2, kaya pinipilit ang R8C9=2 sa column 9. Nakikita ng bawat target ang R8C9=2, kaya i-cross out ang R7C8=2, R8C8=2.
R1C9=2, kaya pinipilit ang R8C9=2 sa column 9. Nakikita ng bawat target ang R8C9=2, kaya i-cross out ang R7C8=2, R8C8=2.
Hakbang 8 · 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 9 · Pangangatwiran
Itakda ang R5C8=2. Nakikita ito ng bawat target, kaya i-cross out ang R7C8=2, R8C8=2.
Itakda ang R5C8=2. Nakikita ito ng bawat target, kaya i-cross out ang R7C8=2, R8C8=2.
Hakbang 10 · Konklusyon
Nauubos ng dalawang endpoint case ang lahat ng posibilidad at parehong pinuputol ang R7C8=2, R8C8=2. Bawiin ang mga pansamantalang estado, pagkatapos ay tanggalin ang mga kandidatong ito.
Nauubos ng dalawang endpoint case ang lahat ng posibilidad at parehong pinuputol ang R7C8=2, R8C8=2. Bawiin ang mga pansamantalang estado, pagkatapos ay tanggalin ang mga kandidatong ito.
Ano ang pinapayagan nito
Nauubos ng dalawang endpoint case ang lahat ng posibilidad at parehong pinuputol ang R7C8=2, R8C8=2. Bawiin ang mga pansamantalang estado, pagkatapos ay tanggalin ang mga kandidatong ito.
X-Chain · Tanggalin ang digit mula sa anumang target na nakikita ang parehong mga endpoint.
Hakbang-hakbang na halimbawa · Katamtamang chain
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
Gamitin ang mga na-verify na kandidato na ipinapakita dito. Nananatiling may bisa ang mga naunang wastong pag-alis.
Gamitin ang mga na-verify na kandidato na ipinapakita dito. Nananatiling may bisa ang mga naunang wastong pag-alis.
Hakbang 2 · Pangangatwiran
Branch 1: ipagpalagay na ang R1C3=7 ay mali.
Branch 1: ipagpalagay na ang R1C3=7 ay mali.
Hakbang 3 · Pangangatwiran
R1C3=7. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 1. Samakatuwid, dapat totoo ang R1C7=7.
R1C3=7. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 1. Samakatuwid, dapat totoo ang R1C7=7.
Hakbang 4 · Pangangatwiran
R1C7=7. Alisin ang R8C7=7.
R1C7=7. Alisin ang R8C7=7.
Hakbang 5 · Pangangatwiran
R8C7=7. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 8. Samakatuwid, dapat totoo ang R8C8=7.
R8C7=7. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 8. Samakatuwid, dapat totoo ang R8C8=7.
Hakbang 6 · Pangangatwiran
R8C8=7. Alisin ang R5C8=7.
R8C8=7. Alisin ang R5C8=7.
Hakbang 7 · Pangangatwiran
R5C8=7. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa kahon 6. Samakatuwid, dapat totoo ang R4C9=7.
R5C8=7. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa kahon 6. Samakatuwid, dapat totoo ang R4C9=7.
Hakbang 8 · Pangangatwiran
R4C9=7. Alisin ang R4C5=7.
R4C9=7. Alisin ang R4C5=7.
Hakbang 9 · Pangangatwiran
R4C5=7, kaya pinipilit ang R2C5=7 sa column 5. Nakikita ng bawat target ang R2C5=7, kaya i-cross out ang R2C3=7.
R4C5=7, kaya pinipilit ang R2C5=7 sa column 5. Nakikita ng bawat target ang R2C5=7, kaya i-cross out ang R2C3=7.
Hakbang 10 · 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 11 · Pangangatwiran
Itakda ang R1C3=7. Nakikita ito ng bawat target, kaya i-cross out ang R2C3=7.
Itakda ang R1C3=7. Nakikita ito ng bawat target, kaya i-cross out ang R2C3=7.
Hakbang 12 · Konklusyon
Nauubos ng dalawang endpoint case ang lahat ng posibilidad at parehong pinuputol ang R2C3=7. Bawiin ang mga pansamantalang estado, pagkatapos ay tanggalin ang mga kandidatong ito.
Nauubos ng dalawang endpoint case ang lahat ng posibilidad at parehong pinuputol ang R2C3=7. Bawiin ang mga pansamantalang estado, pagkatapos ay tanggalin ang mga kandidatong ito.
Ano ang pinapayagan nito
Nauubos ng dalawang endpoint case ang lahat ng posibilidad at parehong pinuputol ang R2C3=7. Bawiin ang mga pansamantalang estado, pagkatapos ay tanggalin ang mga kandidatong ito.
X-Chain · Tanggalin ang digit mula sa anumang target na nakikita ang parehong mga endpoint.
Hakbang-hakbang na halimbawa · Mahabang chain
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
Gamitin ang mga na-verify na kandidato na ipinapakita dito. Nananatiling may bisa ang mga naunang wastong pag-alis.
Gamitin ang mga na-verify na kandidato na ipinapakita dito. Nananatiling may bisa ang mga naunang wastong pag-alis.
Hakbang 2 · Pangangatwiran
Branch 1: ipagpalagay na ang R1C5=9 ay mali.
Branch 1: ipagpalagay na ang R1C5=9 ay mali.
Hakbang 3 · Pangangatwiran
R1C5=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 1. Samakatuwid, dapat totoo ang R1C3=9.
R1C5=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 1. Samakatuwid, dapat totoo ang R1C3=9.
Hakbang 4 · Pangangatwiran
R1C3=9. Alisin ang R3C1=9.
R1C3=9. Alisin ang R3C1=9.
Hakbang 5 · Pangangatwiran
R3C1=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 1. Samakatuwid, dapat totoo ang R5C1=9.
R3C1=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 1. Samakatuwid, dapat totoo ang R5C1=9.
Hakbang 6 · Pangangatwiran
R5C1=9. Alisin ang R6C3=9.
R5C1=9. Alisin ang R6C3=9.
Hakbang 7 · Pangangatwiran
R6C3=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 6. Samakatuwid, dapat totoo ang R6C7=9.
R6C3=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 6. Samakatuwid, dapat totoo ang R6C7=9.
Hakbang 8 · Pangangatwiran
R6C7=9. Alisin ang R5C8=9.
R6C7=9. Alisin ang R5C8=9.
Hakbang 9 · Pangangatwiran
R5C8=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 8. Samakatuwid, dapat totoo ang R9C8=9.
R5C8=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 8. Samakatuwid, dapat totoo ang R9C8=9.
Hakbang 10 · Pangangatwiran
R9C8=9. Alisin ang R9C2=9.
R9C8=9. Alisin ang R9C2=9.
Hakbang 11 · Pangangatwiran
R9C2=9, kaya pinipilit ang R8C2=9 sa column 2. Nakikita ng bawat target ang R8C2=9, kaya i-cross out ang R8C5=9.
R9C2=9, kaya pinipilit ang R8C2=9 sa column 2. Nakikita ng bawat target ang R8C2=9, kaya i-cross out ang R8C5=9.
Hakbang 12 · 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 13 · Pangangatwiran
Itakda ang R1C5=9. Nakikita ito ng bawat target, kaya i-cross out ang R8C5=9.
Itakda ang R1C5=9. Nakikita ito ng bawat target, kaya i-cross out ang R8C5=9.
Hakbang 14 · Konklusyon
Nauubos ng dalawang endpoint case ang lahat ng posibilidad at parehong pinuputol ang R8C5=9. Bawiin ang mga pansamantalang estado, pagkatapos ay tanggalin ang mga kandidatong ito.
Nauubos ng dalawang endpoint case ang lahat ng posibilidad at parehong pinuputol ang R8C5=9. Bawiin ang mga pansamantalang estado, pagkatapos ay tanggalin ang mga kandidatong ito.
Ano ang pinapayagan nito
Nauubos ng dalawang endpoint case ang lahat ng posibilidad at parehong pinuputol ang R8C5=9. Bawiin ang mga pansamantalang estado, pagkatapos ay tanggalin ang mga kandidatong ito.
X-Chain · Tanggalin ang digit mula sa anumang target na nakikita ang parehong mga endpoint.