で、3-SATですよ

昨日の実験だけれども、結論としてかなりばらつきがある感じはするものの、ある程度解答することは出来ているということに。50変数とかでも、時間さえかければ(数分から数時間かかるけれども)解けるということは分かりました。現実的には30変数くらいが限界で、30変数の問題を100問とくのには半日かかりました。
この原因の一つとしては、Perlを使っていると言うのが結構大きくて、Javaを使えばもうちょっと(10倍以上)早くなるとは思います。結構ガリガリとヒープを使って開放するので、CとかC++では書きたくないなあ。