围棋与数学

✍ dations ◷ 2025-04-02 10:24:18 #围棋,组合博弈论,趣味数学

围棋是世界上最流行的游戏之一。由于其规则优美而简单,围棋一直是数学研究的灵感来源。11世纪的中国学者沈括在《梦溪笔谈》中估计,围棋所有可能的局面数量为 10172 左右。近年来,约翰·H·康威在对围棋的研究中发明了超现实数,并促进了组合博弈论(英语:combinatorial game theory)的发展(“围棋微数字”就是它在围棋中使用的一个具体示例)。

广义围棋是在 的棋盘上进行的,在广义围棋的给定位置确定赢家的计算复杂性主要取决于打劫规则。

围棋的复杂性“几乎”是在PSPACE内的,这是因为在对弈的非打劫阶段,每一手都是不可逆的,只有通过吃子才有可能出现重复的棋形,使得复杂性提高。

没有打劫的话,围棋是PSPACE困难的。 这是通过把PSPACE完全的TQBF(真量化布尔公式)简化到广义地理(英语:generalized geography),到平面广义地理,到最高3阶的广义地理,最后简化到围棋棋盘位置。

有打劫的围棋则不在PSPACE中。尽管实际的棋局似乎从没超出过 n 2 {\displaystyle n^{2}} 的棋局数量,包括在实际中不可能下出的棋局,Tromp和Farnebäck分别给出 10480 的下限和 101710 的上限。人们听到最多的所有可能的棋局数量为 10700, 这个数字是361手棋的简单排列(361! = 10768)得出的。另一个常见的推导是假设每一手棋都有 n 个选择,总共 L 手棋,那么棋局总量就是 NL。就比如在某些职业对局中能够见到的一局棋400手,按照这种方法算出来就是 361400(101023)种可能的棋局。

所有可能的对局总数是棋盘大小和手数的函数。虽然大多数棋局都在400手以内,甚至200手都不到,但棋局是有可能更长的。

所有可能的对局总数可以通过多种方式从棋盘大小估算,有些方式会比另外一些更严格。最简单的,棋盘大小的简单排列 (N)L,没有考虑到非法吃子,以及非法的盘面。令 N 为棋盘大小(19×19=361),L 为最长的棋局长度,NL 构成了下界。在Tromp/Farnebäck的论文中给出了更精确的限制。

10700 这个数字对于200手以内的所有棋局来说是一种高估,但对361手以内的所有棋局来说是一种低估。而4700万手的棋,在一秒一手、每天下16个小时的情况下,也要下2¼年(一年有3100万秒)。

相关

  • 代尔夫特理工大学代尔夫特理工大学(荷兰语:Technische Universiteit Delft)是世界上顶尖的理工大学之一。代尔夫特理工大学位于荷兰代尔夫特市,是荷兰规模最大最具有综合性的理工大学,拥有超过150
  • span class=nowrapTaO(NOsub3/sub)sub3/sub/spa硝酸钽酰是一种无机化合物,化学式为TaO(NO3)3。硝酸钽酰由五氯化钽和五氧化二氮反应得到:
  • 异步游戏异步游戏是相对于同步游戏的概念。在同步游戏中,所有玩家共同使用的时间轴,也就是虚拟游戏世界的时间。玩家的动作指令和交互结果都是按虚拟世界的时间为准的,所以同步游戏会有
  • Facebook游戏列表Facebook游戏泛指必须透过Facebook平台的登录,才能进行的网页游戏。这些游戏属于免费游戏,或是付费购买虚拟货币〈Facebook币〉在游戏中取得优势。在Facebook中,常透过“应用程
  • 罗伯特·亚当罗伯特·亚当FRSE FRS FSA (Scot) FSA FRSA(英语:Robert Adam,1728年7月3日-1792年3月3日)是一位苏格兰新古典主义建筑、室内设计、家具设计师。他是威廉·亚当次子,并接受其教导,
  • 德赛甘杰德赛甘杰(Desaiganj),是印度马哈拉施特拉邦Gadchiroli县的一个城镇。总人口24786(2001年)。该地2001年总人口24786人,其中男性12686人,女性12100人;0—6岁人口3298人,其中男1733人,女1
  • 埃瓦尔德-海因里希·冯·克莱斯特-舒曼森埃瓦尔德-海因里希·冯·克莱斯特-舒曼森(德语:Ewald-Heinrich von Kleist-Schmenzin;1922年7月10日-2013年3月8日)是一名出版商,在二战期间曾经是德意志国防军陆军中尉军官,在1940
  • 孔德贵孔德贵(韩语:공덕귀,1911年4月21日-1997年11月24日)是朝鲜日治时期和韩国的女性神学家,政治家,社会活动家,大学教授。反日本,反朴正熙活动家。韩国独立活动家和政治家韩国的第4任总统
  • 柳滨 (1920年)柳滨(1920年5月30日-2005年10月1日),原名巴芳敏,女,满族,辽宁新民人,中华人民共和国政治人物,曾任江西省人大常委会副主任。
  • 段懿段懿,中国南北朝北齐大臣,字德猷,武威郡姑臧县人。段荣的孙子,段韶和元渠姨的长子。段懿有美好的仪态,很精通音乐,善于骑马射箭。北齐天保初年,娶颍川长公主,拜驸马都尉。官位至行台