試行錯誤

とりあえずというか、selectionによって削除される確率を先ほどの3倍に設定してみたところ、かなり良い感じになっているように見える。
ただ問題があって、同じSATの問題であっても解けるときと解けないときがある。それも激しく上下する。ループの回数が1桁回で解けるときもあれば、10000回繰り返しても解けないときもある。ある程度やってみて、無理そうならもう一回最初からやり直すルーチンでも入れてみようか。