著者

石飛 太一 飯田 弘之

雑誌

ゲームプログラミングワークショップ2012論文集

巻号頁・発行日

vol.2012, no.6, pp.163-166, 2012-11-09

---

本論文では証明数を利用した詰将棋問題の感性評価について調査を行った.そこで,証明数と反証数についての統計情報を得るため,Allis(1994) によって提案されたProof-Number Search を利用し,コンテストにおける上位問題の分析を行った.また,上位入賞問題とその他一般問題について違いを調べ比較した.結論として,証明数と詰将棋問題の感性評価の間には一定の関わりがあることが分かった。