lem）属于，最早是由在1946年的《Critical Thinking》中提出。后来数学家所罗门·格伦布（1954年）及马丁·加德纳（在杂志《科学人》中的专栏《Mathematical Games》中）都有讨论到此问题。问题：「假设一个标准的8x8格国际象棋棋盘，移除对角的2个方块，余下62个方块。可不可以用31个2x1格骨牌来盖上余下方块呢？」大部份讨论此问题的文献是在概念上说明此问题，电脑科学家约翰·麦卡锡认为这问题对于自动证明系统而言是很难的问题。若使用归结系统，其解的困难度是指数等级。Se