df-pnアルゴリズムの詰将棋を解くプログラムへの応用 | CiNii Researchタイトル別名 df pn アルゴリズム ノ ツメショウギ オ トク プログラム エ ノ オウヨウ Application of df-pn Algorithm to a Program to Solve Tsume-shogi Problems アルゴリズム理論 詰将棋を解くプログラムの研究はこの10年の間に大きく進歩した．その原動力となったのは，証明数や反証数という概念の導入である．詰将棋に適用すると，直感的にいうと，証明数は玉の逃げ方の総数を，反証数は攻め方の王手の総数を表す．前者は攻め方にとって，後者は玉方にとって非常に重要な値である．証明数・反証数を対等に扱った，最もナイーブなアルゴリズムは，Allisによるpn-searchという最良優先探索法である．我々は近年，df-pnアルゴリズムという，pn-searchと同等の振舞いをする深さ優先探索法を提案している．この論文では，df-
