Platon Sudoku · Pag-aralan ang Sudoku

Salungatan sa mga bahagi ng pagkukulay (Multi-Component Coloring Contradiction) · Hakbang-hakbang na halimbawa

Ang mga strong link ay nagbibigay kulay ng isang digit sa magkasalungat na estado sa loob ng bawat bahagi; ang mga ugnayan sa pagitan ng mga bahagi ay pumipigil kung aling mga estado ang maaaring magkakasamang mabuhay. Mag-alis ng kandidato na hindi kasama ng lahat ng pare-parehong pagtatalaga ng kulay.

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

Paano ito mahahanap

Kulayin ang bawat konektadong bahagi nang hiwalay, pagkatapos ay suriin ang mga cross-component na salungatan at mga target na nakikita ang bawat natitirang alternatibo.

Ano ang pinapayagan nito

Mag-alis ng kandidato na hindi kasama ng lahat ng pare-parehong pagtatalaga ng kulay.

Iwasan ang paghahalo

Huwag sumali sa magkahiwalay na bahagi na may hindi na-verify na malakas na link o ipagpalagay na may kulay na.

Hakbang-hakbang na halimbawa · Kumplikadong kulay

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 · Kumpirmahin ang simula ng parehong estado na grupo

“Salungatan sa mga bahagi ng pagkukulay (Multi-Component Coloring Contradiction)” — Pangalan ito ng app para sa sariling patunay na may maraming component, hindi hiwalay na HoDoKu technique na kapangalan nito. Bumubuo ang mga kandidato ng numerong 2 ng 4 magkakahiwalay na component ng pagkukulay. Sa pagpapalit-palit ng kulay sa strong links, nasa panig A ng component 2 ang R3C1=2, R8C2=2; pareho ang kanilang truth value at sila mismo ang target na mga kandidato R3C1=2, R8C2=2. Magkasalungat ang A at B sa bawat component; pinag-uugnay ng mga salungatan ang mga estado sa magkakaibang component.

Hakbang 2 · Ipagpalagay na ang target na estado ay totoo

Tratuhin ang buong parehong estado na grupo R3C1=2, R8C2=2 bilang isang estado at pansamantalang ipagpalagay na ito ay totoo. Sundin ang mga salungatan sa pagitan ng mga bahagi.

Hakbang 3 · Sundin ang bawat paglipat ng bahagi

1. R3C1=2 ay totoo, kaya ang nakikitang peer na R1C2=2 ay mali. Ang kabaligtaran ng A/B na estado na R1C9=2 sa pangkat na iyon ay totoo. 2. R1C9=2 ay totoo, kaya ang nakikitang peer na R5C9=2 ay mali. Ang kabaligtaran ng A/B na estado na R4C7=2, R5C6=2 sa pangkat na iyon ay totoo. 3. R4C7=2 ay totoo, kaya ang nakikitang peer na R4C4=2 ay mali. Ang kabaligtaran ng A/B na estado na R3C4=2 sa pangkat na iyon ay totoo. 4. R3C4=2 ay totoo, kaya ang nakikitang peer na R3C1=2 ay mali. Ang kabaligtaran ng A/B na estado na R8C1=2 sa pangkat na iyon ay totoo.

Hakbang 4 · Ang palagay ay pinipilit ang kabaligtaran nito

Ang pagpapalagay na R3C1=2, R8C2=2 kalaunan ay pinipilit ang R8C1=2, ang kabaligtaran na estado ng A/B sa parehong grupo. Ang parehong mga estado ay hindi maaaring totoo, kaya ang palagay ay mali.