围棋与数学

✍ dations ◷ 2025-09-12 15:55:57 #围棋,组合博弈论,趣味数学

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

相关

  • 托马斯·庚斯博罗托马斯·庚斯博罗(英语:Thomas Gainsborough,1727年5月14日(受洗日)-1788年8月2日)是一位英国肖像画及风景画家。他是皇家艺术研究院的创始人之一,曾为英国皇室绘制过许多作品,并与
  • 任何事任何事(英语:Anything)是艾迪塔·歌娳娅的第二张专辑和第一张国际专辑艾迪塔的第四支派台单曲。 这首歌由Pam Sheyne 和 Will Mowat 作曲及填词,Christopher Neil制作,而单曲封
  • 约里斯·范奥弗里姆约里斯·范奥弗里姆(荷兰语:Joris van Overeem;1994年6月1日-)是一位荷兰足球运动员。在场上的位置是中场。他现在效力于荷兰足球甲级联赛球队多德勒支足球俱乐部。他也代表荷兰
  • 黎龙铤黎龙铤(越南语:Lê Long Đĩnh/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","M
  • 韩文 (万历进士)韩文(1548年11月11日-?年,嘉靖二十七年十月十二日-?),字原质,一字元质,号彬菴。直隶常州府无锡县(今属江苏省无锡市)人,明朝政治人物。早年为监生,治书经。万历七年(1579年)己卯科南直隶乡试
  • 墨渍镇谜团《墨渍镇谜团》(英语:)是雷蒙·斯尼奇(作家丹尼尔·韩德勒的笔名)所作的系列小说,共有四部,分别为《这时候会是谁?》、《失踪女孩在哪里?(英语:When Did You See Her Last?)》、《邪恶吊
  • 麻栗坡小檗麻栗坡小檗(学名:)是小檗科小檗属的植物,是中国的特有植物。分布于中国大陆的云南等地,生长于海拔1,000米至1,800米的地区,多生长于石灰岩山坡林中及路旁,目前尚未由人工引种栽培。
  • 僵蚕僵蚕(学名:),又名白僵蚕、僵虫、天虫,是蚕蛾科昆虫家蚕 L. 4~5龄的幼虫因感染 (或人工接种) 球孢白僵菌 (Bals.) Vuill致死后经干燥而得的虫体。之后亦可用多种方式炮制,如清炒、
  • 拉法埃莱·本丹迪拉法埃莱·本丹迪(意大利语:Raffaele Bendandi) (1893年10月17日生于法恩扎,1979年11月3日死于法恩扎)是一位因地震预言而知名的意大利伪科学学家。本丹迪是靠自学的,也不曾对他自
  • 桓歆桓歆,字叔道,小字式,谯国龙亢(今安徽怀远)人。东晋大司马桓温之三子。桓熙、桓济之弟,桓祎、桓伟、桓玄之兄。桓歆是东晋权臣桓温之三子。后来被赐爵为临贺公。桓玄篡晋建楚后遭击