研究例題4その9(ファイナル)

5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3,6 1 9 7 2
29 9 2 8 7 5 6 3 1
1 1 7 3 9 2 4 8 5

いよいよラストシーンです。怒濤の勢いで行きましょう。

5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3,6 1 9 7 2
29 9 2 8 7 5 6 3 1
1 1 7 3 9 2 4 8 5

下のラインは、横確定の原理(ライン確定の原理)を使っています。

5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3,6 1 9 7 2
29 9 2 8 7 5 6 3 1
1 1 7 3 9 2 4 8 5


5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3,6 1 9 7 2
29 9 2 8 7 5 6 3 1
1 1 7 3 9 2 4 8 5

ブロック残メンバーから

5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3,6 4,6 1 4,6 9 7 2
29 9 2 8 7 5 6 3 1
1 1 7 3 9 2 4 8 5


5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3,6 4,6 1 4,6 9 7 2
29 9 2 8 7 5 6 3 1
1 1 7 3 9 2 4 8 5

横確定の原理(ライン確定の原理)から

5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
29 9 2 8 7 5 6 3 1
1 1 7 3 9 2 4 8 5


5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
29 9 2 8 7 5 6 3 1
1 1 7 3 9 2 4 8 5

ライン排除と押し出しから

5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
29 9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
29 9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

4のライン排除と相補確定の原理から

5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

ライン排除から

5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 1,3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

薄緑の残メンバーとセル内可能性排除から

5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


5 9 8 3 2 7
7 2 8 9 1 5 9 6
5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

3のライン排除から

5 9 8 3 2 7
7 2 8 9 1 5 9 6
3 5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


5 9 8 3 2 7
7 2 8 9 1 5 9 6
3 5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

4の列排除と4の行反照排除(ピンクのライン)から

4 4 5 9 8 3 2 7
7 2 8 49 4 1 5 9 6
3 5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 4 5 9 8 3 2 7
7 2 8 49 4 1 5 9 6
3 5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

薄緑の残メンバーから

4 4 5 9 8 3 2 7
7 2 8 49 4 1 5 9 6
3 9 5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 4 5 9 8 3 2 7
7 2 8 49 4 1 5 9 6
3 9 5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

9のライン排除から

4 4 5 9 8 3 2 7
7 2 8 4 4 1 5 9 6
3 9 5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 4 5 9 8 3 2 7
7 2 8 4 4 1 5 9 6
3 9 5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

1のライン排除と押し出しから

4 1 5 9 8 3 2 7
7 2 8 4 4 1 5 9 6
3 9 5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 1 5 9 8 3 2 7
7 2 8 4 4 1 5 9 6
3 9 5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
4,9 4,9 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

4のライン排除とセル内可能性排除から

4 1 5 9 8 3 2 7
7 2 8 4 4 1 5 9 6
3 9 5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 1 5 9 8 3 2 7
7 2 8 4 4 1 5 9 6
3 9 5 2 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

5,6のライン排除から

4 1 5,6 9 8 5,6 3 2 7
7 2 8 4 4 1 5 9 6
3 9 5,6 2 5,6 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 1 5,6 9 8 5,6 3 2 7
7 2 8 4 4 1 5 9 6
3 9 5,6 2 5,6 7 8 1 4
2 3 4 7 5,6 9 1,2 5,6 8
8 7 1 4 1,2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

2のライン排除とセル内可能性排除から

4 1 5,6 9 8 5,6 3 2 7
7 2 8 4 4 1 5 9 6
3 9 5,6 2 5,6 7 8 1 4
2 3 4 7 5,6 9 1 5,6 8
8 7 1 4 2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 1 5,6 9 8 5,6 3 2 7
7 2 8 4 4 1 5 9 6
3 9 5,6 2 5,6 7 8 1 4
2 3 4 7 5,6 9 1 5,6 8
8 7 1 4 2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

3のライン排除と押し出しから

4 1 5,6 9 8 5,6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5,6 7 8 1 4
2 3 4 7 5,6 9 1 5,6 8
8 7 1 4 2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 1 5,6 9 8 5,6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5,6 7 8 1 4
2 3 4 7 5,6 9 1 5,6 8
8 7 1 4 2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 4,6 1 4,6 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

4のライン排除とセル内可能性排除から

4 1 5,6 9 8 5,6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5,6 7 8 1 4
2 3 4 7 5,6 9 1 5,6 8
8 7 1 4 2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 6 1 4 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 1 5,6 9 8 5,6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5,6 7 8 1 4
2 3 4 7 5,6 9 1 5,6 8
8 7 1 4 2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 6 1 4 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

4のライン排除から

4 1 5,6 9 8 5,6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5,6 7 8 1 4
2 3 4 7 5,6 9 1 5,6 8
8 7 1 4 2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 6 1 4 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 1 5,6 9 8 5,6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5,6 7 8 1 4
2 3 4 7 5,6 9 1 5,6 8
8 7 1 4 2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 6 1 4 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

5の排除とセル内可能性排除から

4 1 5,6 9 8 6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5 7 8 1 4
2 3 4 7 5,6 9 1 5,6 8
8 7 1 4 2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 6 1 4 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 1 5,6 9 8 6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5 7 8 1 4
2 3 4 7 5,6 9 1 5,6 8
8 7 1 4 2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 6 1 4 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

6の排除から

4 1 5,6 9 8 6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5 7 8 1 4
2 3 4 7 6 9 1 5,6 8
8 7 1 4 2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 6 1 4 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 1 5,6 9 8 6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5 7 8 1 4
2 3 4 7 6 9 1 5,6 8
8 7 1 4 2 5,6 9
6 5 9 1 2 8 7 4 3
5 8 3 6 1 4 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

6のライン排除とセル内可能性排除から

4 1 5,6 9 8 6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5 7 8 1 4
2 3 4 7 6 9 1 5 8
8 7 1 4 2 6 9
6 5 9 1 2 8 7 4 3
5 8 3 6 1 4 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 1 5,6 9 8 6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5 7 8 1 4
2 3 4 7 6 9 1 5 8
8 7 1 4 2 6 9
6 5 9 1 2 8 7 4 3
5 8 3 6 1 4 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

それぞれの列の残メンバーから

4 1 5,6 9 8 6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5 7 8 1 4
2 3 4 7 6 9 1 5 8
8 7 1 5 4 3 2 6 9
6 5 9 1 2 8 7 4 3
5 8 3 6 1 4 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5


4 1 5,6 9 8 6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 5,6 2 5 7 8 1 4
2 3 4 7 6 9 1 5 8
8 7 1 5 4 3 2 6 9
6 5 9 1 2 8 7 4 3
5 8 3 6 1 4 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

それぞれの行の残メンバーから

4 1 5 9 8 6 3 2 7
7 2 8 4 3 1 5 9 6
3 9 6 2 5 7 8 1 4
2 3 4 7 6 9 1 5 8
8 7 1 5 4 3 2 6 9
6 5 9 1 2 8 7 4 3
5 8 3 6 1 4 9 7 2
9 4 2 8 7 5 6 3 1
1 6 7 3 9 2 4 8 5

ついに結末を迎えました。コンピュータのランダム超上級問題を確定法だけで解きました。
仮定法を使わず数独は解ける!
研究例題5もコンピュータランダム問題を取り上げます。




その8へ 研究例題5その1

数独の解法