肢解國際象棋盤問題

肢解國際象棋盤問題 （ 英語 ： mutilated chessboard problem ） 屬於 ， 最早是由在1946年的 《 Critical Thinking 》 中提出 。 後來數學家所羅門 · 格倫布 （ 1954年 ） 及馬丁 · 加德納 （ 在雜誌 《 科學人 》 中的專欄 《 Mathematical Games 》 中 ） 都有討論到此問題 。 問題 ： 「 假設一個標準的8x8格國際象棋棋盤 ， 移除對角的2個方塊 ， 餘下62個方塊 。 可不可以用31個2x1格骨牌來蓋上餘下方塊呢 ？ 」 大部份討論此問題的文獻是在概念上說明此問題 ， 電腦科學家約翰 · 麥卡錫認爲這問題對於自動證明系統而言是很難的問題 。 若使用歸結系統 ， 其解的困難度是指數等級 。