第１話 課題の困難性
３on３の研究は、困難を極めました。
２つが３つになるだけで、コードはかなり複雑になります。
それに加えて、３on３には特有の問題があります。
特有の問題は、何かと申し上げますと、
２on２すなわち相補確定は、本当の１：１対応であったのに対して、
例外が存在することです。
相補確定の場合には、２つのセルに対して２つの候補数字でした。
それに対して、３on３の場合には、１：１対応以外に
のような変則的なケースも可であるわけです。
もしこのような例外規定を考えなかったとしても、
３on３がなぜ難しいのでしょうか。
それは、２on２でさえ複雑であった入れ子式構造が、
更に一層付け加えられるからです。
数独（ナンプレ）自動作成アプリVer.3
等には明らかな失敗があります。
それは、ライン排除確定解析の中に、
すべてのコードを詰め込んでしまったことです。
ですから、２on２でさえ、
If w = 2 Then '以下相補確定解析ための手続き
For k = i + 1 To n_1
w = 0
For l = 0 To n_1
If p(j, l) = 0 Then
If kh(j, l, k) = 1 Then
xs1(w) = l
w = w + 1
End If
End If
Next
If w = 2 And xs(0) = xs1(0) And xs(1) = xs1(1) Then
For l = 0 To n_1
If l <> xs(0) And l <> xs(1) Then '以下相補確定による破綻解析
・・・
End If
Next '以上相補確定による破綻解析
For l = 0 To n_1 '以下相補確定による排除解析
If l <> xs(0) And l <> xs(1) Then
If p(j, l) = 0 Then
For m = 0 To mx(j, l)
If rlst(j, l, m) = i + 1 Then
・・・
End If
If rlst(j, l, m) = k + 1 Then
・・・
Exit For
End If
Next
End If
End If
Next '以上相補確定による解除解析
If hth(g, j, xs(0)) = 0 Then '以下相補確定
・・・
End If
If hth(g, j, xs(1)) = 0 Then
・・・
End If '以上相補確定
' sh(g) = 1
Exit Function
End If
Next
End If '以上相補確定解析のための手続き
のような大変複雑なコードになっています。
もし、２on２の解析を行う部分を独立のプロシージャにしていたなら、
If w = 2 Then
rhk = tontx(g, xs, j, i)
'tontxは行についての2on2解析を行うプロシージャ
'i + 1は、数独配列p(○, ○)に入力する内容（１から９の値）であったことをお忘れなきように！
Exit Function
End If
と大変見通しのよいコードになっていました。
すべて詰め込んだためにコードの構造が見えにくくなっただけではなく、
プロシージャが大変巨大なものになってしまったという欠点も
付録としてついてきてしまった・・・のです。
なるべくプロシージャは小さくすることをお勧めしますと、
言っていた私が、大きな誤りを犯してしまいました。
本当に申し訳ありません。
皆さんを混乱に陥れてしまった責任は、
すべて私にあります。
皆さん、３on３解析は独立のプロシージャにして下さい。
しかも、
行について解析するプロシージャ
列について解析するプロシージャ
ブロックについて解析するプロシージャ
として下さい。
理由は、細かく分けても結構大きなプロシージャになるからです。
本当は白いセルのカウントを専門に行うプロシージャも作った方が、
良かったのかも知れません。
そうすれば尚、コードの構造は見やすいものになっていたでしょう。
皆さんは、私と同じ轍を踏まないで下さい。
出来るだけプロシージャを小さくして、
見通しの良いコードにして下さい。
