TadaoYamaoka https://blog.hatena.ne.jp/TadaoYamaoka/ TadaoYamaokaの開発日記 https://tadaoyamaoka.hatenablog.com/ コンピュータ将棋 df-pn GPS将棋(OpenShogiLib)のdf-pnのソースの全体像を調べた。 df-pnアルゴリズムの概要 df-pn（Depth-First Proof-Number Search）とは、将棋の詰将棋問題において「詰むか否か」を効率的に証明するための探索アルゴリズムである。 各局面において証明数（Proof Number）と反証数（Disproof Number）を管理し、局面ごとの評価値に基づいて「最も有望な分岐」を優先的に探索する仕組みである。 実装では、単なる深さ優先探索に加え、以下のような工夫がなされている。 重複局面の再探索回避（DAG構造） 同一局面はハッシュ値（HashKey）… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftadaoyamaoka.hatenablog.com%2Fentry%2F2025%2F03%2F23%2F163310" title="GPS将棋(OpenShogiLib)のdf-pnの移植 その２（ソース全体像） - TadaoYamaokaの開発日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2025-03-23 16:33:10 rich https://tadaoyamaoka.hatenablog.com/entry/2025/03/23/163310 1.0 100%