バグが取れた？！

証明駒・反証駒の算出で飛車を足す処理の中で桂馬を見てました。。。
orz

なんというアホじゃ

直すと明らかな誤答がなくなりました

結果、制限時間2秒で(9/15結果⇒10/22結果)
・羽生の将棋 実戦[詰め＆必死]200の詰め100問中 80問正解⇒89問正解
・北村昌男 強くなる詰将棋200題 195問正解⇒199問正解
・大内延介 実戦詰将棋100題 93問正解⇒98問正解
・将棋図巧 100問中 34問正解⇒49問正解
・将棋無双 100問中 18問正解⇒37問正解
といった感じです。

制限時間10秒なら
・将棋図巧 100問中61問正解
・将棋無双 100問中44問正解
でした。
 
目標である謎電さんの「あなたは何秒で解けますか」No.4はまだ解けません。
図巧100番「寿」は深さ255手で打ち切っているので「不詰」となります。
でも、深さ768手まで読むようにしても解けません…。

ムズカシイ…

先月で一時開発停止する予定だった詰ルーチンをまだやっています…。
来月は開発を休む予定なので、こんなことしてる場合じゃない気もします。
詰めルーチン以前に勝負が決するようなので、まずは中盤の強化をしないと先に進めないけど、解があるのに解けないのはどうにもクヤシイので。

とりあえず脊尾さんのGPW99の資料を何とか手に入れて、証明駒、反証駒の処理を入れてみました。
正解が少し増えたのはよかったんですが、一部解答を間違えるようになってしまいました…。

追加した処理が悪さをしているのか、処理を追加することで元々あったバグが顕在化したのか、うーん。
あと、一部の解けない問題はGHI対策と証明数ダブルカウント対策をちゃんと入れないとやっぱりダメっぽい。

謎電4番はいつになったら解けるのか…。

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

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

ダウンロード(csa55test081009.zip)

れさぴょんGo!Go!

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

優越関係…

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

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

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

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

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

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