图论与组合 / 习题/考试 / 作业 / 3

首先连续的三条边至少有一条在极大匹配中, 不然一定可以将中间那条边加入到匹配中构成更大的一个匹配.

所以至少为 $\lceil \frac{n}{3}\rceil$, 另一方面, 我们只需按顺序每隔两条边选一条边 (第一条边也选) 那么就能取到这个下界.

所以最小值为 $\lceil\frac{n}{3}\rceil$

考虑数学归纳法, 对节点数量归纳.

首先奇数个节点显然没有完美匹配, 故成立.

下面对偶数个节点归纳, $n=2$ 时显然成立.

当 $n=2k$ 时, 任意找到一个叶子 $u$, 设其和 $v$ 相连, 那么 $uv$ 必定属于任意完美匹配, 否则 $u$ 不被覆盖.

那么 $G-u-v$ 被分为若干子树, 如果有奇子树, 证明整个树没有完美匹配. 否则根据归纳假设, 所有子树的完美匹配都是唯一的, 从而整个树的完美匹配就是子树的匹配再加上 $uv$. 所以唯一.

取一个最大匹配 $M$, 将点集分为不相邻的两个集合 $X,Y$, 则有 $|X|=|Y|=\alpha'(G)$.

先考虑任意极大匹配 $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}$.

考虑建二分图. $i\leftrightarrow y, \forall y\in A_i$. 那么根据 Hall 定理, 该二分图含有一个浸润 $\{1,2,\cdots, m\}$ 的匹配当且仅当 $|N(S)|\geqslant |S|,\forall S\subseteq \{1,2,\cdots,m\}$, 而在该题目情形下 $|N(S)|=|\bigcup\limits_{i\in S} A_i|$. 所以有一个 SDR 等价于有一个浸润 $\{1,2,\cdots,m\}$ 的匹配等价于 $|\bigcup\limits_{i\in S}A_i|\geqslant |S|,\forall S\subseteq \{1,2,\cdots,m\}$.

考虑按该算法一共取了 $k$ 次, 每次删除的中心点为 $v_i$, 总点集为 $V_i$.

那么我们有 $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}$.

"$\Rightarrow$": 设分解为 $a$ 个 $r$-因子, 那么考虑其中一个点, 在整个图中, 度数 $d_G(v)=k$, 在每个因子中度数为 $r$, 总度数为 $ar$ 所以有 $k=ar$ 即整除.

"$\Leftarrow$": 根据 Hall 定理推论, 正则的二部图具有 1-因子, 而删去一个 1-因子后变为 k-1 正则二部图仍有 1-因子. 于是一共可以取出 k 个 1-因子. 而两个 1-因子的并就得到一个 2-因子. 所以我们将这 k 个 1-因子每 r 个分为一组就得到 $\frac{k}{r}$ 个 r-因子.

"$\Rightarrow$": $T$ 有完美匹配, 所以是偶数个节点. 那么任意去除一个点后剩余点个数是奇数个. 所以必定存在奇数个奇分支. 另一方面由于树是二部图, 根据 Tutte 定理, 有 $o(T-v)\leqslant 1$, 所以 $o(T-v)=1$.

"$\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$ 并起来就得到一个原图的完美匹配.

当 $k$ 为偶数时, 取 $K_{k+1}$ 即为没有 1-因子的 k-正则图.

当 $k$ 为奇数时,