第３話 局所構造解析はどうやったらいいの？
白紙
の状態における全体構造解析は
mx(0, 0) = 8
mx(0, 1) = 8
mx(0, 2) = 8
・
・
mx(1, 0) = 8
mx(1, 1) = 8
mx(1, 2) = 8
・
・
mx(8, 8) = 8
rlst(0, 0, 0)= 1
rlst(0, 0, 1)= 2
rlst(0, 0, 2)= 3
・
・
rlst(0, 0, 8)= 9
rlst(0, 1, 0)= 1
rlst(0, 1, 1)= 2
・
・
rlst(0, 1, 8)= 9
rlst(1, 0, 0)= 1
rlst(1, 0, 1)= 2
・
・
rlst(8, 8, 8)= 9
となっていました。
そこで例えば、
と入力された場合には、どのセルをリスト構造解析すれば良いですか。
答は例によって３０行下です。
答
5が入ったことによって影響を受けるセルは、
オレンジのセルです。
このセルのmxを7に修正して、
rlstから候補数字5を外せば良いのです。
といっても、一時的に外すだけです。
今は試行錯誤で解くことを考えていますから、
5で上手くいかなければ、他の数字も試してみなければなりません。
第1話の話を少し修正します。
第1話の話をそのまま受け取ると、
オレンジにおけるセルの候補数字集合は
｛１，２，３，４，６，７，８，９｝
にするということになります。
ですが、5でダメだったときには、この集合は
｛１，２，３，４，５，６，７，８，９｝
に戻さなければなりません。
プログラムするときには、このような手順は煩わしいですから、
｛１，２，３，４，８，６，７，９，５｝
８と５を交換しておいて、有効範囲を青に限定すれば
自動的に５は対象から１時的に外されますが、集合内には残ります。
つまり、
rlst(1, 4, 0) = 1
rlst(1, 4, 1) = 2
rlst(1, 4, 2) = 3
rlst(1, 4, 3) = 4
rlst(1, 4, 4) = 8
rlst(1, 4, 5) = 6
rlst(1, 4, 6) = 7
rlst(1, 4, 7) = 9
rlst(1, 4, 8) = 5
となるわけです。
青に限定するときに働くのがmx(1, 4) = 7です。
ですから、本サイトが呼ぶリスト構造解析とは正確には集合内の順番の変更と
有効範囲の変更ということになります。
mx(i, j) = 7 の実現は今のところ簡単です。
mx(i, j) = mx(i, j) - 1
とすればよいですね。
今のところ簡単ですと断り書きをしたのは、
進んでいくとmx(i, j) = mx(i, j) - 1は条件付きで実行しなければならない
場面が出てくるからです。
具体的には、
のような場面です。座標（１，４）の5によって、
すでに5は外されてかつmx(1, 1) = mx(1, 1) - 1が実行されていますから、
座標（４，１）においてもう一度mx(1, 1) = mx(1, 1) - 1を実行してしまうと、
mx(1, 1)の値は6になってしまいます。
でも実際には、有効範囲は
｛１，２，３，４，８，６，７，９，５｝
rlst(1, 4, 0) = 1
rlst(1, 4, 1) = 2
rlst(1, 4, 2) = 3
rlst(1, 4, 3) = 4
rlst(1, 4, 4) = 8
rlst(1, 4, 5) = 6
rlst(1, 4, 6) = 7
rlst(1, 4, 7) = 9
rlst(1, 4, 8) = 5
7です。
プログラミングはあらゆる想定される事態に対応しなければなりませんから、
mx(i, j) = mx(i, j) - 1を機械的に実行するわけにはいきません。
さらに、iとjの中身が問題ですね。
ブロック内を動かすときには、難問ですが、行と列は簡単です。
行は
For j = 0 To n - 1
If p(1, j) = 0 Then
・
・
でよいですし、列は
For j = 0 To n - 1
If p(j, 4) = 0 Then
・
・
でよいですよね。
（p(i, j)は最初全部0に初期化しておきます。）
ブロックはどう動かすか。次話で説明します。
