围棋与数学

✍ dations ◷ 2025-12-01 00:35:19 #围棋,组合博弈论,趣味数学

围棋是世界上最流行的游戏之一。由于其规则优美而简单,围棋一直是数学研究的灵感来源。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万秒)。

相关

  • 人类增强人体增强(英语:Human enhancement)是指那些希望通过自然或人工的手段暂时或永久的克服现在人体局限的尝试。这个术语有时适用于使用技术手段选择或改变人类的素质和能力,而不管
  • 蟹蛛详见内文蟹蛛(学名:Thomisidae;英文:Crab spider),蟹蛛科的通称,蜘蛛目蟹蛛总科(Thomisoidea)。常见的蟹蛛有:三突花蛛和鞍形花蟹蛛。形状像蟹,也能像蟹那样横行或倒退,因而得名。体长约
  • 狼牙棒狼牙棒,为古代兵器的一种,用坚重的木头制成,长四五尺,上端长圆作枣子形,形如狼牙。在宋朝时是金国士兵所用武器,绍兴年间有戏剧反映了当时宋人对该武器威力的无奈。
  • 参与型经济参与型经济(Participatory economics,简称parecon)是一个还在设想阶段的经济体制。该体制通过平等参与来作经济决定,引导一个社会的资源配置和消费。该体制的目标是替代当代资本
  • 尼古拉斯·梅特罗波利斯尼古拉斯·康斯坦丁·梅特罗波利斯(英语:Nicholas Constantine Metropolis,希腊语:Νικόλαος Μητρόπουλος, 1915年4月11日-1999年10月17日)美籍希腊裔物理学家
  • 约翰·奥古斯都·瓦尔贝里约翰·奥古斯都·瓦尔贝里(Johan August Wahlberg,1810年10月9日——1856年3月6日),生于瑞典哥德堡附近的Lagklarebäck(今名Lackarebäck),死于贝专纳保护国的恩加米湖畔。瑞典自
  • 斯坦尼斯瓦夫·米科瓦伊奇克斯坦尼斯瓦夫·米科瓦伊奇克(Stanisław Mikołajczyk) (1901年7月28日-1966年12月13日; .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine"
  • 蒋庆蒋庆(1953年-),字勿恤,号盘山叟,中国当代儒学家。四配 颜回 · 孟子 · 曾参 · 孔伋日本 藤原惺窝 · 林罗山 · 室鸠巢 新井白石 · 雨森芳洲朝鲜 薛聪 · 权近 · 吉再
  • 胡安·爱德华多·苏尼加胡安·爱德华多·苏尼加·阿马罗(西班牙语:Juan Eduardo Zúñiga Amaro,1919年1月24日-2020年2月24日)是西班牙作家、文学批评家和翻译家。1919年1月24日出生于马德里。曾在美术
  • 高鼎三高鼎三(1914年07月24日-2002年6月13日),上海人,半导体与光电子学专家,中国工程院院士。1955年回国来吉林大学物理系任教。1995年,获选中国工程院信息与电子工程学部院士。