df-pnの関連記事 - TadaoYamaokaの開発日記

TLでdf-pnの話が上がっていたので、以前書いた記事のリンクをまとめておきます。

局面ループ周りの処理はガチで発狂するレベルで面倒でdf-pnが凄いと言い張ってる人が本当にこの問題を解決できてるのかを少し疑うレベルで面倒なんすよね orz
— Ryoto_Sawada⛅Qhapaq (@Qhapaq_49) 2020年8月3日

dlshogiのdf-pnの実装は、優越関係、証明駒、反証駒、先端ノードでの3手詰めルーチンを実装していて、ループの問題も処理していますが、対局時の利用に特化しているので、長手数の詰みはノード数上限、深さ上限に引っかかると不詰み扱いになります。
詰め将棋エンジンとしては使えません。