詰将棋アルゴリズムdf-pnのすべて | やねうら王 公式サイト
将棋AIで用いている詰将棋ルーチンにdf-pnというアルゴリズムがある。 これは、proof number(証明数)、disproof number(非証明数)を用いて効率的に探索を行い、その局面が詰むか、詰まないかを判定できるとても強力なアルゴリズムである。 将棋ファンなら『脊尾詰』と言う「ミクロコスモス」(1525手詰)を解く詰将棋専用ソフトについて一度ぐらいは聞いたことぐらいあるだろう。これは、脊尾さんが大学時代に作成されたプログラムである。そこに使われていたのが脊尾さんが考案されたdf-pnというアルゴリズムである。 df-pnに関しては、脊尾さん自身の論文(1998年)があるものの、要点しか書かれておらず、いまのようにGitHubにソースコードがあるわけでもなく、その詳細については長らく謎に包まれたままであった。(この脊尾さんの論文では、証明数のみを用いており、非証明数は陽には出
第33回世界コンピュータ将棋選手権準優勝記 | やねうら王 公式サイト
WCSC33(第33回世界コンピュータ将棋選手権)ではやねうら王が準優勝となった。 やねうら王チームは本大会では探索エンジンとしてDeep Learning(以下DLと略す)を用いるふかうら王を用いた。優勝したdlshogiチームももちろんDL型であり、本大会は1,2位がDL系のソフトであったということを最初に書いておくべきだろう。WCSCでも上位入賞ソフトをDL系のソフトが占めるようになってきたというのは、(将棋AIにとって)時代の転換期に突入していると言える。 今回優勝したdlshogiチームはA100×8の9台構成。すなわち、A100が72基あるということだ。AWSで借りれば、1時間4万円ぐらいかかる。それに対して、やねうら王チームは、vast.aiという個人間でGPUを貸し借りするサイトで借りて、1時間たったの$4.8。決勝日に限って言うと、私が深夜0時に目が覚めてしまったので、そ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
