图论与组合 / 习题/考试 / 作业 / 4
从旧 .com 全量搬运的历史内容,来源路径:/math/课程/图论与组合/exams/作业/4/
迁移来源
- 旧站标题:4
- 新站标题:图论与组合 / 习题/考试 / 作业 / 4
- 旧站路径:/math/课程/图论与组合/exams/作业/4/
- 旧页面 ID:
334
4 #
4.1.13 #
在 中, 设 由一个部集的 个顶点和另一个部集的 个顶点构成.
- a) 通过计算将 用 表示出来.
- b) 通过 从数字上证明 .
- c) 证明: 中任意由 条边构成的集合均是不连通集, 但任意由 条边构成的集合均不是边割.
note
- a) .
- b) 分析上述表达式, 当 , 或 时最小, 但由于 是非空真子集, 所以只能取 等情况, 那么 . 另一方面, 不妨设 , 那么只需要取 为 对应部集中的一个点就有 . 从而 .
- c) 一共只有 9 条边, 删除 7 条后只剩两条边, 所以一定不连通. 但根据 a) 的公式计算可得边割大小只有 所以没有 7 条边的边割.
4.1.14 #
设 是一个连通图, 且对于其中的每条边 均存在两个包含 的环 和 使得二者的唯一公共边是 . 证明: 是 3-边连通的. 并以此说明 Petersen 图是 3-边连通的.
note
根据题意, 删除任何一条边后, 对于剩下的任一条边都仍处于一个环中, 所以剩下的图是 2-边连通的.
故任意两条边均不是割边所以原图是 3-边连通的.
4.1.24 #
设 是简单 n-顶点图. 利用推论 4.1.13 证明下述命题.
- a) 如果 , 则 . 对任意 构造一个满足 且 的简单 n-顶点图 G.
- b) 如果 对任意 成立, 则 . 对任意 且 构造满足 且 对任意 成立的图 .
note
- a) 令 , 取两个不相交的完全图 和 , 并用一条边连接这两个完全图, 那么 .
- b) 考虑 和 , 中间有一条边相连, 那么 .
4.2.1 #
对于下面的图, 确定其 和 .

note
, 因为上中下存在三条没有公共点的路径, 从而 , 另一方面, 中间三个点是点割集.
, 存在五条没有公共边的路径, 从而 , 另一方面, 存在大小为 5 的边割.
4.2.4 #
证明: 如果 是 2-连通图 中的一条 -路径, 则存在一条 -路径 内部不相交于 . {{< admonition note “证明” false >}} 反设如果不存在这样的路径, 那么一定存在点使得所有 -路径都经过, 那么删除这个点就会使得 不连通. 矛盾.
4.2.23 #
利用 Menger 定理证明 Konig-Egervary 定理.
note
设二分图两部分为 , 取点 , 与 中所有点连边, 中所有点与 连边.
从而对于 中的每条内部不相交路径, 都可以选取至少一条边拼接成一个匹配. 所以一定有 .
而对于 对应的点割集一定也是二分图的点覆盖, 因为如果存在边 没有被覆盖, 那么一定存在路径 , 从而与点割矛盾. 故最小点覆盖一定不超过点割集大小 .
又 在新图中不直接连接, 所以 进而得到 .
4.2.28 #
设 是 k-连通图 G 的顶点构成的不相交集合. 对 , 设 和 都是非负整数并使得 . 证明: 有 条两两内部不相交的 X,Y-路径使得其中 条起始于 而其中 条终止于 对 成立.
note
考虑如下操作, 对任意点 , 我们添加点 , 并对任意边 , 添加边 . 我们断言这样的操作不会使图的连通性变差. 因为对于原图的任意大小为 的点集 , 如果 , 则 与剩余点连通, 那么 就可以通过同样的边与剩余点连通. (因为 复制了 的所有边) 而如果 , 那么原图中剩余点是联通的, 由于 . 所以 必定和原图中剩余点有边. 从而连通.
那么对于 , 我们就可以用上述方式复制 个 (包括原来的点). 同样的我们也可以复制到 个 . 而此时得到的新图 仍是 k-连通的.
下面我们再考虑添加两个点 , 令 与所有 个点连边, 与所有 个点连边. 由于 所以添加这两个点后也是 k-连通的.
那么就有 . 也就是存在 条内部不相交的路径从 到 . 又 , 所以我们之前复制出的每个点都位于一条路径上, 并且这些路径再除去 后是两两不重复的.
那么我们就找到了这样的 条路径.
4.3.2 #
在下面的网络中, 找出从 到 的一个最大流. 利用对偶问题证明所给出的结果是最优的, 并解释为什么这样可以证明最优性.

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

4.3.10 #
用网络流证明 Konig-Egvervary 定理.
note
对于有向图 , , . 每条边的流量都设为 1.
考虑 之间的最大流. 由于流量都是 1, 所以匹配和流是一一对应的. 即最大流对应最大匹配.
类似的, 割和点覆盖也是对应的, 但对于 的割, 我们考虑将 替换为 形成一个新割大小不增. 不难验证替换后也是割. 所以我们只考虑不包含 边的割, 这些个和点覆盖可以构造双射, 考虑对于割中 两类边, 取所有 作为点覆盖, 因为如果存在边 未被覆盖, 那么 就构成一条增广路与割矛盾.
所以最小点覆盖对应了最小割.
所以根据最大流等于最小割可以得到最大匹配等于最小点覆盖.
4.3.13 #
几个公司派代表开会; 第 个公司派 名代表. 会议的组织者负责安排同时进行的各组会议; 第 组会议可以容纳 为与会者. 组织者要把与会者全部安排到各组会议中, 但是从同一个公司来的代表必须位于不同的会议组中. 各组会议无需满员.
- a) 阐明如何用网络流来测试上述要求能否被满足.
- b) 设 是公司的个数, 而 是会议组的个数. 适当编号使得 并且 . 证明: 存在一个满足所有约束的代表安排方案当且仅当 对所有满足 的 k,l 成立.
note
- a) 考虑这样一个有向图, 起点 向每个公司连边, 容量为 , 每个公司向每个会议连边, 容量为 , 每个会议向汇点 连边, 容量为 . 考察 间的最大流, 当最大流等于 时即存在这样的分配.
- b) 必要性: 如果存在可行方案, 那么对于最大的 个公司, 和最小的 个会议. 如果不满足该不等式, 那么说明这 个公司的人永远不可能全部参与会议. 因为已经将 会议坐满, 剩余会议每个会议最多有 个这些公司的人参与. 所以等式左边是这 个人参与会议人数的上界.
讨论
评论
正在加载评论...