围棋与数学

✍ dations ◷ 2025-12-05 01:29:45 #围棋,组合博弈论,趣味数学

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

相关

  • 米塞林米塞林或盐酸米塞林(Mianserin),又译米安色林,是一种用于中枢神经系统的四环系抗郁药,属于一种抗组织胺药,有催眠作用,但抗胆碱作用(反副交感神经作用)几乎没有。米塞林是一种弱
  • 三市街三市街指的是台湾台北市西区市中心的三处市街:这三处街区原为相邻的聚落,经过19世纪末以来的发展,已经连成一气。自台北在1885年成为台湾行政中心以来,至1970年代台北东区兴起前
  • 酷热指数酷热指数(Heat Index)是一种综合空气温度和相对湿度来确定体感温度的指数──即真正感受到的热度。人体通过排出汗液来达到降温的目的,在这个过程里汗液中的水分得以蒸发并且从
  • 假山假山是在园林以园林石(日语:庭石)堆叠或用灰泥所建成的石山,是一种将自然景观融入园林的装饰。通常会和水景搭配运用以达到“山环水抱”的效果。
  • 1,2-二氯乙烷1,2-二氯乙烷,即邻二氯乙烷,化学式为C2H4Cl2,是卤代烃的一种,主要用作氯乙烯(聚氯乙烯单体)制取过程的中间体,也用作溶剂等。它在室温下是无色有类似氯仿气味的液体,有毒,具潜在致癌
  • 贝尔韦尤航空210号班机空难贝尔韦尤航空210号班机(英语:Bellview Airlines Flight 210),是从尼日利亚经济首都拉各斯穆尔塔拉·穆罕默德国际机场飞往首都阿布贾纳姆迪·阿齐基韦国际机场的定期客运航班,使
  • 伊丽莎白·奥尔森伊丽莎白·翠丝·奥尔森(英语:Elizabeth Chase Olsen,1989年2月16日-)是一名美国的女演员。与姐姐玛丽-凯特·奥尔森、阿什莉·奥尔森被称为“奥尔森三姐妹”。伊丽莎白 ·奥尔森
  • 间隔重复间隔重复(Spaced repetition)是一种利用心理学间隔效应,通过不断复习所学内容并逐步增加两次复习间的时间间隔来提升效率的学习技巧。间隔重复适用于诸多学习情境,特别是学习者
  • 吊带吊带(安全带),又称背带,是穿在双肩上用来吊起裤子的两条带子。带子通常是带有弹性的,或者整条都有弹性,或者仅在带子和裤子相接触的部分带有弹性。大多数吊带是用织布制作,在背后
  • 马尔卡普尔马尔卡普尔(Markapur),是印度安得拉邦Prakasam县的一个城镇。总人口58454(2001年)。该地2001年总人口58454人,其中男性29787人,女性28667人;0—6岁人口7353人,其中男3721人,女3632人;识