从现在起,《万智牌》卡牌游戏鄙视链的顶端地位终于有了科学研究撑腰。

《万智牌》是一款集换式卡牌对战游戏,设计者为美国数学教授李察·加菲(Richard Channing Garfield 他还设计了著名的阿斗游戏 Artifact),双方各用一套60张的牌组进行游戏,可选择组成牌组的卡牌一共有20000余张。

据《麻省理工科技评论》报道,由英国剑桥的独立研究员及桌面游戏设计师 Alex Churchill、美国宾州大学的 Austin Herrick 和美国佐治亚理工学院的 Stella Biderman 组成的小组首次对《万智牌》进行了计算复杂度的测量,并 “证明了《万智牌》是从计算方面讲最复杂的真实存在的游戏。”

“在这项工作之前,我们一直以为真实存在的游戏不可能比 NP 问题 还复杂。”  Churchill 和同僚说。但他们发现《万智牌》确实更复杂。他们先把每张卡的属性数值和能力 “翻译” 成可以被编程的数据,然后在一个图灵机里进行一场有两个玩家对战的游戏。最终发现,确定到底哪个玩家能赢这件事,跟计算机科学中著名的 停机问题 类似。停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。而艾伦·图灵在1936年证明了,不存在解决停机问题的通用算法,blabla。所以 Churchill 团队的核心结论就是,预判一场《万智牌》比赛的输赢的通用算法是不存在的,“这是史上第一次遇到这样的状况” Churchill 团队表示。

这一发现给博弈论或者说游戏理论提出了很基本的问题。主流博弈论认为所有的游戏都是可计算的,而《万智牌》就不符合这一论断。这意味着计算机科学家需要重新考量自己对游戏的观点,尤其是当他们希望创造一个全场景通用的游戏计算理论的时候。

当然更重要的是,《万智牌》卡牌游戏鄙视链的顶端地位终于有了科学研究撑腰,从现在起,但凡有人对你《万智牌》玩家的崇高身份以下犯上,甚至敢在你面前提《炉石传说》,你就把 这篇论文,拍在他的,脸上。(我们不对之后发生的任何事情负责)

© 异视异色(北京)文化传播有限公司
版权所有,未经授权不得以任何形式转载及使用,违者必究。