数学 旧 .com 迁移

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

从旧 .com 全量搬运的历史内容,来源路径:/math/课程/图论与组合/exams/作业/4/

迁移来源

4 #

4.1.13 #

Km,nK_{m,n} 中, 设 SS 由一个部集的 aa 个顶点和另一个部集的 bb 个顶点构成.

  • a) 通过计算将 [S,S]|[S,\overline{S}]|a,b,m,na,b,m,n 表示出来.
  • b) 通过 (a)(a) 从数字上证明 κ(Km,n)=min{m,n}\kappa'(K_{m,n})=\min\{m,n\}.
  • c) 证明: K3,3K_{3,3} 中任意由 77 条边构成的集合均是不连通集, 但任意由 77 条边构成的集合均不是边割.
note
  • a) [S,S]=a(nb)+b(ma)=an+bm2ab|[S,\overline{S}]|=a(n-b)+b(m-a)=an+bm-2ab.
  • b) 分析上述表达式, 当 a=b=0a=b=0, 或 a=m,b=na=m,b=n 时最小, 但由于 SS 是非空真子集, 所以只能取 a=1,b=0a=1,b=0 等情况, 那么 [S,S]min{n,m}|[S,\overline{S}]|\geqslant \min\{n,m\}. 另一方面, 不妨设 mnm\leqslant n, 那么只需要取 SSnn 对应部集中的一个点就有 [S,S]=m|[S,\overline{S}]|=m. 从而 κ(Km,n)=min{n,m}\kappa'(K_{m,n})=\min\{n,m\}.
  • c) K3,3K_{3,3} 一共只有 9 条边, 删除 7 条后只剩两条边, 所以一定不连通. 但根据 a) 的公式计算可得边割大小只有 3,4,5,63,4,5,6 所以没有 7 条边的边割.

4.1.14 #

GG 是一个连通图, 且对于其中的每条边 ee 均存在两个包含 ee 的环 C1C_1C2C_2 使得二者的唯一公共边是 ee. 证明: GG 是 3-边连通的. 并以此说明 Petersen 图是 3-边连通的.

note

根据题意, 删除任何一条边后, 对于剩下的任一条边都仍处于一个环中, 所以剩下的图是 2-边连通的.

故任意两条边均不是割边所以原图是 3-边连通的.

4.1.24 #

GG 是简单 n-顶点图. 利用推论 4.1.13 证明下述命题.

  • a) 如果 δ(G)n/2\delta(G)\geqslant \lfloor n/2\rfloor, 则 κ(G)=δ(G)\kappa'(G)=\delta(G). 对任意 n3n\geqslant 3 构造一个满足 δ(G)=n/21\delta(G)=\lfloor n/2\rfloor -1κ(G)<δ(G)\kappa'(G)<\delta (G) 的简单 n-顶点图 G.
  • b) 如果 d(x)+d(y)n1d(x)+d(y)\geqslant n-1 对任意 xyx\nleftrightarrow y 成立, 则 κ(G)=δ(G)\kappa'(G)=\delta(G). 对任意 n4n\geqslant 4δ(G)=mn/21\delta(G)=m\leqslant n/2-1 构造满足 κ(G)<δ(G)=m\kappa'(G)<\delta(G)=md(x)+d(y)n2d(x)+d(y)\geqslant n-2 对任意 xyx\nleftrightarrow y 成立的图 GG.
note
  • a) 令 k=n/2k=\lfloor n/2\rfloor, 取两个不相交的完全图 KkK_kKnkK_{n-k}, 并用一条边连接这两个完全图, 那么 δ(G)=k1,κ(G)=1\delta (G)=k-1, \kappa'(G)=1.
  • b) 考虑 Km+1K_{m+1}Knm1K_{n-m-1}, 中间有一条边相连, 那么 κ(G)=1,δ(G)=m\kappa'(G)=1,\delta(G)=m.

4.2.1 #

对于下面的图, 确定其 κ(u,v)\kappa(u,v)κ(u,v)\kappa'(u,v).

图

note

κ(u,v)=3\kappa(u,v)=3, 因为上中下存在三条没有公共点的路径, 从而 κ(u,v)3\kappa(u,v)\geq 3, 另一方面, 中间三个点是点割集.

κ(u,v)=5\kappa'(u,v)=5, 存在五条没有公共边的路径, 从而 κ(u,v)5\kappa'(u,v)\geqslant 5, 另一方面, 存在大小为 5 的边割.

4.2.4 #

证明: 如果 PP 是 2-连通图 GG 中的一条 u,vu,v-路径, 则存在一条 u,vu,v-路径 QQ 内部不相交于 PP. {{< admonition note “证明” false >}} 反设如果不存在这样的路径, 那么一定存在点使得所有 u,vu,v-路径都经过, 那么删除这个点就会使得 u,vu,v 不连通. 矛盾.

4.2.23 #

利用 Menger 定理证明 Konig-Egervary 定理.

note

设二分图两部分为 X,YX,Y, 取点 s,ts,t, ssXX 中所有点连边, YY 中所有点与 tt 连边.

从而对于 λ(s,t)\lambda(s,t) 中的每条内部不相交路径, 都可以选取至少一条边拼接成一个匹配. 所以一定有 λ(s,t)α(G)\lambda(s,t)\leqslant \alpha'(G).

而对于 κ(s,t)\kappa(s,t) 对应的点割集一定也是二分图的点覆盖, 因为如果存在边 xyxy 没有被覆盖, 那么一定存在路径 sxytsxyt, 从而与点割矛盾. 故最小点覆盖一定不超过点割集大小 β(G)κ(s,t)\beta(G)\leqslant\kappa(s,t).

