Platon Sudoku · Pag-aralan ang Sudoku

Nakapangkat na AIC para sa isang digit (Single-Digit Grouped AIC) · Hakbang-hakbang na halimbawa

Ang nakagrupong node ay nangangahulugang kahit isa sa ilang kandidato ay totoo; maaari itong lumahok sa isang alternating inference chain. Tanggalin ang isang target na nakikita ng mga pilit na endpoint ng chain.

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

Ang nakagrupong node ay nangangahulugang kahit isa sa ilang kandidato ay totoo; maaari itong lumahok sa isang alternating inference chain.

Paano ito mahahanap

Tingnan kung ang mga naka-grupong cell ay nagbabahagi ng kinakailangang rehiyon, pagkatapos ay i-trace ang malakas at mahinang mga link sa pamamagitan ng isa o higit pang mga node ng grupo.

Ano ang pinapayagan nito

Tanggalin ang isang target na nakikita ng mga pilit na endpoint ng chain.

Iwasan ang paghahalo

Ang isang tunay na grupo ay hindi nangangahulugang ang bawat miyembro ay totoo. Panatilihin ang OR kahulugan ng grupo kapag sinusunod ang kadena.

Hakbang-hakbang na halimbawa · Isang pangkat

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

Sa kahon 6, maaari lang pumunta ang 2 sa R4C7, R4C8, R5C8. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito.

Sa kahon 6, maaari lang pumunta ang 2 sa R4C7, R4C8, R5C8. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito. — Sa kahon 6, maaari lang pumunta ang 2 sa R4C7, R4C8, R5C8. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito.
G1: R4C8=2, R5C8=2

1: O pangkat A: kahit isang kandidato ang totoo

Hakbang 2 · Pangangatwiran

Sa column 5, maaari lang pumunta ang 2 sa R1C5, R4C5. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito.

Sa column 5, maaari lang pumunta ang 2 sa R1C5, R4C5. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito. — Sa column 5, maaari lang pumunta ang 2 sa R1C5, R4C5. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito.
G1: R4C8=2, R5C8=2

1: O pangkat A: kahit isang kandidato ang totoo

Hakbang 3 · Pangangatwiran

Sa column 9, maaari lang pumunta ang 2 sa R1C9, R8C9. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito.

Sa column 9, maaari lang pumunta ang 2 sa R1C9, R8C9. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito. — Sa column 9, maaari lang pumunta ang 2 sa R1C9, R8C9. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito.
G1: R4C8=2, R5C8=2

1: O pangkat A: kahit isang kandidato ang totoo

Hakbang 4 · Pangalanan ang OR mga grupo ng kandidato

Tinutukoy ng mga bracket na may numero at ng legend ang mga grupong ito: O grupo ng kandidato A = R4C8=2, R5C8=2. Bawat grupo ay isang lohikal na OR state: tama ang kahit isang kandidato sa loob nito, ngunit hindi nangangahulugang tama ang lahat ng miyembro.

Tinutukoy ng mga bracket na may numero at ng legend ang mga grupong ito: O grupo ng kandidato A = R4C8=2, R5C8=2. Bawat grupo ay isang lohikal na OR state: tama ang kahit isang kandidato sa loob nito, ngunit hindi nangangahulugang tama ang lahat ng miyembro. — Tinutukoy ng mga bracket na may numero at ng legend ang mga grupong ito: O grupo ng kandidato A = R4C8=2, R5C8=2. Bawat grupo ay isang lohikal na OR state: tama ang kahit isang kandidato sa loob nito, ngunit hindi nangangahulugang tama ang lahat ng miyembro.
G1: R4C8=2, R5C8=2

1: O pangkat A: kahit isang kandidato ang totoo

Hakbang 5 · Pangangatwiran

Branch 1: ipagpalagay na ang O grupo ng kandidato A ay mali.

Branch 1: ipagpalagay na ang O grupo ng kandidato A ay mali. — Branch 1: ipagpalagay na ang O grupo ng kandidato A ay mali.
G1: R4C8=2, R5C8=2

1: O pangkat A: kahit isang kandidato ang totoo

Hakbang 6 · Group malakas na link: pilitin ang kabilang panig

Case 1: Ang O grupo ng kandidato A ay mali, kaya pinipilit ng malakas na link ng grupo ang R4C7=2. Kung ito ay isang OR group, kahit isa sa mga kandidato nito ay totoo.

