@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00097561,
 author = {岸本, 章宏 and Kishimoto, Akihiro},
 book = {ゲームプログラミングワークショップ2004論文集},
 month = {Nov},
 note = {将棋では別手順によって同一局面に至ることがあるために，詰将棋解答プログラムはハッシュ表を用いるのが普通である．ハッシュ表の利用によって，探索に必要な空間を大幅に減らすことができるのだが，将棋には元の局面に戻る手順が存在するために詰将棋プログラムでは，詰む問題を不詰めと間違えるGHI（Graph History Interaction）問題を引き起こすことがある．本論文では[8]の手法を利用してGHI問題に対する正当でかつ効率のよい解決策を提案する．さらに本手法を詰将棋プログラムに実装した結果，詰みの性能を保持しつつ，難解な不詰の問題を解くことに成功した．, Since identical positions can be reached by more than one path in Shogi, tsume-shogi solvers are typically enhanced with transposition tables. This approach can reduce the search effort by a large margin. However, because Shogi contains repetitions, tsume-shogi solvers suffer from the Graph History Interaction (GHI) problem. GHI may cause a solver to falsely regard proven positions as disproven. This paper presents an efficient and correct method to cure the GHI problem, based on the algorithm in [8]. A tsume-shogi solver with our GHI solution is now able to solve harder fu-tsume positions without degradation in the ability to solve tsume positions.},
 pages = {1--8},
 publisher = {情報処理学会},
 title = {不詰を正しく証明するアルゴリズム},
 volume = {2004},
 year = {2004}
}