オープン戦

決めた！
来年2月は参加する！
そこである程度の見込みをつけないとダメだ。

れさぴょんGo!Go! その2

CSA将棋付属のサーバソフトのソースを探し出して、５五将棋対応してアーカイブに入れました(Test55.exe)。
ついでにCSA55が実は通信できないというバグがあったので直しました。
他にもたくさんバグはいそうですが、とりあえずLAN対戦で終局まで行ったので、そこそこ動くかな？

ダウンロード(csa55test081009.zip)

れさぴょんGo!Go!

CSA将棋を中途半端に５五将棋対応して、れさぴょんも５五将棋に対応してみました。
といっても、ルールどおりに指すくらいの変更しかできていません。
５五将棋用に落とし穴とか変更できないし(苦笑)。
ダウンロード(zip)

優越関係…

df-pn で解けない詰将棋がある原因は優越関係の実装がよくないからか？！

ハッシュがあふれたわけでもないのに時間をかけても解けない問題は、ログを出力するとループをしている。
で、優越関係を切って、厳密一致に変更すると解が見つかったりする…。

・ループ対策
・優越関係
・両方の処理がコンフリクトしてる

が臭いなぁ～。
ループ対策は岸本さんの最小距離法を真似ている(つもりなん)だけど、優越関係は適当に実装しているからなぁ～。
じっくり考えたほうがいいか。
でも、まぁ検証結果からすると満足はできないものの、従来処理からは格段の進歩を遂げているから下手に手を入れないほうがいいか、とも思ってしまう…。

うーん、悩む。
他にも文章から独自の実装をしているのは、
・打ち歩詰めが絡まないときの飛角歩の不成の計算を省略
・無駄合いと思われるところの計算を省略
とかあって、けっこう臭いかな。

今のところ検証結果で間違うことはないようなので問題はないか。

進歩本の問題で検証

中盤を考えられるようにしたので、進歩本の問題を解かせてみたところ5問しか正解しませんでした…。orz

手番を変えて検証すると評価値が全然違うのでどこかにバグを仕込んでいる…。

今月は詰将棋強化月間(?)なので、中盤はひとまず置いといて、同じ問題セットを詰めルーチン(10秒)で解かせてみました。
証明数＋反証数は時間切れになったのが2問だけで、不詰み判定もほとんど100ms以内(問題16は3.7秒かかってる)で済んでる！！
結構優秀？！

	反復深化	証明数	証明数＋反証数
詰み	2	2	3
不詰み	18	25	43
時間切れ	28	21	2

というわけで、時間がかかった問題の検証を激指でしてみました(なのはは60秒制限)。

	なのは	激指７	結果
問題 4	時間切れ	約49秒	不詰み
問題 9	1.1秒	約1秒	不詰み
問題16	3.7秒	約2秒	不詰み
問題30	時間切れ	1秒未満	４三龍

ショック！

問題30は４三龍から詰むんですね！
なんで詰ませられないんだろう…。
詰めルーチンの改修に励まねばっ。