Case 1: Ang O grupo ng kandidato A ay mali, kaya pinipilit ng malakas na link ng grupo ang R4C7=2. Kung ito ay isang OR group, kahit isa sa mga kandidato nito ay totoo. — Case 1: Ang O grupo ng kandidato A ay mali, kaya pinipilit ng malakas na link ng grupo ang R4C7=2. Kung ito ay isang OR group, kahit isa sa mga kandidato nito ay totoo.
G1: R4C8=2, R5C8=2

1: O pangkat A: kahit isang kandidato ang totoo

Hakbang 7 · Group mahinang link: ibukod ang magkasalungat na bahagi

R4C7=2 ay totoo bilang isang chain state, kaya ang parehong eksklusibong bahagi na R4C5=2 ay mali.

R4C7=2 ay totoo bilang isang chain state, kaya ang parehong eksklusibong bahagi na R4C5=2 ay mali. — R4C7=2 ay totoo bilang isang chain state, kaya ang parehong eksklusibong bahagi na R4C5=2 ay mali.
G1: R4C8=2, R5C8=2

1: O pangkat A: kahit isang kandidato ang totoo

Hakbang 8 · Group: dapat manatili ang isang panig

R4C5=2, kaya pinipilit ng malakas na link ng grupo ang R1C5=2.

R4C5=2, kaya pinipilit ng malakas na link ng grupo ang R1C5=2. — R4C5=2, kaya pinipilit ng malakas na link ng grupo ang R1C5=2.
G1: R4C8=2, R5C8=2

1: O pangkat A: kahit isang kandidato ang totoo

Hakbang 9 · Group mahinang link: ibukod ang magkasalungat na bahagi

R1C5=2 ay totoo bilang isang chain state, kaya ang parehong eksklusibong bahagi na R1C9=2 ay mali.

R1C5=2 ay totoo bilang isang chain state, kaya ang parehong eksklusibong bahagi na R1C9=2 ay mali. — R1C5=2 ay totoo bilang isang chain state, kaya ang parehong eksklusibong bahagi na R1C9=2 ay mali.
G1: R4C8=2, R5C8=2

1: O pangkat A: kahit isang kandidato ang totoo

Hakbang 10 · Ang hindi direktang endpoint ay hindi kasama ang mga target

R8C9=2 ay totoo bilang endpoint state, kaya hindi nito kasama ang mga target.

R8C9=2 ay totoo bilang endpoint state, kaya hindi nito kasama ang mga target. — R8C9=2 ay totoo bilang endpoint state, kaya hindi nito kasama ang mga target.
G1: R4C8=2, R5C8=2

1: O pangkat A: kahit isang kandidato ang totoo

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.
G1: R4C8=2, R5C8=2

1: O pangkat A: kahit isang kandidato ang totoo

Hakbang 12 · Case 2: totoo ang unang endpoint

Ang unang endpoint na O grupo ng kandidato A ay totoo bilang isang OR state, kaya hindi nito kasama ang mga target.

Ang unang endpoint na O grupo ng kandidato A ay totoo bilang isang OR state, kaya hindi nito kasama ang mga target. — Ang unang endpoint na O grupo ng kandidato A ay totoo bilang isang OR state, kaya hindi nito kasama ang mga target.
G1: R4C8=2, R5C8=2

1: O pangkat A: kahit isang kandidato ang totoo

Hakbang 13 · Parehong endpoint case ay sumasang-ayon

Ang dalawang endpoint case ay nauubos ang mga alternatibo, at parehong hindi kasama ang R7C8=2, R8C8=2. Alisin ang mga ito pagkatapos na bawiin ang mga pansamantalang estado.

Ang dalawang endpoint case ay nauubos ang mga alternatibo, at parehong hindi kasama ang R7C8=2, R8C8=2. Alisin ang mga ito pagkatapos na bawiin ang mga pansamantalang estado. — Ang dalawang endpoint case ay nauubos ang mga alternatibo, at parehong hindi kasama ang R7C8=2, R8C8=2. Alisin ang mga ito pagkatapos na bawiin ang mga pansamantalang estado.
G1: R4C8=2, R5C8=2

1: O pangkat A: kahit isang kandidato ang totoo

Ano ang pinapayagan nito

