肢解国际象棋盘问题

✍ dations ◷ 2025-08-29 04:27:42 #认知心理学,逻辑谜题

肢解国际象棋盘问题(英语: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格骨牌填满。

相关

  • 松二糖松二糖(Turanose)是一种还原性二糖。自然界中的松二糖基本都是D构型的。其系统名为“α-D-吡喃葡萄糖-(1→3)-α-D-吡喃果糖”。松二糖除了与植物的信号转导有关外,还可被一些
  • 海牙海牙(荷兰语:Den Haag;.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium
  • 平民平民是古罗马时代罗马公民(不同于奴隶)中最大的群体。他们不同于更高阶层的贵族,在政治和经济上缺少权力。对他们适用的法律为《万民法》。并非所有平民都有土地。随着历史的发
  • 余切余切(英语:Cotangent,一般记作 cot {\displaystyle \cot } ,或者ctg)是三角函数的一种,是正切的余角函数。它的定义域是整个不等于
  • 浆膜心包心包,又名心膜,是一个圆锥形双层纤维浆膜囊,包裹心脏和出入心脏大血管根部。心包的两层分别为:心包的学名pericardium来自希腊语的περι(环绕、周围)与κάρδιον(心脏)两字
  • 绿绣眼暗绿绣眼鸟(学名:Zosterops japonicus)是一种小型雀形目绣眼鸟科鸟类,平均寿命约15年。台湾多称其作绿绣眼,台语称青笛仔、青啼仔,广东人多称其为相思仔、白眼圈。日本称为目白。
  • 海滩地形动力学海滩地形动力学是一门研究海滩地貌形成的学科,透过地形动力学(Morphodynamics)研究海床测绘学及水体的流体动力学。海滩地形动力的分类方法,目前最普遍的方法为Wright and Short
  • 霉菌性阴道炎念珠菌性阴道炎(英语:Candidal vulvovaginitis),是一种常见的、由白色念珠菌引起的阴道炎症。念珠菌还可寄生在人的口腔、皮肤、阴道等,并可自身互相传染。念珠菌阴道炎的病原体
  • 塞拉亚群岛萨拉亚尔群岛又译塞拉亚群岛是印度尼西亚的群岛,位于苏拉威西岛和弗洛勒斯岛之间的弗洛勒斯海,由73个岛屿组成,行政方面由南苏拉威西省萨拉亚尔群岛县负责管辖,面积903.35平方公
  • 迹见学园女子大学迹见学园女子大学(日语:跡見学園女子大学/あとみがくえんじょしだいがく;英语:Atomi University)是一所位于日本东京都的私立大学,1965年设立。文学部管理学部观光群体学部心理学部