今日話したこと、スラドの記事にコメント書いちゃったぃ。
by うさぴょんの育ての親

まずは、鈴木将棋の鈴木康夫さんのどうぶつ将棋完全解析の途中の日記(mixiにて全体公開)から引用。

深さによる反復深化とdf-pnをハッシュテーブルを共有してマルチスレッドで走らせるよう合成しました。 一方で勝ち、負けと結果が出た局面は他方で利用できるので、お互い補え合います。 手数による反復深化の結果を見ると、結構早くに結論を出している局面があります。df-pnの結果を利用できているのでしょう。 df-pnの方も証明数、反証数共に単独で実行したのより小さい値で推移しています。反復深化の結果が利いているのでしょう。

というわけで、実は、追試する際、df-pnを書くだけで７時間で解けるような甘い問題ではないと言うオチがあり、その辺はかえってGeek魂をくすぐるのだろうか？
今のところ、田中さんは複数の終局局面から「後退解析」で、鈴木さんは初期局面から「df-pn」で解いてみて、後手勝ちの結果は一致した状態だけれども…チェッカーと同じく、「後退解析」と「初期局面からの探索」の結果を結びつけると、まだ早く解ける余地はありそう。
ちなみに、私は最初に盤駒とルールを見た時の印象で、コンピュータにかけたら秒殺で解けるんじゃないかと思って反復深化で解き始めたのだけれど、そんなに生易しい問題じゃありませんでした。
by うさぴょんの育ての親