Ang dalawang endpoint case ay nauubos ang mga alternatibo, at parehong hindi kasama ang R7C8=2, R8C8=2. Alisin ang mga ito pagkatapos na bawiin ang mga pansamantalang estado.

Nakapangkat na AIC para sa isang digit (Single-Digit Grouped AIC) · Tanggalin ang isang target na nakikita ng mga pilit na endpoint ng chain.

Hakbang-hakbang na halimbawa · Ilang grupo

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

Sa kahon 1, maaari lang pumunta ang 8 sa R2C2, R3C1. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito.

Sa kahon 1, maaari lang pumunta ang 8 sa R2C2, R3C1. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito. — Sa kahon 1, maaari lang pumunta ang 8 sa R2C2, R3C1. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: O pangkat A: kahit isang kandidato ang totoo · 2: O pangkat B: kahit isang kandidato ang totoo

Hakbang 2 · Pangangatwiran

Sa kahon 2, maaari lang pumunta ang 8 sa R1C6, R2C4, R2C5. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito.

Sa kahon 2, maaari lang pumunta ang 8 sa R1C6, R2C4, R2C5. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito. — Sa kahon 2, maaari lang pumunta ang 8 sa R1C6, R2C4, R2C5. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: O pangkat A: kahit isang kandidato ang totoo · 2: O pangkat B: kahit isang kandidato ang totoo

Hakbang 3 · Pangangatwiran

Sa row 8, maaari lang pumunta ang 8 sa R8C1, R8C2, R8C3, R8C6. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito.

Sa row 8, maaari lang pumunta ang 8 sa R8C1, R8C2, R8C3, R8C6. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito. — Sa row 8, maaari lang pumunta ang 8 sa R8C1, R8C2, R8C3, R8C6. Ang digit ay dapat lumitaw nang isang beses sa rehiyong ito.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: O pangkat A: kahit isang kandidato ang totoo · 2: O pangkat B: kahit isang kandidato ang totoo

Hakbang 4 · Pangalanan ang OR mga grupo ng kandidato

Tinutukoy ng mga bracket na may numero at ng legend ang mga grupong ito: O grupo ng kandidato A = R2C4=8, R2C5=8, O grupo ng kandidato B = R8C1=8, R8C2=8, R8C3=8. Bawat grupo ay isang lohikal na OR state: tama ang kahit isang kandidato sa loob nito, ngunit hindi nangangahulugang tama ang lahat ng miyembro.

Tinutukoy ng mga bracket na may numero at ng legend ang mga grupong ito: O grupo ng kandidato A = R2C4=8, R2C5=8, O grupo ng kandidato B = R8C1=8, R8C2=8, R8C3=8. Bawat grupo ay isang lohikal na OR state: tama ang kahit isang kandidato sa loob nito, ngunit hindi nangangahulugang tama ang lahat ng miyembro. — Tinutukoy ng mga bracket na may numero at ng legend ang mga grupong ito: O grupo ng kandidato A = R2C4=8, R2C5=8, O grupo ng kandidato B = R8C1=8, R8C2=8, R8C3=8. Bawat grupo ay isang lohikal na OR state: tama ang kahit isang kandidato sa loob nito, ngunit hindi nangangahulugang tama ang lahat ng miyembro.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: O pangkat A: kahit isang kandidato ang totoo · 2: O pangkat B: kahit isang kandidato ang totoo

Hakbang 5 · Pangangatwiran

Branch 1: ipagpalagay na ang R3C1=8 ay mali.

Branch 1: ipagpalagay na ang R3C1=8 ay mali. — Branch 1: ipagpalagay na ang R3C1=8 ay mali.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: O pangkat A: kahit isang kandidato ang totoo · 2: O pangkat B: kahit isang kandidato ang totoo

Hakbang 6 · Group malakas na link: pilitin ang kabilang panig

Case 1: Ang R3C1=8 ay mali, kaya pinipilit ng malakas na link ng grupo ang R2C2=8. Kung ito ay isang OR group, kahit isa sa mga kandidato nito ay totoo.

Case 1: Ang R3C1=8 ay mali, kaya pinipilit ng malakas na link ng grupo ang R2C2=8. Kung ito ay isang OR group, kahit isa sa mga kandidato nito ay totoo. — Case 1: Ang R3C1=8 ay mali, kaya pinipilit ng malakas na link ng grupo ang R2C2=8. Kung ito ay isang OR group, kahit isa sa mga kandidato nito ay totoo.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: O pangkat A: kahit isang kandidato ang totoo · 2: O pangkat B: kahit isang kandidato ang totoo

