Ang isang alternating inference chain ay nag-uugnay sa mga estado ng kandidato na may na-verify na malakas at mahinang mga link. Ang mga bukas at saradong kadena ay may natatanging konklusyon. Gamitin ang na-verify na kinalabasan: mag-alis ng kandidato o maglagay ng digit kapag imposible ang kabaligtaran nito.
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 alternating inference chain ay nag-uugnay sa mga estado ng kandidato na may na-verify na malakas at mahinang mga link. Ang mga bukas at saradong kadena ay may natatanging konklusyon.
Paano ito mahahanap
Subaybayan ang bawat implikasyon mula sa isang dulo, nagre-record ng malakas at mahinang mga transition at kung ang chain ay nagsasara o sumasalungat sa isang endpoint.
Ano ang pinapayagan nito
Gamitin ang na-verify na kinalabasan: mag-alis ng kandidato o maglagay ng digit kapag imposible ang kabaligtaran nito.
Iwasan ang paghahalo
Ang strong link ay nangangahulugang kung mali ang isang dulo, tama ang kabilang dulo. Ang weak link ay nangangahulugang kung tama ang isang dulo, mali ang kabilang dulo. Huwag baligtarin ang mga implikasyong ito; suriin ang ugnayan ng mga dulo bago magbigay ng konklusyon.
Hakbang-hakbang na halimbawa · Hindi Tuloy · alisin
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 · Basahin ang AIC bago ito sundan
Ang Nice Loop / AIC lesson na ito ay gumagamit ng HoDoKu's ordinary candidate-node family: hindi tuloy-tuloy na elimination at placement, bukas na Type 1 at Type 2 chain, at tuluy-tuloy na loops. Magsimula sa Totoo ang R1C6=1 at siyasatin ang R1C6=1. Sa column 6, row 2, column 9, row 7, kahon 5, row 5, column 1, row 9, column 8, ang isang tuloy-tuloy na linya ay nangangahulugang kahit isang dulo ay totoo; ang putol-putol na link ay nangangahulugan na hindi maaaring sabay na totoo ang dalawang dulo. Sundin ang isang naka-highlight na kaugnayan sa isang pagkakataon.
Ang Nice Loop / AIC lesson na ito ay gumagamit ng HoDoKu's ordinary candidate-node family: hindi tuloy-tuloy na elimination at placement, bukas na Type 1 at Type 2 chain, at tuluy-tuloy na loops. Magsimula sa Totoo ang R1C6=1 at siyasatin ang R1C6=1. Sa column 6, row 2, column 9, row 7, kahon 5, row 5, column 1, row 9, column 8, ang isang tuloy-tuloy na linya ay nangangahulugang kahit isang dulo ay totoo; ang putol-putol na link ay nangangahulugan na hindi maaaring sabay na totoo ang dalawang dulo. Sundin ang isang naka-highlight na kaugnayan sa isang pagkakataon.
Hakbang 2 · Assumption: simulan ang alternating chain
Branch 1: ipagpalagay na ang R1C6=1 ay totoo.
Branch 1: ipagpalagay na ang R1C6=1 ay totoo.
Hakbang 3 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R1C6=1. Alisin ang R1C6=8.
R1C6=1. Alisin ang R1C6=8.
Hakbang 4 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R1C6=8. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 6. Samakatuwid, dapat totoo ang R2C6=8.
R1C6=8. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 6. Samakatuwid, dapat totoo ang R2C6=8.
Hakbang 5 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R2C6=8. Alisin ang R2C6=6.
R2C6=8. Alisin ang R2C6=6.
Hakbang 6 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R2C6=6. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 2. Samakatuwid, dapat totoo ang R2C9=6.
R2C6=6. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 2. Samakatuwid, dapat totoo ang R2C9=6.
Hakbang 7 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R2C9=6. Alisin ang R2C9=3.
R2C9=6. Alisin ang R2C9=3.
Hakbang 8 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R2C9=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 9. Samakatuwid, dapat totoo ang R7C9=3.
R2C9=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 9. Samakatuwid, dapat totoo ang R7C9=3.
Hakbang 9 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R7C9=3. Alisin ang R7C6=3.
R7C9=3. Alisin ang R7C6=3.
Hakbang 10 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R7C6=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 6. Samakatuwid, dapat totoo ang R6C6=3.
R7C6=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 6. Samakatuwid, dapat totoo ang R6C6=3.
Hakbang 11 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R6C6=3. Alisin ang R5C4=3.
R6C6=3. Alisin ang R5C4=3.
Hakbang 12 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R5C4=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 5. Samakatuwid, dapat totoo ang R5C1=3.
R5C4=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 5. Samakatuwid, dapat totoo ang R5C1=3.
Hakbang 13 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R5C1=3. Alisin ang R9C1=3.
R5C1=3. Alisin ang R9C1=3.
Hakbang 14 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R9C1=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 9. Samakatuwid, dapat totoo ang R9C8=3.
R9C1=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 9. Samakatuwid, dapat totoo ang R9C8=3.
Hakbang 15 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R9C8=3. Alisin ang R2C8=3.
R9C8=3. Alisin ang R2C8=3.
Hakbang 16 · Parehong cell: pilitin ang ibang kandidato
R2C8=3. Sa parehong cell R2C8, ang ibang kandidatong R2C8=8 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
R2C8=3. Sa parehong cell R2C8, ang ibang kandidatong R2C8=8 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
Hakbang 17 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R2C8=8. Alisin ang R2C6=8.
R2C8=8. Alisin ang R2C6=8.
Hakbang 18 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R2C6=8. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 6. Samakatuwid, dapat totoo ang R1C6=8.
R2C6=8. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 6. Samakatuwid, dapat totoo ang R1C6=8.
Hakbang 19 · Ang chain ay umabot sa isang kontradiksyon
Ang pagbabawas ay sumasalungat sa "Totoo ang R1C6=1", kaya Mali ang R1C6=1.
Ang pagbabawas ay sumasalungat sa "Totoo ang R1C6=1", kaya Mali ang R1C6=1.
Hakbang 20 · 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 21 · AIC buod
Nagsimula ang alternating chain sa "Totoo ang R1C6=1" at sinundan ang may label na strong at weak na relasyon, kabilang ang parehong-cell switch kung kinakailangan, hanggang sa isang kontradiksyon. Samakatuwid Mali ang R1C6=1. Lahat ng pansamantalang estado ay binawi.
Nagsimula ang alternating chain sa "Totoo ang R1C6=1" at sinundan ang may label na strong at weak na relasyon, kabilang ang parehong-cell switch kung kinakailangan, hanggang sa isang kontradiksyon. Samakatuwid Mali ang R1C6=1. Lahat ng pansamantalang estado ay binawi.
Ano ang pinapayagan nito
Nagsimula ang alternating chain sa "Totoo ang R1C6=1" at sinundan ang may label na strong at weak na relasyon, kabilang ang parehong-cell switch kung kinakailangan, hanggang sa isang kontradiksyon. Samakatuwid Mali ang R1C6=1. Lahat ng pansamantalang estado ay binawi.
Nice Loop / AIC · Gamitin ang na-verify na kinalabasan: mag-alis ng kandidato o maglagay ng digit kapag imposible ang kabaligtaran nito.
Hakbang-hakbang na halimbawa · Hindi Tuloy · lugar
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 · Basahin ang AIC bago ito sundan
Ang Nice Loop / AIC lesson na ito ay gumagamit ng HoDoKu's ordinary candidate-node family: hindi tuloy-tuloy na elimination at placement, bukas na Type 1 at Type 2 chain, at tuluy-tuloy na loops. Magsimula sa Mali ang R1C1=4 at siyasatin ang R1C1=4. Sa row 1, column 2, kahon 4, column 3, ang isang tuloy-tuloy na linya ay nangangahulugang kahit isang dulo ay totoo; ang putol-putol na link ay nangangahulugan na hindi maaaring sabay na totoo ang dalawang dulo. Sundin ang isang naka-highlight na kaugnayan sa isang pagkakataon.
Ang Nice Loop / AIC lesson na ito ay gumagamit ng HoDoKu's ordinary candidate-node family: hindi tuloy-tuloy na elimination at placement, bukas na Type 1 at Type 2 chain, at tuluy-tuloy na loops. Magsimula sa Mali ang R1C1=4 at siyasatin ang R1C1=4. Sa row 1, column 2, kahon 4, column 3, ang isang tuloy-tuloy na linya ay nangangahulugang kahit isang dulo ay totoo; ang putol-putol na link ay nangangahulugan na hindi maaaring sabay na totoo ang dalawang dulo. Sundin ang isang naka-highlight na kaugnayan sa isang pagkakataon.
Hakbang 2 · Assumption: simulan ang alternating chain
Branch 1: ipagpalagay na ang R1C1=4 ay mali.
Branch 1: ipagpalagay na ang R1C1=4 ay mali.
Hakbang 3 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R1C1=4. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 1. Samakatuwid, dapat totoo ang R1C3=4.
R1C1=4. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 1. Samakatuwid, dapat totoo ang R1C3=4.
Hakbang 4 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R1C3=4. Alisin ang R1C3=5.
R1C3=4. Alisin ang R1C3=5.
Hakbang 5 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R1C3=5. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 1. Samakatuwid, dapat totoo ang R1C2=5.
R1C3=5. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 1. Samakatuwid, dapat totoo ang R1C2=5.
Hakbang 6 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R1C2=5. Alisin ang R1C2=9.
R1C2=5. Alisin ang R1C2=9.
Hakbang 7 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R1C2=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 2. Samakatuwid, dapat totoo ang R5C2=9.
R1C2=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 2. Samakatuwid, dapat totoo ang R5C2=9.
Hakbang 8 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R5C2=9. Alisin ang R4C3=9.
R5C2=9. Alisin ang R4C3=9.
Hakbang 9 · Parehong cell: pilitin ang ibang kandidato
R4C3=9. Sa parehong cell R4C3, ang ibang kandidatong R4C3=4 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
R4C3=9. Sa parehong cell R4C3, ang ibang kandidatong R4C3=4 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
Hakbang 10 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R4C3=4. Alisin ang R1C3=4.
R4C3=4. Alisin ang R1C3=4.
Hakbang 11 · Ang chain ay umabot sa isang kontradiksyon
Ang pagbabawas ay sumasalungat sa "Mali ang R1C1=4", kaya Totoo ang R1C1=4.
Ang pagbabawas ay sumasalungat sa "Mali ang R1C1=4", kaya Totoo ang R1C1=4.
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 · AIC buod
Nagsimula ang alternating chain sa "Mali ang R1C1=4" at sinundan ang may label na strong at weak na relasyon, kabilang ang parehong-cell switch kung kinakailangan, hanggang sa isang kontradiksyon. Samakatuwid Totoo ang R1C1=4. Lahat ng pansamantalang estado ay binawi.
Nagsimula ang alternating chain sa "Mali ang R1C1=4" at sinundan ang may label na strong at weak na relasyon, kabilang ang parehong-cell switch kung kinakailangan, hanggang sa isang kontradiksyon. Samakatuwid Totoo ang R1C1=4. Lahat ng pansamantalang estado ay binawi.
Ano ang pinapayagan nito
Nagsimula ang alternating chain sa "Mali ang R1C1=4" at sinundan ang may label na strong at weak na relasyon, kabilang ang parehong-cell switch kung kinakailangan, hanggang sa isang kontradiksyon. Samakatuwid Totoo ang R1C1=4. Lahat ng pansamantalang estado ay binawi.
Nice Loop / AIC · Gamitin ang na-verify na kinalabasan: mag-alis ng kandidato o maglagay ng digit kapag imposible ang kabaligtaran nito.
Hakbang-hakbang na halimbawa · Uri 1
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 · Basahin ang AIC bago ito sundan
Ang Nice Loop / AIC lesson na ito ay gumagamit ng HoDoKu's ordinary candidate-node family: hindi tuloy-tuloy na elimination at placement, bukas na Type 1 at Type 2 chain, at tuluy-tuloy na loops. Magsimula sa Mali ang R1C6=2 at siyasatin ang R1C8=2, R1C9=2, R2C4=2. Sa column 6, row 2, ang isang tuloy-tuloy na linya ay nangangahulugang kahit isang dulo ay totoo; ang putol-putol na link ay nangangahulugan na hindi maaaring sabay na totoo ang dalawang dulo. Sundin ang isang naka-highlight na kaugnayan sa isang pagkakataon.
Ang Nice Loop / AIC lesson na ito ay gumagamit ng HoDoKu's ordinary candidate-node family: hindi tuloy-tuloy na elimination at placement, bukas na Type 1 at Type 2 chain, at tuluy-tuloy na loops. Magsimula sa Mali ang R1C6=2 at siyasatin ang R1C8=2, R1C9=2, R2C4=2. Sa column 6, row 2, ang isang tuloy-tuloy na linya ay nangangahulugang kahit isang dulo ay totoo; ang putol-putol na link ay nangangahulugan na hindi maaaring sabay na totoo ang dalawang dulo. Sundin ang isang naka-highlight na kaugnayan sa isang pagkakataon.
Hakbang 2 · Assumption: simulan ang alternating chain
Branch 1: ipagpalagay na ang R1C6=2 ay mali.
Branch 1: ipagpalagay na ang R1C6=2 ay mali.
Hakbang 3 · Parehong cell: pilitin ang ibang kandidato
R1C6=2. Sa parehong cell R1C6, ang ibang kandidatong R1C6=1 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
R1C6=2. Sa parehong cell R1C6, ang ibang kandidatong R1C6=1 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
Hakbang 4 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R1C6=1. Alisin ang R6C6=1.
R1C6=1. Alisin ang R6C6=1.
Hakbang 5 · Parehong cell: pilitin ang ibang kandidato
R6C6=1. Sa parehong cell R6C6, ang ibang kandidatong R6C6=6 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
R6C6=1. Sa parehong cell R6C6, ang ibang kandidatong R6C6=6 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
Hakbang 6 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R6C6=6. Alisin ang R2C6=6.
R6C6=6. Alisin ang R2C6=6.
Hakbang 7 · Parehong cell: pilitin ang ibang kandidato
R2C6=6. Sa parehong cell R2C6, ang ibang kandidatong R2C6=7 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
R2C6=6. Sa parehong cell R2C6, ang ibang kandidatong R2C6=7 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
Hakbang 8 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R2C6=7. Alisin ang R2C8=7.
R2C6=7. Alisin ang R2C8=7.
Hakbang 9 · Parehong cell: pilitin ang ibang kandidato
R2C8=7. Sa parehong cell R2C8, ang ibang kandidatong R2C8=2 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
R2C8=7. Sa parehong cell R2C8, ang ibang kandidatong R2C8=2 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
Hakbang 10 · AIC buod
Kahit isa sa mga endpoint na R1C6=2 at R2C8=2 na may parehong digit ay dapat totoo. Nakikita ng bawat target na R1C8=2, R1C9=2, R2C4=2 ang dalawang endpoint, kaya hindi maaaring totoo ang alinmang target.
Kahit isa sa mga endpoint na R1C6=2 at R2C8=2 na may parehong digit ay dapat totoo. Nakikita ng bawat target na R1C8=2, R1C9=2, R2C4=2 ang dalawang endpoint, kaya hindi maaaring totoo ang alinmang target.
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.
Hakbang 12 · AIC buod
I-withdraw ang pansamantalang endpoint case. Permanenteng inaalis ng Type 1 AIC ang R1C8=2, R1C9=2, R2C4=2, dahil nakikita ng bawat target ang parehong R1C6=2 at R2C8=2.
I-withdraw ang pansamantalang endpoint case. Permanenteng inaalis ng Type 1 AIC ang R1C8=2, R1C9=2, R2C4=2, dahil nakikita ng bawat target ang parehong R1C6=2 at R2C8=2.
Ano ang pinapayagan nito
I-withdraw ang pansamantalang endpoint case. Permanenteng inaalis ng Type 1 AIC ang R1C8=2, R1C9=2, R2C4=2, dahil nakikita ng bawat target ang parehong R1C6=2 at R2C8=2.
Nice Loop / AIC · Gamitin ang na-verify na kinalabasan: mag-alis ng kandidato o maglagay ng digit kapag imposible ang kabaligtaran nito.
Hakbang-hakbang na halimbawa · Uri 2
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 · Basahin ang AIC bago ito sundan
Ang Nice Loop / AIC lesson na ito ay gumagamit ng HoDoKu's ordinary candidate-node family: hindi tuloy-tuloy na elimination at placement, bukas na Type 1 at Type 2 chain, at tuluy-tuloy na loops. Magsimula sa Mali ang R1C8=9 at siyasatin ang R4C8=9. Sa row 1, column 7, kahon 6, column 8, row 3, column 6, row 5, column 4, row 6, column 9, row 4, ang isang tuloy-tuloy na linya ay nangangahulugang kahit isang dulo ay totoo; ang putol-putol na link ay nangangahulugan na hindi maaaring sabay na totoo ang dalawang dulo. Sundin ang isang naka-highlight na kaugnayan sa isang pagkakataon.
Ang Nice Loop / AIC lesson na ito ay gumagamit ng HoDoKu's ordinary candidate-node family: hindi tuloy-tuloy na elimination at placement, bukas na Type 1 at Type 2 chain, at tuluy-tuloy na loops. Magsimula sa Mali ang R1C8=9 at siyasatin ang R4C8=9. Sa row 1, column 7, kahon 6, column 8, row 3, column 6, row 5, column 4, row 6, column 9, row 4, ang isang tuloy-tuloy na linya ay nangangahulugang kahit isang dulo ay totoo; ang putol-putol na link ay nangangahulugan na hindi maaaring sabay na totoo ang dalawang dulo. Sundin ang isang naka-highlight na kaugnayan sa isang pagkakataon.
Hakbang 2 · Assumption: simulan ang alternating chain
Branch 1: ipagpalagay na ang R1C8=9 ay mali.
Branch 1: ipagpalagay na ang R1C8=9 ay mali.
Hakbang 3 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R1C8=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 1. Samakatuwid, dapat totoo ang R1C7=9.
R1C8=9. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 1. Samakatuwid, dapat totoo ang R1C7=9.
Hakbang 4 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R1C7=9. Alisin ang R5C7=9.
R1C7=9. Alisin ang R5C7=9.
Hakbang 5 · Parehong cell: pilitin ang ibang kandidato
R5C7=9. Sa parehong cell R5C7, ang ibang kandidatong R5C7=2 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
R5C7=9. Sa parehong cell R5C7, ang ibang kandidatong R5C7=2 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
Hakbang 6 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R5C7=2. Alisin ang R6C8=2.
R5C7=2. Alisin ang R6C8=2.
Hakbang 7 · Parehong cell: pilitin ang ibang kandidato
R6C8=2. Sa parehong cell R6C8, ang ibang kandidatong R6C8=1 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
R6C8=2. Sa parehong cell R6C8, ang ibang kandidatong R6C8=1 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
Hakbang 8 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R6C8=1. Alisin ang R3C8=1.
R6C8=1. Alisin ang R3C8=1.
Hakbang 9 · Parehong cell: pilitin ang ibang kandidato
R3C8=1. Sa parehong cell R3C8, ang ibang kandidatong R3C8=6 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
R3C8=1. Sa parehong cell R3C8, ang ibang kandidatong R3C8=6 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
Hakbang 10 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R3C8=6. Alisin ang R3C6=6.
R3C8=6. Alisin ang R3C6=6.
Hakbang 11 · Parehong cell: pilitin ang ibang kandidato
R3C6=6. Sa parehong cell R3C6, ang ibang kandidatong R3C6=4 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
R3C6=6. Sa parehong cell R3C6, ang ibang kandidatong R3C6=4 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
Hakbang 12 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R3C6=4. Alisin ang R5C6=4.
R3C6=4. Alisin ang R5C6=4.
Hakbang 13 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R5C6=4. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 5. Samakatuwid, dapat totoo ang R5C4=4.
R5C6=4. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 5. Samakatuwid, dapat totoo ang R5C4=4.
Hakbang 14 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R5C4=4. Alisin ang R5C4=3.
R5C4=4. Alisin ang R5C4=3.
Hakbang 15 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R5C4=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 4. Samakatuwid, dapat totoo ang R6C4=3.
R5C4=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 4. Samakatuwid, dapat totoo ang R6C4=3.
Hakbang 16 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R6C4=3. Alisin ang R6C9=3.
R6C4=3. Alisin ang R6C9=3.
Hakbang 17 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R6C9=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 9. Samakatuwid, dapat totoo ang R4C9=3.
R6C9=3. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 9. Samakatuwid, dapat totoo ang R4C9=3.
Hakbang 18 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R4C9=3. Alisin ang R4C9=7.
R4C9=3. Alisin ang R4C9=7.
Hakbang 19 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R4C9=7. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 4. Samakatuwid, dapat totoo ang R4C8=7.
R4C9=7. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 4. Samakatuwid, dapat totoo ang R4C8=7.
Hakbang 20 · AIC buod
Ang mga peer na endpoint na R1C8=9 at R4C8=7 ay may iba't ibang digit. Ang bawat minarkahang cross-candidate na R4C8=9 ay gagawing mali ang parehong mga endpoint, kaya alisin ito.
Ang mga peer na endpoint na R1C8=9 at R4C8=7 ay may iba't ibang digit. Ang bawat minarkahang cross-candidate na R4C8=9 ay gagawing mali ang parehong mga endpoint, kaya alisin ito.
Hakbang 21 · 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 22 · AIC buod
I-withdraw ang pansamantalang endpoint case. Permanenteng inaalis ng Type 2 AIC ang mga cross-candidate na R4C8=9 sa pagitan ng R1C8=9 at R4C8=7.
I-withdraw ang pansamantalang endpoint case. Permanenteng inaalis ng Type 2 AIC ang mga cross-candidate na R4C8=9 sa pagitan ng R1C8=9 at R4C8=7.
Ano ang pinapayagan nito
I-withdraw ang pansamantalang endpoint case. Permanenteng inaalis ng Type 2 AIC ang mga cross-candidate na R4C8=9 sa pagitan ng R1C8=9 at R4C8=7.
Nice Loop / AIC · Gamitin ang na-verify na kinalabasan: mag-alis ng kandidato o maglagay ng digit kapag imposible ang kabaligtaran nito.
Hakbang-hakbang na halimbawa · Tuloy-tuloy na loop
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 · Basahin ang AIC bago ito sundan
Ang Nice Loop / AIC lesson na ito ay gumagamit ng HoDoKu's ordinary candidate-node family: hindi tuloy-tuloy na elimination at placement, bukas na Type 1 at Type 2 chain, at tuluy-tuloy na loops. Magsimula sa Mali ang R9C3=6 at siyasatin ang R9C3=5. Sa column 3, row 5, column 8, row 9, ang isang tuloy-tuloy na linya ay nangangahulugang kahit isang dulo ay totoo; ang putol-putol na link ay nangangahulugan na hindi maaaring sabay na totoo ang dalawang dulo. Sundin ang isang naka-highlight na kaugnayan sa isang pagkakataon.
Ang Nice Loop / AIC lesson na ito ay gumagamit ng HoDoKu's ordinary candidate-node family: hindi tuloy-tuloy na elimination at placement, bukas na Type 1 at Type 2 chain, at tuluy-tuloy na loops. Magsimula sa Mali ang R9C3=6 at siyasatin ang R9C3=5. Sa column 3, row 5, column 8, row 9, ang isang tuloy-tuloy na linya ay nangangahulugang kahit isang dulo ay totoo; ang putol-putol na link ay nangangahulugan na hindi maaaring sabay na totoo ang dalawang dulo. Sundin ang isang naka-highlight na kaugnayan sa isang pagkakataon.
Hakbang 2 · Assumption: simulan ang alternating chain
Piliin lang ang R9C3=6 bilang simula ng pagbabasa ng closed loop na ito. Ito ay hindi isang pagsubok na pagpapalagay; babalik dito ang alternating loop.
Piliin lang ang R9C3=6 bilang simula ng pagbabasa ng closed loop na ito. Ito ay hindi isang pagsubok na pagpapalagay; babalik dito ang alternating loop.
Hakbang 3 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R9C3=6. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 3. Samakatuwid, dapat totoo ang R5C3=6.
R9C3=6. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa column 3. Samakatuwid, dapat totoo ang R5C3=6.
Hakbang 4 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R5C3=6. Alisin ang R5C8=6.
R5C3=6. Alisin ang R5C8=6.
Hakbang 5 · Parehong cell: pilitin ang ibang kandidato
R5C8=6. Sa parehong cell R5C8, ang ibang kandidatong R5C8=8 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
R5C8=6. Sa parehong cell R5C8, ang ibang kandidatong R5C8=8 ay pinilit na totoo sa ilalim ng kasalukuyang pagpapalagay.
Hakbang 6 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R5C8=8. Alisin ang R9C8=8.
R5C8=8. Alisin ang R9C8=8.
Hakbang 7 · Malakas na kaugnayan: ang kabilang dulo ay pinilit
R9C8=8. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 9. Samakatuwid, dapat totoo ang R9C3=8.
R9C8=8. Magkasama ang dalawang panig na ito ay naglalaman ng bawat natitirang opsyon sa row 9. Samakatuwid, dapat totoo ang R9C3=8.
Hakbang 8 · Mahina ang kaugnayan: magkasalungat na mga kandidato
R9C3=8. Alisin ang R9C3=6.
R9C3=8. Alisin ang R9C3=6.
Hakbang 9 · AIC buod
Nagsasara ang chain bilang tuluy-tuloy na alternating loop. Ang bawat mahinang kaugnayan sa loop ay samakatuwid ay malakas, na nag-aalis ng R9C3=5 mula sa apektadong cell o bahay.
Nagsasara ang chain bilang tuluy-tuloy na alternating loop. Ang bawat mahinang kaugnayan sa loop ay samakatuwid ay malakas, na nag-aalis ng R9C3=5 mula sa apektadong cell o bahay.
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 · AIC buod
Ang loop traversal ay kumpleto na; bawiin ang mga pansamantalang estado nito at permanenteng alisin ang R9C3=5.
Ang loop traversal ay kumpleto na; bawiin ang mga pansamantalang estado nito at permanenteng alisin ang R9C3=5.
Ano ang pinapayagan nito
Ang loop traversal ay kumpleto na; bawiin ang mga pansamantalang estado nito at permanenteng alisin ang R9C3=5.
Nice Loop / AIC · Gamitin ang na-verify na kinalabasan: mag-alis ng kandidato o maglagay ng digit kapag imposible ang kabaligtaran nito.