プログラミングの小石・大石

「CCM をつかった単純な問題解決の例」 のページにも書いたように，これらのプログラムは，わけあって Java らしくないプログラムだが，動作させるには問題がないので，いまでもほぼもとのままのかたちで公開している．

例題は 3 つあって，

• N クイーン問題とならべかえ (ソート) -- ひとつのプログラムで実行させるたびにことなる N クイーン問題の解をもとめたり，ソートをしたりすることができる．
• 地図とグラフ頂点のぬりわけ -- 実行させるたびにことなる米国の 4 色ぬりわけができる (下図がぬりわけ結果の例)．
• 魔方陣 -- 実行させるたびにことなる魔方陣の解がもとめられる．

です． ためしてみてください． 計算が停止したときには，こたえが表示されるのと同時に，何回，規則の条件部をテストしたか (#tests)，何回，規則を実行したか (#reactions)，どれだけ時間がかかったか (Time (秒)) が表示されるようになっている． プログラムを公開したときには “full speed” (計算中に表示を更新しない最高速モード) で計算しても 1 秒くらいの時間がかかったものが，その後 PC や Java の高速化によって，いまではミリ秒単位で計算できるようになった．

これらの例題では，局所的な情報だけで計算する (せまい範囲だけをみてクイーンの位置や州の色や魔方陣の欄の値をきめる規則をつかう) と解をもとめるまでの時間がかかり，よりひろい範囲の情報をつかうとまちがったこたえでとまってしまう (局所最小値につかまる) が，さらにランダムさを導入する (“frustration” を ON にする) とただしいこたえにいきつきやすくなることがためせるようになっている． わかりにくいとはおもうが… もうすこしくわしい説明は 「CCM をつかった単純な問題解決の例」 のページにある．