肢解国际象棋盘问题

✍ dations ◷ 2025-02-24 05:44:30 #认知心理学,逻辑谜题

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

相关

  • 东斯拉夫人主要分布国家: 白俄罗斯、俄罗斯、乌克兰 次要分布国家:东斯拉夫人(白俄罗斯语:Усходнія славяне;俄语:Восточные славяне;乌克兰语:Східні
  • 蓟马锥尾亚目 Terebrantia管尾亚目 Tubulifera缨翅目(Thysanoptera)是昆虫纲的一目,通称为蓟马。小型而细长的昆虫,体型小约1mm左右,一般黄褐或黑色;眼睛发达;翅膀狭长,翅缘扁长,具有少数
  • 经方经方,中医术语,有两种意义,一是指医家在治疗过程中发现确有疗效的“经验之方”,一是指在张仲景著作伤寒论、金匮要略中使用过的“医经之方”。在明清之前,经方一词主要是指“经验
  • 红翅黑鹂红翅黑鹂(学名:Agelaius phoeniceus,英文名:red-winged blackbird),亦作红翅乌鸫、美洲红翼鸫,是黑鹂属的一种鸟类,主要分布于北美洲。分有多个族群,北部的族群在冬季飞往南部过冬,此
  • 日本汉字音的声调陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文 籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆) 隶书 ‧ 楷书 ‧ 行书 ‧ 草书 漆书 ‧  书法 ‧ 飞白书笔画 
  • 有野晋哉有野 晋哉(1972年2月25日-)是日本谐星,生于日本大阪府。在搞笑组合好孩子(よゐこ)里担当ボケ(装傻)的角色,搭档是滨口优。现在的代表节目为ゲームセンターCX(Game Center CX),昵称是课长
  • 威廉四世 (英国)英王威廉四世(英语:William IV,1765年8月21日-1837年6月20日),1830年—1837年逝世在位为联合王国国王威廉四世和汉诺威国王威廉(德语:Wilhelm)。威廉四世是乔治三世的第三个儿子,也是
  • 公寓大厦管理委员会公寓大厦管理委员会,或简称社区管委会,是为了维护与管理公寓大厦的正常运作,以公寓大厦的所有区分所有权人为基础的管理组织。本条目主要介绍台湾地区的情况。
  • 战略特勤组战略特勤组(英语:)是2010年上映的美国惊悚片,由格雷戈尔·乔丹导演,塞缪尔·杰克逊、麦克尔·辛、凯莉-安·摩丝、布兰登·劳斯、吉尔·贝罗斯、马丁·多诺万及史蒂芬·鲁特主
  • 富伦湖坐标:54°11′22″N 10°18′54″E / 54.18944°N 10.31500°E / 54.18944; 10.31500富伦湖(德语:Fuhlensee),是德国的湖泊,位于该国北部石勒苏益格-荷尔斯泰因州,面积0.14平方公里