肢解国际象棋盘问题

✍ dations ◷ 2025-05-10 07:10:40 #认知心理学,逻辑谜题

肢解国际象棋盘问题(英语:mutilated chessboard problem)属于平铺拼图问题(英语:Tiling puzzle),最早是由Max Black(英语:Max Black)在1946年的《Critical Thinking》中提出。后来数学家所罗门·格伦布(1954年)及马丁·加德纳(在杂志《科学人》中的专栏《Mathematical Games》中)都有讨论到此问题。问题:“假设一个标准的8x8格国际象棋棋盘,移除对角的2个方块,余下62个方块。可不可以用31个2x1格骨牌来盖上余下方块呢?”

大部分讨论此问题的文献是在概念上说明此问题,计算机科学家约翰·麦卡锡认为这问题对于自动证明系统而言是很难的问题。若使用归结系统,其解的困难度是指数等级。

肢解国际象棋盘问题是无解的。国际象棋盘上的2x1格骨牌一定会占据一个白色方格及一个黑色方格,因此被骨牌填满的位置,白色方格及黑色方格的个数相同。在肢解国际象棋盘问题中,若移除的二个是白色方格,有32个黑色方格及30个白色方格要填满,两者数量不同,无法用2x1格骨牌填满。若移除的二个是黑色方格,有30个黑色方格及32个白色方格要填满,还是无法用2x1格骨牌填满。

只要国际象棋盘上移除二个同色的方格,相同的方式可以证明,移除方格后的棋盘无法用2x1格骨牌填满。不过若填除的是二个不同颜色的方格,一定可以用2x1格骨牌填满,这个结果称为高莫利定理(Gomory's theorem),得名自数学家拉尔夫·爱德华·高莫利(英语:Ralph E. Gomory),他在1973年提出的证明。高莫利定理可以用棋盘组成格子图(英语:grid graph)的哈密顿图来证明,移去二个不同色的方格会将哈密顿图切成二部分,每个部分的黑色方格及白色方格都一样多,两部分都可以用2x1格骨牌填满。

相关

  • 电子传递链电子传递链又称呼吸链,是氧化磷酸化的一部分,位于原核生物细胞膜或者真核生物的线粒体内膜上,叶绿体在类囊体膜上所进行的进行光合磷酸化过程,高能电子在膜上一系列蛋白传送的过
  • 职业指导职业(英语:job),是一种日常性的规律劳动,其目的在于换取劳动所得(也就是薪资),亦象征在社会上的地位和名誉等等。职场上的专门行业,是对劳动的分类。职业是社会分工的产物,西方商品经
  • 肌球蛋白轻链肌球蛋白轻链(英语:Myosin light chain)是肌球蛋白的一个亚基。肌球蛋白轻链拥有自己的肽链,这点与重链不同。它们不被包括在肌球蛋白家族中,但对形成肌球蛋白酶催化超分子复合体
  • 上海话拉丁化方案上海话拉丁化方案指上海话的拉丁字母转写方案。以下列出部分学者在其专著中针对现代上海话设计的拉丁化方案及首届国际上海方言学术研讨会审定的两套方案。这十套方案按浊塞
  • 亚历桑德罗·尼沃拉亚历桑德罗·尼沃拉(英语:Alessandro Nivola,1972年6月28日-)是一名美国男演员和监制。尼沃拉1972年出生在美国马萨诸塞州波士顿。他的母亲维吉尼亚是艺术家。父亲彼得罗·尼沃拉
  • 长颌鱼长颌鱼,为辐鳍鱼纲骨舌鱼目象鼻鱼科的其中一种。分布于非洲尼罗河、爱德华湖、亚伯特湖等流域,体长可达100公分,属肉食性,以水生昆虫、蠕虫等为食,可做为观赏鱼。
  • 中村雅哉中村雅哉(日语:中村 雅哉,1925年12月24日-2017年1月22日)是日本企业家、南梦宫(Namco)创始人。在中村的带领下,南梦宫从起初的游乐设施厂商,成长为20世纪70、80年代日本第三大电子游
  • 赖垓赖垓(1593年-1661年),字元式,号宇肩,福建德化琼溪人,明朝政治人物,同进士出身。崇祯元年(1628年)登戊辰科进士。初任浙江平湖县知事,后晋升为翰林院检讨,后告假归乡。清朝建立后,不再出仕
  • 亚努斯·卡明斯基亚努斯·席蒙特·卡明斯基 (波兰语:Janusz Zygmunt Kamiński,1959年7月27日-)是一名知名的波兰电影摄影师,经常与著名导演史蒂芬·斯皮尔伯格合作。曾经以《辛德勒的名单》和《
  • 长谷川悠长谷川悠(1987年7月5日-),日本足球运动员,司职前锋,现效力伊拉瓦拉超级联赛(英语:Illawarra Premier League)球队卧龙岗奥林匹克(英语:Wollongong Olympic FC)。长谷川悠2006年从流通经