著者

横田 雅也 築地 立家 藤井 愼二 伊藤 大雄

出版者

The Institute of Electronics, Information and Communication Engineers

雑誌

電子情報通信学会論文誌 D (ISSN:09151915)

巻号頁・発行日

vol.J84-D1, no.1, pp.58-61, 2001-01-01

---

縦横 N ますに王将を除く各駒が O(N) 枚ずつ配置されている盤面が与えられたとき,詰み手順があるかどうかを判定する問題を一般化詰め将棋問題と呼ぶ.伊藤らはその計算複雑さがNP困難であることを証明した.本論文では盤面とともに手数の上限を単進数で与えたときの一般化詰め将棋問題がPSPACE完全であることを証明する.