围棋与数学

✍ dations ◷ 2025-12-01 07:05:21 #围棋,组合博弈论,趣味数学

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

相关

  • 波黑面积以下资讯是以2017估计家用电源国家领袖国内生产总值(购买力平价) 以下资讯是以2018年估计国内生产总值(国际汇率) 以下资讯是以2018年估计人类发展指数 以下资讯是以2018年
  • 禽类鸟是鸟纲(学名:Aves)动物的通称,是唯一存活至今的恐龙,现代所有鸟类在生物学上也被分类为鸟形恐龙(即鸟翼类)的一部分;鸟纲的全体成员均为两足、恒温、卵生、身披羽毛且色彩鲜艳各异
  • 大都市带大都市带(英语:megalopolis,亦作megapolis、megaregion或supercity),又译大都市区,通指大致相邻的都会区的链,它们可能在某种程度上分离,也可能连成一片连续的城市区域。中文的城市
  • Oxon坐标:51°45′40″N 1°15′12″W / 51.7611°N 1.2534°W / 51.7611; -1.2534牛津大学(英语:University of Oxford;非正式:Oxford University,或:Oxford;勋衔简称:Oxon)位于英格兰东
  • 阿斯塔蒂阿斯塔蒂(希腊语:Ἀστάρτη,Astártē、Astarte),又译阿斯塔尔塔,是古代西北闪米特语地区的腓尼基人等所崇拜的丰饶和爱的女神。阿斯塔蒂是从早期青铜时代到古典时代,近东和东
  • 爱德基金会爱德基金会(英语:The Amity Foundation)是与中国基督教协会有关联的团体,是中国的基督徒志愿者参加组成,主要帮助中国贫困地区的团体。本部在南京,活动概况主要包括从海外针对中国
  • 铅山县.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
  • 玉浦海战釜山镇 – 多大浦 – 东莱城 – 尚州 – 忠州弹琴台 – 玉浦 – 泗川 – 临津江 – 唐浦 – 唐项浦 – 闲山岛 – 龙仁 – 梨峙 – 平壤 – 釜山浦 – 北关
  • 普天间基地26°16′15″N 127°44′53″E / 26.27083°N 127.74806°E / 26.27083; 127.74806 (普天间)坐标:26°16′15″N 127°44′53″E / 26.27083°N 127.74806°E / 26.27083; 12
  • 基斯赫特瓦尔基斯赫特瓦尔(Kishtwar),是印度查谟和克什米尔基什瓦县的一个城镇。总人口15806(2001年)。该地2001年总人口15806人,其中男性9604人,女性6202人;0—6岁人口1758人,其中男966人,女792人