Уроки по Alternating Inference Chains

Перед началом практических уроков рекомендуем ознакомиться с теорией в разделе Методы

Урок 1.1. AIC

Постройте AIC между узлами {5}@A3 и {5}@C7 длиной 3. Найдите двух кандидатов, которых можно удалить.

000060302302000716706000089900000070623050890007000620270000900539072008068590237;
{148}@A1;{14589}@A2;{145}@A3;{14789}@A4;{145789}@A6;{45}@A8;{4589}@B2;{489}@B4;{48}@B5;{4589}@B6;{145}@C2;{1234}@C4;{1234}@C5;{1345}@C6;{45}@C7;{1458}@D2;{145}@D3;{123468}@D4;{12348}@D5;{13468}@D6;{145}@D7;{1345}@D9;{147}@E4;{147}@E6;{14}@E9;{148}@F1;{1458}@F2;{13489}@F4;{1348}@F5;{13489}@F6;{1345}@F9;{14}@G3;{13468}@G4;{1348}@G5;{13468}@G6;{456}@G8;{145}@G9;{146}@H4;{14}@H7;{46}@H8;{14}@K1;{14}@K6

• Эту позицию можно загрузить в программу "Sudoku by Peter" через консоль

Рис. 1.1.1 AIC:Type1. Начальная позиция: Урок 1.1

Ответ: Урок 1.1

Рис. 1.1.2 AIC:Type1. Ответ: Урок 1.1

AIC:Type1 {!5}@A3={5}@D3-{!5}@D7={5}@C7 remove: {5}@A8,{5}@C2

Урок 1.2. AIC

Постройте AIC между узлами {6}@A7 и {6}@D3 длиной 3. Один узел в цепочке - Групповой. Найдите одного кандидата, которого можно удалить.

027140030300207100010038720030704051702051300150306007003070012071002503200013076;
{5689}@A1;{59}@A6;{689}@A7;{589}@A9;{4689}@B2;{45689}@B3;{69}@B5;{4689}@B8;{4589}@B9;{4569}@C1;{4569}@C3;{569}@C4;{459}@C9;{689}@D1;{689}@D3;{289}@D5;{2689}@D7;{4689}@E2;{89}@E4;{4689}@E8;{489}@E9;{489}@F3;{289}@F5;{2489}@F7;{489}@F8;{45689}@G1;{4689}@G2;{45689}@G4;{59}@G6;{489}@G7;{4689}@H1;{4689}@H4;{689}@H5;{489}@H8;{489}@K2;{4589}@K3;{4589}@K4;{489}@K7

• Эту позицию можно загрузить в программу "Sudoku by Peter" через консоль

Рис. 1.2.1 AIC:Type1. Начальная позиция: Урок 1.2

Ответ: Урок 1.2

Рис. 1.2.2 AIC:Type1. Ответ: Урок 1.2

AIC:Type1 {!6}@A7={6}@A1-{!6}@BC3={6}@D3 remove: {6}@D7