text: 肢解國際象棋盤問題都有討論到此問題。問題：「假設一個標準的8x8格國際象棋棋盤，移除對角的2個方塊，餘下62個方塊。可不可以用31個2x1格骨牌來蓋上餘下方塊呢？」大部份討論此問題的在概念上說明此問題，電腦科學家約翰·麥卡錫認為這問題對於自動證明系統而言是很難的問題。若使用歸結系統，其解的困難度是指數等級。解法.肢解國際象棋盤問題是無解的。國際象棋盤上的2x1格骨牌一定會佔據一個白色方格及一個黑色方格，因此被骨牌填滿的位置，白色方格及黑色方格的個數相同。在肢解國際象棋盤問題中，若移除的二個是白色方格，有32個黑色方格及30個白色方格要填滿，兩者數量不同，無法用2x1格骨牌填滿。若移除的二個是黑色方格，有30個黑色方格及32個白色方格要填滿，還是無法用2x1格骨牌填滿。高莫利定理.只要國際象棋盤上移除二個同色的方格，相同的方式可以證明，移除方格後的棋盤無法用2x1格骨牌填滿。不過若填除的是二個不同顏色的方格，一定可以用2x1格骨牌填滿，這個結果稱為高莫利定理，得名自數學家，他在1973年提出的證明。高莫利定理可以用棋盤組成的哈密頓圖來證明，移去二個不同色的方格會將哈密頓圖切成二部份，每個部份的黑色方格及白色方格都一樣多，兩部份都可以用2x1格骨牌填滿。
metadata: erhwenkuo/wikipedia-zhtw
metadata: 肢解國際象棋盤問題
metadata: https://zh.wikipedia.org/wiki?curid=6543290