研究例題1その8(ファイナルステージ)

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

実は、すでに確定している場所があります。

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

ここの緑は2,9にメンバーが確定します。したがって、その上の行に2は入ることがありませんので、

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

薄茶は2に決定してお出しで薄緑も7に決定します。

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

よって、薄茶色が9に決定して

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

9の排除と押し出しで

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


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

9の排除で

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


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

2の排除と押し出しで

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

9の排除で

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


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


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

9の排除で

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


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

9の排除と押し出しで

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


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

7の排除と反照排除で

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

ピンクのメンバーが2と7であることから薄茶色が2に決まり、メンバー絞り込みによってその下は9と決まります。

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


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

2の排除により

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

メンバー絞り込みによって

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


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

7の排除によりとメンバー絞り込みにより

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


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

7の排除とメンバー絞り込みによって

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

ついに完成です!
私が知っている限りでは、この問題は最難問です。
このサイトを運営されている方は、この問題を専門級に分類されその上に最高級という級を設けていらっしゃいますが、
私の作った問題解決ソフトが一番時間がかかったのがこの問題です。
といってもVer.8であれば0.1秒程度で解きますが他の最高級問題はほぼ0.05秒以内で解けます。
実際に自分で解いた印象でもこれが最高に難しいと思います。
雑誌や本も購読して超上級問題も解いていますが、
それらよりこの問題の方が難しいと思います。

私が考える最難問も確定法だけで解くことが出来ます。
他の超上級問題なども解いていくことによって、
『数独の問題はすべて確定法だけで解ける』という私の予想を証明していきたいと思います。








研究例題1その7へ 研究例題2その1へ

数独の解法