肢解国际象棋盘问题

✍ dations ◷ 2025-10-19 21:08:27 #认知心理学,逻辑谜题

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

相关

  • 胚层胚层(germ layer)亦称为生殖上皮,但较少使用,是动物胚胎形成时的一群细胞。所有动物都具有胚层,其中脊椎动物的三胚层构造特别显著,而海绵动物的胚层最为简单。真后生动物(比海绵复
  • 社会统计学社会统计学(social statistics)是统计学的应用分支,有系统地搜集、整理、分析、呈现社会环境中人类行为的数据资料,显现资料的性质,帮助个人、团体、企业或政府推论未来情况,并做
  • 英国自由党自由党(The Liberal Party),是英国历史上一个曾经长期执政的政党,成立于1859年,曾与保守党并列英国国会两大政党,直至1922年被工党取代,成为第三大党,惟仍相当具有影响力。到了1988
  • 也门犹太人也门犹太人,是生活在也门的犹太人社群。他们的历史非常悠久,在圣经所罗门王时代已生活在也门,但在第一次中东战争后因反犹太主义高涨,以色列在1949年6月至1950年9月发起“魔毯行
  • 5s2 2,8,18,8,2蒸气压 第一:549.5 kJ·mol−1 第二:1064.2 kJ·mol−1 主条目:锶的同位素 锶(Strontium,旧译作鎴)是一种化学元素,它的化学符号是Sr,它的原子序数是38,属于周期表的2A
  • 裂肋三叶虫目裂肋三叶虫目(学名:Lichida),简称裂肋虫目,为三叶虫纲下的其中一目。是典型多刺的三叶虫类。裂肋三叶虫类的胸部通常有8-13个环节,有一些种类具有非常多的刺。目前还无法得知裂肋
  • 四氢噻吩氯化亚金四氢噻吩氯化亚金(英语:Chloro(tetrahydrothiophene)gold(I))是金的配合物,此化合物类似二甲硫醚氯化亚金,常用来制备其他金的化合物,四氢噻吩基容易被其他更强配基取代。此化合物
  • 云南美术出版社云南美术出版社,位于云南省昆明市书林街100号,是云南省的一个出版单位。1989年7月5日批准建制,正式成立于1993年4月26日。前身为云南人民出版社的美术编辑部、旅游编辑部。成立
  • 南联站† 路线图不按真实比例,仅供参考.南联站是深圳地铁3号线一个使用中的车站,位于深圳市龙岗区龙岗街道龙岗大道近碧新路,于2010年12月28日正式启用,为高架站。南联站位于龙岗区龙
  • 戈麦戈麦(1967年-1991年9月24日),本名褚福军,中国现代诗人。生于黑龙江省萝北县宝泉岭农场,祖籍山东省巨野县,1991年9月24日身负石块自沉于北京西郊万泉河,时年仅24岁。1985年考入北京大