不知道之前有没有人做过这个问题,如有雷同纯属巧合。

偏理论,也是个人的一点兴趣研究。若有异议、疑问、看法,欢迎讨论!

摘要:

我给魔塔问题下了一个定义,证明了魔塔求解通关路线问题是NPC问题。由于真正的魔塔问题会比我这里描述的问题复杂,因此魔塔求解器的问题难度(至少)是NPC。

目前,P=NP?猜想既没有被证真也没有被证伪。也就是说,魔塔求解器目前没有找到多项式时间算法,且目前普遍认为不存在多项式时间算法。

太长/太难不看:

说白了就是告诉你——如果想写一个程序来求解魔塔通关路线,基本不用考虑高效的多项式时间算法了,直接回溯+分支限界说不定性价比挺高的。

一些概念(大白话,严格定义请wiki):

P:多项式时间可解

NP:多项式时间可验证

NP难:比所有NP问题都难的问题

NPC(NP完全):NP难且属于NP的问题(即NP问题中最难的问题)

证明过程:

同时也发在了百度贴吧和Bilibili。