Alternating Inference Chain (AIC)
Almashinuvchi Isbot Zanjiri yani AIC Sudokuda zanjirlarning umumiy shakli. Uning elementlari nomzodlar, har bitta hujrada raqam, ikkita turdagi bogʻlanishlar orqali birlashtirilib. Kuchli bogʻlanish ikkita nomzodning kamasi bittasi toʻgʻri ekanligini aytadi: ular birlikkda raqamning yagona ikkita oʻrni, yoki hujrayning yagona ikkita nomzodi. Zaʻif bogʻlanish koʻpi bilan bittasi toʻgʻri ekanligini aytadi: bir xil raqam birbiri koʻrgan hujralarда, yoki bir xil hujradagi ikkita raqam. AIC kuchli va zaʻif bogʻlanishlarni ketma-ket qoʻllaydi va kuchli bogʻlanish bilan boshlang va tugatadi, shuning uchun kamasi bitta uchi nomzod toʻgʻri. Ikkala uchi ayni raqam boʻlsa, ikki uchni ham koʻrgan har bir hujray oʻsha raqamni yo'qotadi. X-Chain faqat bitta raqamni, XY-Chain faqat ikkita nomzodga ega hujralarni qoʻllaydi; AIC ikkalarni aralash qilishi mumkin. Bu Bare Sudoku da Usta texnikasi.
Qachon qoʻllanadi
Bir raqamli zanjirlar va ikkita nomzodga ega hujralar zanjiri hech narsa topmaganda. Aralash zanjirlar chuqur boʻlib ketadi, chunki ular hujra ichida raqamlarni oʻzgartirishi yoki bitta raqam bo'ylab hujraylar oʻrtasida harakat qila oladigani uchun, lekin qoʻrgitish qiyinroq. Bare Sudoku ular soddaroq zanjirlardan soʻng sinab koʻradi.
Qanday topiladi
Har bir nomzodni hujra va raqam sifatida yozing, masalan r1c2 (5). Kuchli bogʻlanishdan boshlang, keyin zaʻif bogʻlanish, keyin kuchli bogʻlanish va hokazоʻ, har safar to'gʻri turdagi bogʻlanishni tanlab: bitta raqam birlikda, yoki ikkita nomzodga ega hujrayning ikkita raqamida. Har safar kuchli bogʻlanish tugatgandan soʻng, ikkala uchni solishtiring. Agar ularning ayni raqam boʻlsa, ikki uchni ham koʻrgan hujraylar oʻsha raqamni yo'qotadi; agar bir xil hujrayning ikkita raqami boʻlsa, oʻsha hujrayning boshqa har bir nomzodi oʻchirilishi mumkin.
Misol
| c1 | c2 | c3 | c4 | c5 | c6 | c7 | c8 | c9 | |
|---|---|---|---|---|---|---|---|---|---|
| r1 | 34 | 8 | 9 | 7 | 24 | 1 | 26 | 346 | 5 |
| r2 | 14 | 6 | 1245 | 59 | 24 | 3 | 127 | 479 | 8 |
| r3 | 7 | 12 | 12345 | 59 | 8 | 6 | 12 | 349 | 239 |
| r4 | 136 | 123 | 8 | 36 | 9 | 7 | 4 | 5 | 236 |
| r5 | 5 | 9 | 234 | 36 | 1 | 24 | 268 | 368 | 7 |
| r6 | 346 | 234 | 7 | 8 | 5 | 24 | 9 | 1 | 236 |
| r7 | 9 | 13 | 13 | 2 | 6 | 5 | 78 | 78 | 4 |
| r8 | 8 | 7 | 6 | 4 | 3 | 9 | 5 | 2 | 1 |
| r9 | 2 | 45 | 45 | 1 | 7 | 8 | 3 | 69 | 69 |
Qalin raqamlar berilgan, koʻk raqamlar yechish jarayonida qoʻyilgan, kichik raqamlar nomzodlar. Ajratilgan kataklar naqshni hosil qiladi, ustidan chizilgan nomzodlar olib tashlanadi, aylana ichidagi nomzod esa qoʻyiladigan raqam.
- r1c1 (3=4) - r2c1 (4=1) - r4c1 (1) = r4c2 (1) - r7c2 (1=3) zanjirni oʻqing. Har bir element hujrada raqam. = kuchli bogʻlanish: ikkala element toʻgʻri ekanligining kamasi bitta. - zaʻif bogʻlanish: koʻpi bilan bittasi toʻgʻri.
- Faraz qilaylik r1c1 (3) yalgʻon. Undan soʻnggi kuchli bogʻlanish keyingi elementni toʻgʻri qiladi, undan soʻnggi zaʻif bogʻlanish keyingi elementni yalgʻon qiladi, va hokazоʻ, r7c2 (3) toʻgʻri bo'lgunchacha.
- Shuning uchun r1c1 (3) va r7c2 (3) ning kamasi bitta toʻgʻri. Ikkalaси 3 raqami.
- Ikki uchni ham koʻrgan hujray 3 boʻla olmaydi. 3 raqamini r3c2 dan olib tashlang.
Koʻp uchraydigan xatolar
- Bogʻlanishni kuchli deb oʻztiklash boʻlganda birlikkda raqamning uchinchi oʻrni bor, yoki hujrayda uchinchi nomzod. Kuchli bogʻlanish aynan ikkita imkoniyatni talab qiladi.
- Bogʻlanishlari ketma-ket bo'lmagan zanjirdan qayd chiqarish. Zanjir kuchli va zaʻif bogʻlanishlarni ketma-ket qoʻllashi va kuchli bogʻlanish bilan boshlash va tugatishi kerak.
- Faqat bitta uchi koʻrgan nomzodni olib tashlash. Olib tashlangan nomzod ikki uchni ham tarang qilishi kerak.
Bare Sudoku'da
Kerakli daraja: Usta
Oʻyinda maslahat shunday deydi: AIC
Sudoku oʻynash · Sudoku yechimi
Mashq muammolari
Bu muammolarda AIC sizga kerak bo'lgan eng qiyin usul hisoblanadi. Har bir havola o'yinda muammoni ochadi; yechuvchi havolasi har bir qadamni ko'rsatadi.
- Usta 7,0 · Sudoku yechimi
- Usta 7,0 · Sudoku yechimi
- Usta 7,0 · Sudoku yechimi
- Usta 7,0 · Sudoku yechimi
- Usta 7,0 · Sudoku yechimi
- Usta 7,0 · Sudoku yechimi
- Usta 7,0 · Sudoku yechimi
- Usta 7,0 · Sudoku yechimi
- Usta 7,0 · Sudoku yechimi
- Usta 7,0 · Sudoku yechimi
Koʻp beriladigan savollar
Sudokuda AIC nima?
Almashinuvchi Isbot Zanjiri: nomzodlar ketma-ket kuchli va zaʻif bogʻlanishlar orqali birlashtirilib, kuchli bogʻlanish bilan boshlang va tugatadi. Kamasi bitta uchi toʻgʻri, shuning uchun har ikkala uchni tarang qilgan hamma narsa olib tashlanishi mumkin.
AIC va X-Chain oʻrtasida farq nima?
[X-Chain](x-chain) faqat bitta raqamni qoʻllaydi. AIC ikkita nomzodga ega hujrayda raqamlarni oʻzgartirishi mumkin, shuning uchun bitta raqam zanjir qila olmagan taxtani qismini ulashtirishi mumkin.
XY-Chain AIC mi?
Ha. [XY-Chain](xy-chain) kuchli bogʻlanishlar ikkita nomzodga ega hujralarning ichida boʻlgan va zaʻif bogʻlanishlar ayni raqamni ulashtirgan AIC. X-Chain boshqa maxsus koʻrinish.
Nima uchun kuchli bogʻlanish zaʻif bogʻlanish sifatida ham ishlashi mumkin?
Zaʻif bogʻlanish faqat koʻpi bilan bitta nomzodning toʻgʻri boʻlishini talab qiladi. Birlikkda raqamning yagona ikkita oʻrni boʻlgan ikkita nomzod ham birbiri koʻradi, va hujrayning ikkita nomzodi ham bitta hujrayga tegadi, shuning uchun koʻpi bilan bittasi ham toʻgʻri.