围棋与数学

✍ dations ◷ 2025-11-30 11:36:06 #围棋,组合博弈论,趣味数学

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

相关

  • β-内酰胺酶结构 / ECODβ-内酰胺酶(β-lactamases),又称为盘尼西林酶(Penicillinase)、头孢菌素酶(Cephalosporinase),是一类由某些细菌生成来提供多重抗药性,对抗β-内酰胺类抗生素(比如青霉素
  • 语料库语言学语料库语言学(英语:corpus linguistics)是基于语言运用的实例(即语料库)的语言研究。语料库语言学可以对自然语言进行语法与句法分析,还可以研究它与其他语言的关系。语料库最初由
  • 临绍小片绍兴话,是吴语的一种方言,属于汉语族吴语太湖片区临绍小片。绍兴话同上海话、苏州话、湖州话、杭州话、宁波话同属北部吴语,彼此间互通度较高,可大致进行交流,如相对来说绍兴话与
  • 加里·贝克知识产权 市场化 自由放任 小政府主义 负所得税 公开市场操作 私有财产 私有化 经济主题 加里·斯坦利·贝克(英语:Gary Stanley Becker,1930年12月2日-2014年5月3日),美国著名经
  • diggdigg是一个以科技为主的新闻站点,用户可提交新闻予digg,通过digg机制显示于digg首页上。与一般新闻网站不同的是,在digg中用户可以提交新闻并订阅新闻,当订阅数达到一定数量后,di
  • 咖喱肉汤咖喱肉汤(Mulligatawny;.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentiu
  • 罗特山 (高地陶恩山脉)坐标:46°58′44″N 12°44′21″E / 46.97889°N 12.73917°E / 46.97889; 12.73917罗特山(德语:Roter Knopf),是奥地利的山峰,位于该国南部,由克恩顿州负责管辖,属于高地陶恩山脉
  • 雪白兜兰雪白兜兰 (学名:),又名雪白拖鞋兰,为兰科杓兰亚科兜兰属的一种多年生常绿草本植物。 原生于马来半岛,由泰国南部至马来西亚,其中以浮罗交怡最为著名。雪白兜兰存在于当今所有白色混
  • 迪奥塞斯迪奥塞斯(Deioces,或称Déjocès、Diyako,?—前675年),古希腊历史学家希罗多德认为他是古代西亚米底王国的建立者,不过有人认为米底王国其实是由迪奥塞斯之子弗拉欧尔特斯建立。迪
  • 阿诺德·英德里达松阿诺德·英德里达松(1961年2月28日-)冰岛犯罪小说作家。阿诺德于1961年出生于冰岛首都雷克雅未克,冰岛作家Indriði G. Þorsteinsson的儿子。在1981年至1982年,他曾担任冰岛晨