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-
{{#tags}}- {{label}}
{{/tags}}