围棋与数学

✍ dations ◷ 2025-02-23 20:05:59 #围棋,组合博弈论,趣味数学

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

相关

  • 葡萄糖醛酸葡糖醛酸(Glucuronic acid),又称葡萄糖醛酸,是葡萄糖的 C-6 羟基被氧化为羧基形成的糖醛酸。D-葡糖醛酸一般不以游离的形式存在,因为该形式不稳定,而是以更稳定的呋喃环的 3,6-内
  • 遗传变异突变(英语:Mutation,即基因突变)在生物学上的含义,是指细胞中的遗传基因(通常指存在于细胞核中的去氧核糖核酸)发生的改变。它包括单个碱基改变所引起的点突变,或多个碱基的缺失、重
  • 罗马皇帝罗马皇帝是罗马帝国时期的最高头衔,是身兼国家元首和政府首脑的最高领导人。在欧洲历史中,皇帝(拉丁语:Imperator;英语:emperor)源自于古罗马时期,音译为“英白拉多”,原意是统帅,源自
  • 嘉义县市区公车嘉义县市区公车,为嘉义县政府主管(承办单位:建设处)之公车路线,以嘉义县为营业区域,并有部分路线依《汽车运输业管理规则》第42条延长至嘉义市及台南市。原由嘉义县公车处独家经营
  • 傀儡人生《成为约翰马尔科维奇》(英语:Being John Malkovich,又译《傀儡人生》、《成为约翰马尔科维奇》)是一部1999年的电影。作者是查理·考夫曼,导演是史碧·庄斯。此片由约翰·库萨克
  • 松下亚纪松下亚纪(11月22日-)是日本的女性声优,所属Office薫。埼玉县出身。1996年2007年
  • 防撞条防撞条是一种汽车安全产品,用于在停车场中防止车辆被挂伤;在光线不充裕的停车场,补助驾驶人行车安全。防撞条一般是装设在柱角和弯道部分,主要材质为软质PU、弹性塑条、弹性胶条
  • 战备跑道战备跑道,是指为避免发生战争时,跑道遭毁或被占据,在公路中,设计可供军用飞机降落的路段。其路面需笔直无弯道,装有灯光标志,没有电杆、路灯、高层建筑、跨线桥、天桥之类的障碍物
  • 2008年台北国际听障运动邀请赛2008年台北国际听障运动邀请赛(Invitational Games for the Deaf, Taipei, 2008)是一项在台北市举办的国际级听障运动竞赛,主要配合2009年夏季听障奥林匹克运动会正式倒数一年(3
  • 袁伟时袁伟时(1931年12月15日- ),广东兴宁人,中国历史学家,中山大学教授。研究方向为中国近代史。袁伟时1947年考进广州南海中学念高中,1950年考进中山大学经济系,至1957年在复旦大学政治