围棋与数学

✍ dations ◷ 2025-06-06 09:16:47 #围棋,组合博弈论,趣味数学

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

相关

  • 物种种(拉丁语:Species)或称物种,生物分类的基本单位,位于生物分类法中最后一级,在属之下。较为笼统的概念,是指一群或多或少与其它这样的群体形态相同,并能够交配繁殖出具生殖能力后代
  • 推论在数学上,推论(也称为系、系理)指能够“简单明了地”从前述命题推出的论断,推论往往在定理后出现。如果命题B能够被简单明了的从命题A推导出,则称B为A的推论。推论、定理、命题等
  • 耕莘文教基金会耕莘文教基金会(英语:Cardinal Tien Cultural Foundation)成立于1963年,许多台湾受到瞩目的中生代作家中都是出自于耕莘,如蒋勋等。今日的发展项目有地方性的“长青学苑”以及举
  • 呆小症先天性碘缺乏症候群(又称矮呆病、克汀病、呆小病)是指因产妇对碘的摄取不足,使得婴儿先天性缺乏甲状腺激素(先天性甲状腺机能低下症),而导致严重阻碍身心发展的一种症状。一般通过
  • 缩时摄影缩时摄影(英语:Time-lapse photography),亦称为间隔摄影、旷时摄影、延时摄影,是一种将画面拍摄频率设定在远低于一般观看连续画面所需频率的摄影技术。当在正常速度下播放时,便会
  • 伦敦政经学院Rerum cognoscere causas To know the causes of things (伦敦政治经济学院(英语:The London School of Economics and Political Science;缩写:LSE;简称:伦敦经济学院或伦敦政经
  • 阿塔纳修斯·基歇尔阿塔纳修斯·基歇尔(德语:Athanasius Kircher,拉丁化也作Athanasius Kircherus Fuldensis,1602年5月2日-1680年11月27日),17世纪德国耶稣会成员和通才。他一生大多数时间在罗马的罗
  • 汉斯·津瑟汉斯·津瑟(英语:Hans Zinsser,1878年11月17日-1940年9月4日)是一位美国医生、细菌学家和科普作家,主要作品有《老鼠、虱子和历史(英语:Rats, Lice and History)》()等。
  • 乔·博恩瑟乔纳森·爱德华·“乔”·博恩瑟(英语:Jonathan Edward "Jon" Bernthal,1976年9月20日-),是一名美国男演员。较著名的是在AMC频道电视剧《行尸走肉》(2010年至2012年)中饰演夏恩·沃
  • 蒋敦世蒋敦世,广西省修仁县三诰村人,曾赴日本留学,法政大学毕业,同届毕业生还有居正先生。学成返乡,用剩余学费为基础,筹款雇工为三诰村修筑对外联络道路,以及跨溪圆拱桥。清末曾参与广西