1. 证明$m imes n$棋盘被多米诺骨牌完美覆盖当且仅当$m$和$n$中至少有一个是偶数。
证明：$m imes n$棋盘被$t$个多米诺骨牌完全覆盖，于是$mn = 2t$，则$2 | mn$，考虑到$2$是素数，因此$2 | m$或$2 | n$，即$m$和$n$中至少有一个是偶数，证毕。
2. 考虑$m$和$n$都是奇数的$m imes n$棋盘。为了固定表记方式，假设棋盘左上角的方格被着成白色。证明如果切掉棋盘上任意一个白方格，那么这张切过的棋盘有多米诺骨牌完美覆盖。
证明：考虑切掉位于位置$(r, c)$的白格，该白格将剩余棋盘分割为$4$个部分，分别为$(r, c - 1)$，$(r - 1, n - c + 1)$，$(m - r + 1, n - c)$，$(m - r, c)$。注意到$(1, 1)$是白格，白格$(r, c)$满足
$r + c$为偶数，于是$r + c equiv 0( ext{mod } 2)$由于：
$(r, c - 1) ightarrow r + c - 1 equiv -1( ext{mod }2) equiv 1( ext{mod }2)$；
$(r - 1, n - c + 1) ightarrow r - c + n equiv r - c + 1( ext{mod }2) equiv 2c + 1( ext{mod }2)equiv 1( ext{mod }2)$；
$(r, c - 1) ightarrow m + n - r - c + 1 equiv m + n + 1( ext{mod }2)equiv 1( ext{mod }2)$；
$(r, c - 1) ightarrow m + c - r equiv 2r+1( ext{mod }2) equiv 1( ext{mod }2)$；
结合$1$题中结论，它们分别存在完美覆盖，于是剩余棋盘存在完美覆盖。证毕。
3. 想象一座由$64$个囚室组成的监狱，这些囚室被排列成$8 imes 8$棋盘。所有相邻的囚室间都有门。某角落处一间囚室的囚犯被告知，如果他能够经过其它每一个囚室恰好一次之后，达到对角线上相对的另一间囚室，那么他就可以获释。他能够获得自由吗？
解：不能。
证法1：考虑到经过每个囚室恰一次，他需要移动$64 - 1 = 63$次，那么我们将$(1, 1)$着成白色，他到达的位置必然是黑格，因为每走一步所在方格颜色反转一次，而$(8, 8)$是白格。所以他不可能止步于终点。
证法2：假设对于$m imes n$的方格存在合法的路径到达对角方格，那么显然$M imes n$也存在合法路径，其中$M = m + 2$，于是我们可以将该问题归约为是否存在$2 imes 2$的方格上的合法路径，经过简单尝试知道不存在。
4. （a）设$f(n)$计数$2 imes n$棋盘的多米诺骨牌完美覆盖的数量。估计一下$f(1), f(2), f(3), f(4)$和$f(5)$。试寻找（或证明）这个计数函数$f$满足的简单关系。利用这个关系计算$f(12)$。
（b）设$g(n)$是$3 imes n$棋盘的多米诺骨牌完美覆盖的数量。估计$g(1), g(2), ..., g(6)$。
解：（a）这里直接给出结论：$f(1) = 1$，$f(2) = 2$，$f(n) = f(n -1) + f(n - 2) (n > 2)$。
（b）直接给出答案（可以使用分解法找出迭代关系）：$g(1) = 0, g(2) = 3, g(3) = 0, g(4) = 9, g(5) = 0, g(6) = 33$。
5. 求$3 imes 4$棋盘的多米诺骨牌完美覆盖的个数。
解：$9$。
6. 考虑下面的棋盘问题的三维形式：定义三维多米诺骨牌是这样的一个几何图形，它是由变成为一个单位的两个立方体面对面连接起来的几何体。证明有可能由多米诺骨牌构造出一个边长为$n$个单位的立方当且仅当$n$是偶数。如果$n$是奇数，是否有可能构造出一个边长为$n$个单位的正方体，且其中心部分有一个$1 imes 1$的洞呢？
解：证明：
充分性：若$n$是偶数，由$1$题中结论，存在对于$n imes n imes 1$的完美覆盖，因此显然存在对于$n imes n imes n$的完美覆盖。
必要性：若$n$为奇数，若存在完美覆盖且使用三位多米诺骨牌$t$个，于是$2t = n ^ 3$，由于$n$为奇数，$n^3 equiv 1( ext{mod } 2)$，矛盾。因此$n$是偶数。
考虑到若对于$n imes n$，进行黑白着色，那么主对角线方格同色，使用$2$题中结论，易证存在完美覆盖。
7. 设$a$和$b$是正整数且$a$是$b$的因子。证明$m imes n$棋盘有$a imes b$牌的完美覆盖当且仅当$a$既是$m$的因子又是$n$的因子，而$b$是$m$或$n$的因子。
证明：
充分性：记$C = frac{b}{a}$，不失一般性地设$b | m$，由于$a | m$且$a | n$，考虑棋盘$frac{m}{a} imes frac{n}{a}$存在$1 imes C$的完美覆盖，这是因为$b | m$即$aC | m$即$C | frac{m}{a}$，因此只需将按比例放大$a$倍，得到棋盘$m imes n$存在$a imes b$的完美覆盖。
必要性：由于$m imes n$存在$a imes b$的完美覆盖，因此存在$1 imes b$的完美覆盖，因此$b$是$m$或$n$的因子。注意到$a imes a$是$a imes b$的完美覆盖，因此$a imes a$是$m imes n$的完美覆盖，显然$a$即是$m$的因子又是$n$的因子。证毕。
8. 利用习题7证明当$a$是$b$的因子时，$m imes n$棋盘有$a imes b$的完美覆盖当且仅当这个棋盘有平凡完美覆盖，其中所有的牌都指向相同的方向。
证明：
充分性：显然。
必要性：由于$m imes n$有$a imes b$的完美覆盖，于是$a$是$m$和$n$的因子，$b$是$m$或$n$的因子。不失一般性地，假设$b$是$n$的因子，只需证明$a imes b$是$m imes b$的完美覆盖，只需证明$a imes 1$是$m imes 1$的完美覆盖，由于$a | m$，于是得证。
９. 证明当$a$不是$b$的因子时，练习题8的接邻不一定成立。
解：举一反例：$6 imes 5$有$2 imes 3$的完美覆盖，但没有平凡完美覆盖。
10. 验证不存在$2$阶幻方。
证明：$2$阶幻方包括数字$1, 2, 3, 4, 5, 6, 7, 8$，考虑包含数字$1$所在方格的长度为$2$的方格条，由于幻方的性质，需要使得$4$个不同位置的方格的数字相同，显然这是不可能的。因此不存在$2$阶幻方。证毕。
—————休息一下———————————————
11. 利用$ ext{Loub}acute{ ext{e}} ext{re}$的方法构造$7$阶幻方。
解：
12. 利用$ ext{Loub}acute{ ext{e}} ext{re}$的方法构造$9$阶幻方。
解：
解法与题11完全相同。
13. 构造一个$6$阶幻方。
14. 证明$3$阶幻方的重心位置一定是$5$。是推证正好有$8$个$3$阶幻方。
15. 能否尝试填充下面的部分方格而得到一个$4$阶幻方。
16. 用整数$n^2+1-a$取代$n$阶幻方中的每一个整数$a$，证明得到的是一个$n$阶幻方。