s,ts,t 在新图中不直接连接, 所以 λ(s,t)=κ(s,t)\lambda(s,t)=\kappa(s,t) 进而得到 α(G)=β(G)\alpha'(G)=\beta(G).

4.2.28 #

X,YX,Y 是 k-连通图 G 的顶点构成的不相交集合. 对 xX, yYx\in X,\ y\in Y, 设 u(x)u(x)w(y)w(y) 都是非负整数并使得 xXu(x)=yYw(y)=k\sum\limits_{x\in X}u(x)=\sum\limits_{y\in Y}w(y)=k. 证明: GGkk 条两两内部不相交的 X,Y-路径使得其中 u(x)u(x) 条起始于 xx 而其中 w(y)w(y) 条终止于 yyxX, yYx\in X,\ y\in Y 成立.

note

考虑如下操作, 对任意点 xx, 我们添加点 xx', 并对任意边 xyxy, 添加边 xyx'y. 我们断言这样的操作不会使图的连通性变差. 因为对于原图的任意大小为 k1k-1 的点集 SS, 如果 xSx\notin S, 则 xx 与剩余点连通, 那么 xx' 就可以通过同样的边与剩余点连通. (因为 xx' 复制了 xx 的所有边) 而如果 xSx\in S, 那么原图中剩余点是联通的, 由于 d(x)=d(x)kd(x')=d(x)\geqslant k. 所以 xx' 必定和原图中剩余点有边. 从而连通.

那么对于 u(x)>0u(x)>0, 我们就可以用上述方式复制 u(x)u(x)xx (包括原来的点). 同样的我们也可以复制到 w(y)w(y)yy. 而此时得到的新图 GG' 仍是 k-连通的.

下面我们再考虑添加两个点 s,ts,t, 令 ss 与所有 u(x)=k\sum u(x)=k 个点连边, tt 与所有 w(y)=k\sum w(y)=k 个点连边. 由于 d(s)=d(t)=kd(s)=d(t)=k 所以添加这两个点后也是 k-连通的.

那么就有 λ(s,t)=κ(s,t)k\lambda(s,t)=\kappa(s,t)\geqslant k. 也就是存在 kk 条内部不相交的路径从 sstt. 又 d(s)=d(t)=kd(s)=d(t)=k, 所以我们之前复制出的每个点都位于一条路径上, 并且这些路径再除去 X,YX,Y 后是两两不重复的.

那么我们就找到了这样的 kk 条路径.

4.3.2 #

在下面的网络中, 找出从 sstt 的一个最大流. 利用对偶问题证明所给出的结果是最优的, 并解释为什么这样可以证明最优性.

图

note

存在下图所示流量为 17 的流, 并且边 3,4,5,2,3 构成一个大小为 17 的割. 根据最大流等于最小割定理该流就是最大流.

图

4.3.10 #

用网络流证明 Konig-Egvervary 定理.

note

对于有向图 sXs\to X, XYX\to Y, YtY\to t. 每条边的流量都设为 1.

考虑 s,ts,t 之间的最大流. 由于流量都是 1, 所以匹配和流是一一对应的. 即最大流对应最大匹配.

类似的, 割和点覆盖也是对应的, 但对于 xySxy\in S 的割, 我们考虑将 xyxy 替换为 ytyt 形成一个新割大小不增. 不难验证替换后也是割. 所以我们只考虑不包含 xyxy 边的割, 这些个和点覆盖可以构造双射, 考虑对于割中 sx,ytsx, yt 两类边, 取所有 x,yx,y 作为点覆盖, 因为如果存在边 xyx'y' 未被覆盖, 那么 sxytsx'y't 就构成一条增广路与割矛盾.

所以最小点覆盖对应了最小割.

所以根据最大流等于最小割可以得到最大匹配等于最小点覆盖.

4.3.13 #

几个公司派代表开会; 第 ii 个公司派 mim_i 名代表. 会议的组织者负责安排同时进行的各组会议; 第 jj 组会议可以容纳 njn_j 为与会者. 组织者要把与会者全部安排到各组会议中, 但是从同一个公司来的代表必须位于不同的会议组中. 各组会议无需满员.

  • a) 阐明如何用网络流来测试上述要求能否被满足.
  • b) 设 pp 是公司的个数, 而 qq 是会议组的个数. 适当编号使得 m1mpm_1\geqslant \cdots\geqslant m_p 并且 n1nqn_1\leqslant\cdots\leqslant n_q. 证明: 存在一个满足所有约束的代表安排方案当且仅当 k(ql)+j=1lnji=1kmik(q-l)+\sum\limits_{j=1}^l n_j\geqslant\sum\limits_{i=1}^k m_i 对所有满足 0kp, 0lq0\leqslant k\leqslant p,\ 0\leqslant l\leqslant q 的 k,l 成立.
note
  • a) 考虑这样一个有向图, 起点 ss 向每个公司连边, 容量为 mim_i, 每个公司向每个会议连边, 容量为 11, 每个会议向汇点 tt 连边, 容量为 njn_j. 考察 s,ts,t 间的最大流, 当最大流等于 mi\sum m_i 时即存在这样的分配.
  • b) 必要性: 如果存在可行方案, 那么对于最大的 kk 个公司, 和最小的 ll 个会议. 如果不满足该不等式, 那么说明这 kk 个公司的人永远不可能全部参与会议. 因为已经将 1,,l1,\ldots,l 会议坐满, 剩余会议每个会议最多有 kk 个这些公司的人参与. 所以等式左边是这 kk 个人参与会议人数的上界.

讨论

评论

正在加载评论...