肢解国际象棋盘问题

✍ dations ◷ 2025-12-02 15:59:21 #认知心理学,逻辑谜题

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

相关

  • 2020年3月上旬除特别注明外,本文所有时间均以东九区时间(UTC+9)为准。
  • IDEFIDEF(ICAM Definition Languages)是20世纪70年代由美国空军发明,最早用于描述企业内部运作的一套建模方法。经过不断的完善改进,其用途变广泛,现在可以适用于一般的软件开发。
  • span style=color: white;欧洲民主党/span欧洲民主党(英语:European Democratic Party,缩写为EDP)是一个支持欧洲整合的中间派欧洲政党。欧洲民主党在2004年4月16日开始运作,12月9日在布鲁塞尔正式成立。法国民主联盟的弗
  • 兰陵县兰陵县是中国山东省临沂市所辖的一个县。总面积为1899.86平方千米,2001年人口为117万。战国时楚国始置兰陵县,荀子曾任县令,今兰陵县部分属之。汉朝时,为东海郡襄贲县、兰陵县辖
  • 共和国列表这是一个实行共和制的政权或国家的列表,实行共和制的政权或国家通常叫做共和国。从古至今世界上有许多共和国。一个共和国体制的政府能包含许多不同种类的政治与经济系统,自独
  • 不送气硬颚搭嘴音不送气硬颚搭嘴音(Tenuis palatal click)是一种主要出现于南非的辅音。其中,术语“不送气”(tenuis)又称“无声爆破音”,特指清音、不送气(unaspirated)、未颚音化、未声门化(英语:Glo
  • 高显县高显县,中国古县名。西汉置,治所在今辽宁省铁岭市,一说治今沈阳市东南郊魏家楼子村古城。属辽东郡。东汉永初元年(107年)与辽阳、候城同时改属玄菟郡。辽阳遗址在今茨榆坨,候城在
  • 伊能忠敬伊能忠敬(日语:伊能 忠敬/いのう ただたか 、1745年(延享2年)2月11日 - 1818年(文化15年)5月17日)是日本江户时代的地图测绘家。伊能忠敬绘制了日本第一张全国地图《大日本沿海舆地
  • 黄自元黄自元(1836年-1916年),字敬舆,号澹叟,今湖南省安化县龙塘乡人,晚清书法家。幼从祖父黄德濂练字,悬腕书写。同治六年(1867年)举于乡,同治七年(1868年),殿试第二名(榜眼),授翰林院编修。1870年
  • 智利国徽智利国徽采用于1834年,为盾形,由英国设计师查理·伍德·泰勒(Charles Wood Taylor)设计。上为蓝,下为红,中间的五角星。顶端有蓝、白、红三根羽毛,是昔日总统的帽饰,左侧是安第斯山