肢解国际象棋盘问题

✍ dations ◷ 2024-09-19 09:38: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格骨牌填满。

相关

  • 齐克果索伦·奥贝·克尔凯郭尔(丹麦语:Søren Aabye Kierkegaard,又译齐克果、祈克果、克尔凯郭尔、吉尔凯高尔等;1813年5月5日-1855年11月11日)是丹麦神学家、哲学家及作家,一般被视为存
  • 头发角蛋白发角蛋白或毛发角蛋白(英语:Hair keratin)是一类在头发和指甲中发现的角蛋白。存在两类毛发角蛋白:
  • 细胞色素b细胞色素(英文:cytochrome)一般是指一类膜结合的血红素蛋白,以血基质为辅基,参与电子传递。它可以以单体的形式(如细胞色素c)或作为复合物酶中的一个亚基来发挥氧化还原作用。细胞
  • span class=nowrapPu(NOsub3/sub)sub4/sub/span硝酸钚(IV)是一种具有强放射性的无机化合物,不稳定,化学式为Pu(NO3)4。它可以形成硝酸根及水配合物。H2Pu · PuC · PuB · PuCl3 · PuF3 · PuF4 · PuF6 · PuO2
  • 1996年阿瑟港枪击案阴谋论亚瑟港枪击案于1996年4月28日发生于澳大利亚塔斯曼尼亚州的旅游胜地亚瑟港 。28岁、无业的马丁·布莱恩(Martin Bryant)持数挺半自动步枪和冲锋枪冲入当地著名的黑箭咖啡厅(Bro
  • 婚姻保护法案捍卫婚姻法案(英语:Defense of Marriage Act,简称DOMA)是一项美国联邦法律,允许各州拒绝承认在其它州合法的同性婚姻。直到这项法案的第三章在2013年被判定违宪前,捍卫婚姻法案让
  • 拉希德·苏尼亚耶夫拉希德·阿利耶维奇·苏尼亚耶夫(俄语:Рашид Алиевич Сюняев,1943年3月1日-),俄国天体物理学家,鞑靼人,吸积盘理论的开拓者,并在1972年和雅可夫·泽尔多维奇一起提
  • 短剑剑齿虎属短剑剑齿虎(),又名短剑虎,是生存于1100-1.2万年前欧洲、亚洲、非洲及北美洲的大型剑齿虎亚科。短剑剑齿虎的物种在体型及比例上有很大的差异,最大约有狮子的大小。它们有很大的犬
  • 丁同三丁同三(1926年-2005年6月14日),台湾登山家,江苏宜兴人,天主教教徒,台湾岳界四大天王之一,绰号老山羊,从青少年时代就喜欢登山,十七岁时已经登过黄山,是台湾第三位完成攀爬百岳壮举的人,
  • 心理阴影根据荣格分析心理学,阴影是人无意识或梦中同性但性格与自我(ego)相反的人物,也是荣格四大原型之一。荣格认为人性是矛盾的,如果表现于外的意识中的性格是东,在无意识中补偿性的性