第８話 Ver.2のコード解説その１
コード主要部分再掲
Sub sy()
Dim i As Byte, j As Byte, k As Byte, l As Byte, w As Byte
For i = 0 To 8
For j = 0 To 8
a(i, j) = 0
m(i, j) = 9
For k = 0 To 8
ls(i, j, k) = k + 1
Next
Next
Next
For i = 0 To 8
For j = 0 To 8
If Cells(4 + i, 3 + j) <> "" Then a(i, j) = Cells(4 + i, 3 + j)
Next
Next
For i = 0 To 8
For j = 0 To 8
If a(i, j) = 0 Then
For k = 0 To 8
If k <> j And a(i, k) > 0 Then
For l = 0 To 8
If ls(i, j, l) = a(i, k) Then
w = ls(i, j, m(i, j) - 1)
ls(i, j, m(i, j) - 1) = a(i, k)
ls(i, j, l) = w
m(i, j) = m(i, j) - 1
Exit For
End If
Next
End If
Next
For k = 0 To 8
If k <> i And a(k, j) > 0 Then
For l = 0 To m(i, j) - 1
If ls(i, j, l) = a(k, j) Then
w = ls(i, j, m(i, j) - 1)
ls(i, j, m(i, j) - 1) = a(k, j)
ls(i, j, l) = w
m(i, j) = m(i, j) - 1
Exit For
End If
Next
End If
Next
For k = 0 To 8
If i <> 3 * Int(i / 3) + Int(k / 3) And j <> 3 * Int(j / 3) + (k Mod 3) And a(3 * Int(i / 3) + Int(k / 3), 3 * Int(j / 3) + (k Mod 3)) > 0 Then
For l = 0 To m(i, j) - 1
If ls(i, j, l) = a(3 * Int(i / 3) + Int(k / 3), 3 * Int(j / 3) + (k Mod 3)) Then
w = ls(i, j, m(i, j) - 1)
ls(i, j, m(i, j) - 1) = a(3 * Int(i / 3) + Int(k / 3), 3 * Int(j / 3) + (k Mod 3))
ls(i, j, l) = w
m(i, j) = m(i, j) - 1
Exit For
End If
Next
End If
Next
End If
Next
Next
End Sub
このsyでは初期化と全体構造解析が行われています。
For i = 0 To 8
For j = 0 To 8
a(i, j) = 0
m(i, j) = 9
For k = 0 To 8
ls(i, j, k) = k + 1
Next
Next
Next
For i = 0 To 8
For j = 0 To 8
If Cells(4 + i, 3 + j) <> "" Then a(i, j) = Cells(4 + i, 3 + j)
Next
Next
が初期化の作業を行っていますし、
それ以降が問題構造解析です。
全体構造解析は、
後の試行錯誤法＝トライアンドエラー＝仮定法＝背理法を使わないアプリの際にも、
避けては通れない課題です。
仮定法を使わない解法においても、
各セルの候補数字＝リストを分析することは、絶対不可欠です。
今回に例では
水色のセルの候補数字は7しかなく7に確定します。
難問にして良問は、
１つでも確定できるセルを発見できないと解けないようになっています。
初期化においては
m(i, j) = 9
For k = 0 To 8
ls(i, j, k) = k + 1
Next
最初はすべての数字
１，２，３，４，５，６，７，８，９をリストし、
候補数字数も９としておきます。
もし、空欄の状態で数独を作れといわれれば、
セルリスト構造解析は、この状態です。
全体構造解析は、所詮は個々のセル構造解析の集合に他なりません。
ひとつひとつのセルのリスト解析の総体を全体構造解析ないしは、
問題構造解析と呼んでいるのにすぎないのです。
ですから、主役は個々のセルであることを忘れないでください。
For i = 0 To 8
For j = 0 To 8
・・・・・
・・・・・
・・・・・
Next
Next
によって、２次元に配置されたセルのひとつひとつを解析していきます。
iが行番号であり、jが列番号です。