Hakbang 7 · Group mahinang link: ibukod ang magkasalungat na bahagi

R2C2=8 ay totoo bilang isang chain state, kaya ang parehong eksklusibong bahagi na R2C4=8, R2C5=8 ay mali.

R2C2=8 ay totoo bilang isang chain state, kaya ang parehong eksklusibong bahagi na R2C4=8, R2C5=8 ay mali. — R2C2=8 ay totoo bilang isang chain state, kaya ang parehong eksklusibong bahagi na R2C4=8, R2C5=8 ay mali.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: O pangkat A: kahit isang kandidato ang totoo · 2: O pangkat B: kahit isang kandidato ang totoo

Hakbang 8 · Group: dapat manatili ang isang panig

O grupo ng kandidato A, kaya pinipilit ng malakas na link ng grupo ang R1C6=8.

O grupo ng kandidato A, kaya pinipilit ng malakas na link ng grupo ang R1C6=8. — O grupo ng kandidato A, kaya pinipilit ng malakas na link ng grupo ang R1C6=8.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: O pangkat A: kahit isang kandidato ang totoo · 2: O pangkat B: kahit isang kandidato ang totoo

Hakbang 9 · Group mahinang link: ibukod ang magkasalungat na bahagi

R1C6=8 ay totoo bilang isang chain state, kaya ang parehong eksklusibong bahagi na R8C6=8 ay mali.

R1C6=8 ay totoo bilang isang chain state, kaya ang parehong eksklusibong bahagi na R8C6=8 ay mali. — R1C6=8 ay totoo bilang isang chain state, kaya ang parehong eksklusibong bahagi na R8C6=8 ay mali.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: O pangkat A: kahit isang kandidato ang totoo · 2: O pangkat B: kahit isang kandidato ang totoo

Hakbang 10 · Ang hindi direktang endpoint ay hindi kasama ang mga target

O grupo ng kandidato B ay totoo bilang endpoint state, kaya hindi nito kasama ang mga target.

O grupo ng kandidato B ay totoo bilang endpoint state, kaya hindi nito kasama ang mga target. — O grupo ng kandidato B ay totoo bilang endpoint state, kaya hindi nito kasama ang mga target.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: O pangkat A: kahit isang kandidato ang totoo · 2: O pangkat B: kahit isang kandidato ang totoo

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.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: O pangkat A: kahit isang kandidato ang totoo · 2: O pangkat B: kahit isang kandidato ang totoo

Hakbang 12 · Case 2: totoo ang unang endpoint

Ang unang endpoint na R3C1=8 ay totoo bilang isang OR state, kaya hindi nito kasama ang mga target.

Ang unang endpoint na R3C1=8 ay totoo bilang isang OR state, kaya hindi nito kasama ang mga target. — Ang unang endpoint na R3C1=8 ay totoo bilang isang OR state, kaya hindi nito kasama ang mga target.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: O pangkat A: kahit isang kandidato ang totoo · 2: O pangkat B: kahit isang kandidato ang totoo

Hakbang 13 · Parehong endpoint case ay sumasang-ayon

Ang dalawang endpoint case ay nauubos ang mga alternatibo, at parehong hindi kasama ang R9C1=8. Alisin ang mga ito pagkatapos na bawiin ang mga pansamantalang estado.

Ang dalawang endpoint case ay nauubos ang mga alternatibo, at parehong hindi kasama ang R9C1=8. Alisin ang mga ito pagkatapos na bawiin ang mga pansamantalang estado. — Ang dalawang endpoint case ay nauubos ang mga alternatibo, at parehong hindi kasama ang R9C1=8. Alisin ang mga ito pagkatapos na bawiin ang mga pansamantalang estado.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8

1: O pangkat A: kahit isang kandidato ang totoo · 2: O pangkat B: kahit isang kandidato ang totoo

Ano ang pinapayagan nito

Ang dalawang endpoint case ay nauubos ang mga alternatibo, at parehong hindi kasama ang R9C1=8. Alisin ang mga ito pagkatapos na bawiin ang mga pansamantalang estado.

Nakapangkat na AIC para sa isang digit (Single-Digit Grouped AIC) · Tanggalin ang isang target na nakikita ng mga pilit na endpoint ng chain.

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