月归档:三月 2017

《堆雪人推箱子》是PSPACE完全的

  作者:杨超 本文地址:http://sokoban.ws/blog/?p=3444 去年2月份,我写了一篇博文介绍了推箱子游戏(Sokoban)的计算复杂度是PSPACE完全的。同年4月份,我又写了一篇博文介绍了一个推箱子变种游戏《堆雪人推箱子(A good snowman is hard to build)》。 写了这两篇博文后,我产生了一个想法,证明堆雪人推箱子(简称Snowman)的计算复杂度也是PSPACE完全的。经过一番努力,我把这个想法写成了一篇论文,投到由荷兰的学术出版集团Elsevier发行的期刊《Theoretical Computer Science》。该论文有三名共同作者,我是通讯作者(corresponding author)。今年(2017年)3月,被正式接收了,并于3月18日在网上发表了。 该论文永久有效的DOI地址:http://dx.doi.org/10.1016/j.tcs.2017.03.011 根据和出版社之间的通常的版权协议,我有权在个人博客分享被接收的手稿(accepted manuscript),但经过重新排版的正式发表的期刊论文(published journal article)的版权归Elsevier出版集团。本篇博文的目的就是提供该论文手稿的下载。 手稿下载:snowman_is_pspace_complete.pdf 就在论文被接受前后,我在位于上海复旦大学校内的上海数学中心举办的一次小型的图论青年学者研讨会(Graph Young Theorists Workshop)上,对这个问题作了一个20分钟报告。My presentation slides for this workshop can be also downloaded from here. 文章被接收的时间恰逢MF8推箱子比赛马上第八周年了,而且只差几期就是第100期的比赛了。又关注推箱子已近二十年了,能发表一篇与推箱子相关的学术论文,我十分高兴。 我早在1999年上大学时通过互联网搜索,看到加拿大阿尔伯特大学的Joseph C. Culberson证明推箱子是PSPACE完全问题的文章。但是那时文章中出现的PSPACE和Turing Machine(图灵机)等术语对我如同天书。 … 继续阅读

发表在 推箱子, 数学, 游戏, 计算机 | 留下评论