3
3.1.2
在环 $C_n$ 中, 确定极大匹配边数的最小值.
所以至少为 $\lceil \frac{n}{3}\rceil$, 另一方面, 我们只需按顺序每隔两条边选一条边 (第一条边也选) 那么就能取到这个下界. 所以最小值为 $\lceil\frac{n}{3}\rceil$
答案
3.1.8
证明或否定: 每棵树至多有一个完美匹配.
首先奇数个节点显然没有完美匹配, 故成立. 下面对偶数个节点归纳, $n=2$ 时显然成立. 当 $n=2k$ 时, 任意找到一个叶子 $u$, 设其和 $v$ 相连, 那么 $uv$ 必定属于任意完美匹配, 否则 $u$ 不被覆盖. 那么 $G-u-v$ 被分为若干子树, 如果有奇子树, 证明整个树没有完美匹配. 否则根据归纳假设, 所有子树的完美匹配都是唯一的, 从而整个树的完美匹配就是子树的匹配再加上 $uv$. 所以唯一.
证明
3.1.9
证明: 图 $G$ 中每个极大匹配至少有 $\alpha'(G)/2$ 条边.
先考虑任意极大匹配 $M'$, 设 $X_1=V(M')\cap X, X_2=X-V(M'), Y_1=V(M')\cap Y, Y_2=Y-V(M')$. 那么一定有 $|X_2|\leqslant |Y_1|$ 和 $|Y_2|\leqslant |X_1|$, 否则就能在 $M$ 中再挑选一条边加入匹配与极大矛盾. 而此时匹配的边数已经不低于 $\frac{|X_1|+|Y_1|}{2}$, 而 $|X_1|+|Y_1|\geqslant |X_2|+|Y_2|$ 所以 $\frac{|X_1|+|Y_1|}{2}\geqslant \frac{\alpha'(G)}{2}$.
证明
3.1.19
令 $\mathcal{A} = \{A_1, \cdots, A_m\}$ 是集合 $Y$ 的子集族. $\mathcal{A}$ 的一个相异代表系 (SDR) 是 $Y$ 中一些满足 $a_i \in A_i$ 的不同元素 $a_1, \cdots, a_m$ 构成的一个集合. 证明: $\mathcal{A}$ 有一个 SDR 当且仅当 $\left| \bigcup\limits_{i \in S} A_i \right| \geq |S|$ 对任意 $S \subseteq \{1, \cdots, m\}$ 成立. (提示: 将该问题转化为图论问题.)
证明
3.1.42
一个贪心算法用迭代过程构造一个较大的独立集 $S$, 它每次迭代从剩下的图中选择度最小的一个顶点添加到 $S$ 中, 并把该顶点及其相邻顶点从图中删除. 证明: 在简单图 $G$ 中, 该算法产生的独立集的大小至少为 $\sum_{v \in V(G)} \frac{1}{d_G(v) + 1}$. (Caro[1979], Wei[1981])
那么我们有 $V(G)=\bigcup\limits_{i=1}^k V_i$, 且 $\forall v\in V_i, d_{G'}(v)\geqslant d_{G'}(v_i)$, 并有 $|V_i|\leqslant d_{G'}(v_i)+1\leqslant d_{G}(v_i)+1$, 所以 $\sum\limits_{v\in V_i}\frac1{d_G(v)+1}\leqslant \sum\limits_{v\in V_i}\frac{1}{d_{G'}(v)+1}\leqslant 1$. 综上 $k\geqslant \sum\limits_{v\in V(G)}\frac 1 {d_G(v)+1}$.
证明
3.3.3
对于下面的图, 对 $\{0,1,2,3,4\}$ 中的每个 $k$ 值给出一个 $k$-因子.

答案

3.3.4
令 $G$ 是一个 $k$-正则二部图. 证明: $G$ 可以分解为若干个 $r$-因子当且仅当 $r$ 整除 $k$.
"$\Leftarrow$": 根据 Hall 定理推论, 正则的二部图具有 1-因子, 而删去一个 1-因子后变为 k-1 正则二部图仍有 1-因子. 于是一共可以取出 k 个 1-因子. 而两个 1-因子的并就得到一个 2-因子. 所以我们将这 k 个 1-因子每 r 个分为一组就得到 $\frac{k}{r}$ 个 r-因子.
证明
3.3.6
证明: 树 $T$ 有一个完美匹配当且仅当 $o(T-v)=1,\forall v\in V(T)$.
"$\Leftarrow$": 考虑数学归纳法, 对节点个数归纳. 两个点显然成立. 任取叶子 $u$, 及其唯一邻居 $v$, 考虑 $T-\{u,v\}$ 被分为 $T_1,T_2,\ldots,T_k$ 这些子树, 由于 $o(T-v)=1$, $\{u\}$ 是 $T-v$ 的一个奇分支, 所以 $|T_i|$ 为偶数. 而对于 $T_i$ 中的点 $T-w= T_i-w\cup (T_1\cup T_2\cup\cdots T_{i-1}\cup T_{i+1}\cup\cdots\cup T_k\cup\{u,v\})$ 并且后面一部分是同一个连通分支, 由于 $|T_i|$ 是偶数, 所以这一部分也是偶数, 即 $o(T_i-w)=1$, 即 $T_i$ 也满足题设条件, 故根据归纳假设其存在完美匹配. 于是将所有子树的完美匹配和 $uv$ 并起来就得到一个原图的完美匹配.证明
3.3.7
对任意 $k>1$, 构造一个没有 1-因子的 k-正则图.
当 $k$ 为奇数时,
答案