围棋与数学

✍ dations ◷ 2025-12-07 19:11:15 #围棋,组合博弈论,趣味数学

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

相关

  • 家猪(学名:Sus scrofa domestica)是野猪被人类驯化后所形成的亚种,獠牙较野猪短,是人类的家畜之一,目的是从猪身上取得猪肉、猪脚等食材。人类蓄养家猪的历史相当悠久,不过至16世纪
  • 亚平宁半岛意大利半岛(意大利语:Penisola italiana),又名亚平宁半岛 (Apennines)(意大利语:Penisola appenninica)是南欧洲三大半岛之一,位居三大半岛的中间,在地中海之北。亚平宁半岛北起波河
  • 万福庵照墙坐标:22°59′46″N 120°12′10″E / 22.996175°N 120.202886°E / 22.996175; 120.202886首貮境万福庵,是位于台湾台南市中西区的齐天大圣庙。其前身为明朝英义伯阮骏之夫
  • 断肠草断肠草是多种草本植物的别称,一个说法指在中国,称为“断肠草”的植物有9科、13属、16种之多,多数含毒性,但一般指:亦可指:
  • 第43届奥斯卡金像奖第43届学院奖颁奖典礼于1971年4月15日在洛杉矶的多萝西·钱德勒大厅(英语:Dorothy Chandler Pavilion)举行,本次颁奖典礼没有专门设置主持人。传记片《巴顿将军》在10项提名中获
  • 山梨半造山梨半造(1864年4月6日(元治元年三月初一)-1944年(昭和十九年)7月2日)日本陆军军人。最终阶级为陆军大将。陆军大臣、朝鲜总督。出生于相模国大住郡下岛村(现在的神奈川县平冢市下岛
  • 巴斯 (大熊猫)巴斯(1980年-2017年9月13日)生于四川省宝兴县,大熊猫,1990年亚运会吉祥物“盼盼”的原型,一生创造了大熊猫史上多项第一。巴斯的家乡在四川省宝兴县,是野生雌性大熊猫。1984年2月22
  • 郑奇光郑奇光(英语:Timothy,1994年10月14日-),台湾男演员,伊林娱乐旗下男艺人 。InstagramFacebook
  • 伊达·比塔莱伊达·比塔莱(西班牙语:Ida Vitale,1923年11月2日-)是乌拉圭蒙得维的亚出身的女性诗人,2018年塞万提斯奖得主。1923年生于乌拉圭蒙得维的亚,是该国作家团体运动“四五”一代的重要
  • 群英夺宝《群英夺宝》(英语:)是一部1934年的美国犯罪电影,由罗伯特·弗洛里(英语:Robert Florey)执导。