ついに「寿」が解けたかも？！

念願の「寿」がついに解けたかも？！
まぁ、実戦で速く解を出すのが開発目標で「寿」が解けるかどうかは強さにほとんど関係ないとは思うのですが。

とりあえず、次のように設定を変更してみました。
・ハッシュサイズ：96MB⇒768MB
・ハッシュ衝突時のリハッシュ回数：16回⇒101回

探索ノード：2,854,289 nodes
時間：102.5秒 (27.9 knps)  ← リハッシュ回数を増やしたせいでnpsがた落ち…

ただ、向き(左右反転したりとか)によって解けたり解けなかったり、ハッシュの使用率が低いのにやたら衝突したり、解けない11手詰めがあったりと課題はまだまだあります。

でも、これ本当に解けているのかなぁ??
611手詰めのはずなのに、探索の一番深いところで591手までしか行っていない…。

激指、無双に挑戦！

激指７と新・東大将棋 無双IIに詰めルーチンで挑んでみました！
問題は山下さんのコンピュータ将棋用問題集No.2と「羽生の将棋 実戦[詰め＆必死]200」の詰め問題から、
・なのはが解けない問題
・激指７が解けない問題
・無双IIで10万節点以上かかった問題
を抽出。
25分打ち切りで、結果は以下の通り(激指７は1秒単位で手動計測)。

問題	激指７	新・東大将棋 無双II		なのは(100311版)
	時間(秒)	時間(秒)	探索節点数	時間(秒)	ノード数
YSS No.2	1	0.8	152,117	解けない
羽生012	0	2.3	382,647	0.63	141,097
羽生018	0	0.3	55,312	解けない
羽生027	0	0.9	149,986	0.46	101,755
羽生028	解けない	解けない		解けない
羽生032	0	7.4	1,313,011	解けない
羽生035	解けない	149.3	22,443,537	解けない
羽生044	0	1.5	308,652	0.27	65,404
羽生064	0	0.7	129,106	0.43	99,331
羽生066	2	1	176,656	解けない
羽生081	0	0.3	43,175	解けない
羽生089	0	0.5	100,004	0.36	73,086
羽生091	0	0.5	69,582	解けない
羽生092	解けない	2.3	416,167	解けない
羽生093	解けない	5.5	940,178	解けない
羽生096	1	0.1	21,240	解けない
羽生098	0	0.2	41,276	解けない

対 激指・・・0勝9敗8分
対 無双・・・5勝11敗1分

なのは、解けない問題多すぎ！！
うーん、もう少しがんばらないとだね…。

misakiに挑戦！

小宮日記のAspirationサーチを導入の局面を新なのは(fv.bin使用)で挑戦してみました。

基本深さ6手、王手延長＋静止探索4手… 7.6328秒
基本深さ7手、王手延長＋静止探索4手…70.7971秒

もう少し、がんばらないとだね！

PCの調子が悪い…

メインに使用しているマシンの調子がどうにもよくない…。
先月、セーフモードでしか起動しないようになってしまい、HDDを入れ替えてセットアップし直したけど、今度はどうもHDDから異音がする。
今のOSは快調なので、なんとかこのまま別のHDDにコピーできないかなぁ～。

XP 以降の悪知ベーションはこういうときに二の足を踏むのでよくない！

※追記
昔、RAID0のペアに使っていたHDDを発掘して、コピーして入れ替えたけど異音は変わらず…。
結局、HDDリムーバブルユニットからの異音であって、ケースにHDDを直付けしたら大丈夫でした。
なんてこったい。

あぁ、勘違い

優越関係を持ち駒と持ち駒の比較でなく、持ち駒と証明駒/反証駒の比較で判断するようにして、最近さらにハッシュの中身も辿って更新するようにしたら、たまに詰む問題に対して「不詰」という解答をする不具合が出てきました！

乱数の種とアルゴリズムを固定して、確実に再現するようにしてから何十万ものノードを通る中でどこでそんなミスをしているかと末端から遡ると、どうも反証駒の算出が根本的に間違っていそう。
単純に証明駒と対称にしていたけど、証明駒と反証駒の処理は対称にしてはいけなかった！(たぶん)

うーん、どうしたものか…。

とりあえず、詰めルーチンについては、
・見つけたバグはつぶす
・つぶすのが大変そうなら、避ける
・簡単に追加できそうな改良は入れてみる
という方針でほどほどにしておこう。