围棋与数学

✍ dations ◷ 2025-05-17 00:34:08 #围棋,组合博弈论,趣味数学

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

相关

  • 柠烯柠烯,又称苧烯(英语:Limonene;俗称柠檬油精)是一种环状单萜烯,室温下容易挥发,广泛存在于各种柑橘属果皮及香精油,特别是柠檬油、柠蒿油、橙子油、佛手柑油、莳萝油中。柠烯分子中含
  • 巴氏大熊猫巴氏大熊猫(),又译包氏大熊猫,又名大熊猫巴氏亚种,是大熊猫已灭绝的亚种,分布于更新世的中国、缅甸及越南北部。巴氏大熊猫较现今的大熊猫大及粗壮,长约2米。它们的头颅骨粗而且短,
  • 熊明遇熊明遇(1579年-1649年),字良孺(一字子良),号坛石山主人,江西南昌进贤北山人(今属江西南昌县泾口乡东湖村)。万历二十九年(1601年)进士,授长兴知县。万历四十三年(1615年)擢兵科给事中,多所论
  • 三圣街道三圣街道,是中华人民共和国四川省成都市锦江区下辖的一个乡镇级行政单位。三圣街道下辖以下地区:幸福社区、江家堰社区、大安桥社区、驸马社区、红砂社区和万福社区。16.31平
  • 博野县博野县是河北省保定市下辖的一个县。是明代著名史学家刘吉,清代思想家、教育家颜元,当代著名生物学家牛满江的故乡。也是宋代理学家程颐、程颢的祖籍所在地。县政府驻博野镇博
  • 火星人 (探险时光)《火星人》(英语:Sons of Mars)是《探险时光》第四季第十五集的名称。在卡通频道2012年7月23日播出。本集以小男孩芬恩和魔法狗杰克为主角。在这一集里,火星神格罗·戈伯·格罗
  • 江君大神江君大神,长江之神、龙神。在中国,河川与湖泊皆有龙神居住,而江君大神即为居住于长江的龙神。 亦有说,长江之神名叫奇相。 《广雅·释天》:“江神谓之奇相。” “庾仲雍《江记
  • 伯利恒大学伯利恒大学(阿拉伯语:جامعةبيتلحم‎,英语:Bethlehem University)是在西岸成立的第一所大学。 该大学于1973年在以色列的统治下建立,其历史可以追溯到1893年,当时德拉萨
  • 吾丘衍吾丘衍(1268年-1311年),又作吾衍,字子行,号贞白,又号竹房、竹素,别署布衣道士、真白居士,斋名生花坊,清初避孔丘讳,因作吾邱衍,世尊称贞白先生。开化华埠镇孔埠人,一作浙江衢州人。寓居钱
  • 李承龙李承龙(1958年2月13日-),台湾台北市人,政治人物,曾加入新党并当选1994年台北市议员,1994年创立“新思维广播电台”,2014年起担任财团法人承天武圣庙董事长,现为中华统一促进党捍卫队