肢解国际象棋盘问题

✍ dations ◷ 2025-06-05 16:20:03 #认知心理学,逻辑谜题

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

相关

  • 肠道血管发育不良肠道血管发育不良是肠道血管异常增生而引起下消化道慢性失血。由于是间断性出血,诊断检查时不出血,因此难诊断。肠道血管的异常状态,无法解释的肠道出血与贫血。损害常是多重的
  • OriOri指的是脱氧核糖核酸序列上有一个固定的复制起始点,有时也被叫做origin。在原核生物中,如大肠杆菌(E.coli)的DNA序列上,在第82等分位点上,便存在有该复制起始点,该点被称作OriC。
  • 贝蒂娜·冯·阿尔尼姆贝蒂娜·冯·阿尔尼姆(德语:Bettina von Arnim,1785年4月4日-1859年1月20日),原名伊丽莎白·卡瑟琳娜·卢多维卡·马格达伦娜·布伦塔诺(Elisabeth Catharina Ludovica Magdalena B
  • 贵州小春虫贵州小春虫(学名Vernanimalcula guizhouena)是一种化石,相信是最为古老的两侧对称动物。它们出土于6亿至5.8亿年前的地层,只有0.1-0.2毫米阔。由于它们生存于马林诺冰期(英语:Mari
  • 藤泽市藤泽市(日语:藤沢市/ふじさわし Fujisawa shi */?)位于日本神奈川县中部。曾创作《义勇军进行曲》的作曲家聂耳在藤泽市鹄沼海岸游泳时溺毙,时年23岁。现时海岸仍留有纪念碑,藤
  • 化学工程师化学工程师(英文:Chemical engineer),亦称制程化学工程师或化工研究员。在工程领域中,大部分化学工程师从事于化工产业,主要工作内容为化工产品制造程序的研究与开发,以及厂房与厂
  • 重庆三环高速公路重庆三环高速公路为中华人民共和国重庆市规划的高速公路网中的一条线路,全长约475公里。以渝北区为起点沿逆时针方向依次联接渝北、北碚、合川、铜梁、大足、永川、江津、綦
  • 卡里克弗格斯坐标:54°42′58″N 5°48′32″W / 54.716°N 5.809°W / 54.716; -5.809卡里克弗格斯 (英语:Carrickfergus,当地人多称“卡里克”英语:Carrick”)是北爱尔兰安特里姆郡的一座大
  • 中信兄弟二军中信兄弟二军为中华职棒中信兄弟的二军球团,于2008年1月10日宣布成立,随着兄弟象队的转卖,中信集团接手后,球队更名为中信兄弟队,而二军也顺应更名。总教练为林威助,搭配各司其职
  • 索特纳木多布济索特纳木多布济(蒙古语:Содномдорж),博尔济吉特氏,科尔沁扎萨克多罗郡王齐默特多尔济孙。乾隆四十八年(1783)袭父爵,为郡王。嘉庆四年(1799)正月命于御前行走,嘉庆六年(1801)十