围棋与数学

✍ dations ◷ 2025-11-26 06:53:02 #围棋,组合博弈论,趣味数学

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

相关

  • 布夏氏结节布夏氏结节(英语:Bouchard's nodes)是近端指骨关节(手指或脚趾中间的关节)上坚硬的骨头增生或胶状囊肿。常见于手部患有骨关节炎的患者,是由关节软骨钙化增生(英语:bone spur))的骨刺
  • 邓子新邓子新(1957年3月-),男,湖北房县人。中国微生物学家。武汉大学教授。1982年毕业于华中农业大学微生物专业,1987年获英国东英吉利亚大学分子微生物学博士学位。1988年起任教于华中
  • 下颌骨下颌骨又称下颚骨,是最大,最强的颜面骨,也是颅骨中唯一可以动的骨头,与上颌骨形成口腔。侧视图。前视图。下颌骨下颌骨外部侧视图。下颌骨内部侧视图。
  • 斯拉夫民族斯拉夫人(英语:Slavic peoples)是欧洲各民族和语言集团中人数最多的之一,有三亿四千万人。主要分布于东欧和中欧,语言属于斯拉夫语族。 斯拉夫人发源于今波兰东南部维斯杜拉河上
  • 航天员航天员是指接受航天训练后,指挥、操纵或搭乘航天器的人员。在美国,以旅行高度超过海拔80公里(50英里)的人被称为“astronaut”。国际航空联合会(FAI)定义的宇宙航行则需超过100公
  • 软件工程师软件工程师(英语:Software Engineer)一般指从事软件开发职业的人。软件工程师跟一般程序员的分别,在于一个程序员的工作是按照指定的规格进行编码,而软件工程师的工作则需要设计
  • 艾瑞克·沃尔夫艾瑞克·沃尔夫(Eric R. Wolf,1923年2月1日-1999年3月6日)是一位人类学家,他因乡民研究、拉丁美洲研究,以及他在人类学之中倡导马克思理论的观点而知名。沃尔夫生于维也纳的犹太家
  • 荻野真荻野 真(日语:荻野 真/おぎの まこと ,1959年5月26日-2019年4月29日),日本男性漫画家。岐阜县出身。代表作《孔雀王》。1985年《孔雀王》获得集英社青年漫画大赏受赏。2019年4月29
  • 潘忠潘忠(?年-1514年),字世贞,明朝弘治时期的御马监太监。弘治年间,担任御马监太监。正德元年(1506年),出任两广镇守太监。正德九年(1514年),去世。
  • 毛多克穆阿尔山毛多克穆阿尔山(英语:Mowdok Mual)是位于孟加拉国和缅甸边界上的一座山峰,海拔1052米,被认为是孟加拉国最高点。毛多克穆阿尔山不是官方公布的孟加拉国最高点,但是很多数据表明孟