2
2.1.2
令 $G$ 是一个图. - a 证明: $G$ 是一棵树当且仅当 $G$ 是连通的且每条边都是割边. - b 证明: $G$ 是一棵树当且仅当添加任一条以 $V(G)$ 中的顶点为端点的边恰好生成一个环.
"$\Leftarrow$": 每条边都是割边意味着每条边都不在环上, 从而整个图无环, 又连通, 所以 $G$ 是树. b. "$\Rightarrow$": $G$ 是树, 即任意两点之间有且只有一条路径, 对于任意两点 $u,v\in V(G)$, 存在 $u,v$-path, 从而加上 $uv$ 后构成一个环. "$\Leftarrow$": 对任意两点 $u,v$ 添边都能生成一个环说明存在 $u,v$-path, 故 $G$ 连通, 恰好只生成一个环说明原本的图无环. 不然必然存在 $u,v$-path 上含有环上的边, 这样就存在至少两条不同的 $u,v$-path, 那么添加 $u,v$ 后会形成至少两个环. 所以满足这个条件的图必然连通且无环所以是树.
证明
2.1.12
计算 $K_{m,n}$ 的直径和半径.
对于同一部集的点之间距离为 2, 不同部集的点距离为 1. 从而直径是 2, 半径是 2. $n=m=1$. 直径, 半径均为 1.
答案
2.1.33
令 $G$ 是一个连通的 $n$-顶点图. 证明 $G$ 恰有一个环当且仅当 $G$ 恰有 $n$ 条边.
"$\Leftarrow$": 连通且恰有 $n$ 条边. 由连通性, 一定存在一个生成树, 而根据 2.1.2 树添加一条边会生成恰好一个环.
证明
2.1.47
直径与半径 - a 证明: 图的顶点对的距离函数 $d(u,v)$ 满足三角不等式 $d(u,v)+d(v,w)\geqslant d(u,w)$. - b 由 $a$ 证明: diam$G\leqslant 2\text{rad}\ G$ 对任意图成立. - c 对满足条件 $r\leqslant d\leqslant 2r$ 的任意正整数 $r,d$. 构造半径为 $r$ 且直径为 $d$ 的一个简单图.
b. 取顶点 $c$ 满足 $\varepsilon(c)=\text{rad}\ G$, 那么对任意两个点 $x,y$ 有 $d(x,y)\leqslant d(x,c)+d(c,y)\leqslant \text{rad}\ G+\text{rad}\ G$ 所以 $\text{diam}G\leqslant 2\text{rad}G$. c. 先构造一个大小为 $2r$ 的环 $C_{2r}$, 再任选环上的一点 $u$, 从 $u$ 引出一条新的长度为 $d-r$ 的链. 由于 $d-r\leqslant r$, 所以 $u$ 就是离心率最小的点为 $r$, 且显然该图的直径为 $d$, 取新链端点到环上 $u$ 的对称点即为直径.
证明
2.2.1
确定符合下列条件的树: - a Prufer 编码中只含有一个值; - b Prufer 编码中恰有两个值; - c Prufer 编码中的值各不相同;
b. 将两个星型图的中心用一条边相连即可. c. 一条链.
答案
2.2.3
令 $G$ 是下图. 用矩阵树定理找出行列式为 $\tau(G)$ 的一个矩阵, 并计算 $\tau(G)$ 的值.
$\tau(G)=\det\left(\begin{aligned}
5 & -1 & -2\\
-1 & 8 & -4\\
-2 & -4 & 6
\end{aligned}\right)=106$
答案
2.2.7
用 Cayley 公式证明: 由 $K_n$ 删除一条边后所得的图有 $(n-2)n^{n-3}$ 棵生成树.
证明
2.3.3
在一个网络中, 共有 $5$ 个城市. 在城市 $i$ 和 $j$ 之间直接修一条路的成本是下面矩阵中 $a_{i,j}$ 的值. 无穷大表示在两个城市间有一座山, 因而无法修路. 确定为使所有城市相互连通必需的最小成本. $$\left(\begin{aligned} 0 & 3 & 5 & 11 & 9\\ 3 & 0 & 3 & 9 & 8 \\ 5 & 3 & 0 & \infty & 10\\ 11 & 9 & \infty & 0 & 7\\ 9 & 8 & 10 & 7 & 0 \end{aligned}\right)$$
答案
2.3.5
在一个网络中, 共有 5 个城市. 直接从城市 $i$ 到达城市 $j$ 所需要的时间是下面矩阵中 $a_{i,j}$ 的值. 这个矩阵不是对称的 (用有向图), 且 $a_{i,j} = \infty$ 表示两个城市间没有直接连接的路径. 对每个 $i, j$ 对, 确定从 $i$ 到 $j$ 的最小访问时间以及相应的访问路径.
1\to2\ 10. &2\to3\ 5. & 3\to2\ 13 & 4\to5\ 10 & 5\to4\ 8\ 1\to2\to3\ 15. &2\to1\ 7. & 3\to1\ 14 & 4\to 3\ 17 &5\to3\ 12 \ 1\to5\ 17. &2\to3\to4\ 20. & 3\to4\ 15 & 4\to 5\to3\ 22 & 5\to 2\ 15\ 1\to2\to3\to4\ 30. &2\to1\to5\ 24. & 3\to4\to 5\ 25 &4\to3\to1\ 31 &5\to2\to1\ 22
\end{aligned}
$$
答案