电子科大图论课件——第6讲.pptVIP

* * * * * * * * * * * * * 下面是Windows2000?Professional中的一个著名漏洞。在Windows?2000启动之后，按下Ctrl+Alt+Del进行登录，在登录界面出现后将光标移至用户名输入框，按键盘上的Ctrl+Shift键进行输入法切换，在出现“全拼”时调出输入法的帮助菜单，继续选择“输入法入门”，点击“选项按钮”，从这里你就可以完全避开操作系统的登录验证，访问到计算机的物理硬盘，然后可以创建帐户。这就是著名的Windows2000输入法漏洞。网络安全中有许多都是这类简单的问题导致的，只要公司稍加注意，就可以大大提高公司网络的安全性。 ????虽然解决这个问题的方法很简单，只要到微软的网站去下载Service?Pack2.0进行安装即可。但是，如果公司没有懂得网络安全的工程师，谁又会想到去下载这个补钉呢？所以，培养足够数量的网络安全人才成为当务之急！ * * 可证平面性算法包含的每一个子算法均存在好算法，因此平面性算法也是好算法。 * 习题25 证明： (1) B是平面图G的极小边割集，当且仅当 是G*的圈。 (2) 欧拉平面图的对偶图是偶图。 * 证明: (1)必要性 对B的边数作数学归纳。 示意图 当B的边数n=1时，B中边是割边 显然，在G*中对应环。所以，结论成立。 设对B的边数nk 时，结论成立。考虑n=k的情形。 设c1 ∈B, 于是B-c1是G-c1=G1的一个极小边割集。由归纳假设： 是G1*的一个圈。且圈C1*上的顶点对应于G1中的面f, f 的边界上有极小边割集B-c1的边。 * 现在，把c1加入到G1中，恢复G。 示意图G1 由于G是平面图，其作用相当于圈C1*上的一个顶点对应于G1中的一个平面区域 f, 被c1划分成两个顶点f1*与f2*,并在其间连以c1所对应的边c1*。 所以，B对应在G*中的C*仍然是一个圈。由归纳法，结论得到证明。 示意图 * 充分性： G*中的一个圈，对应于G中 的边的集合B显然是G中的一个边割集。 示意图 若该割集不是极小边割集，则它是G中极小边割集之和。而由必要性知道：每个极小边割集对应G*的一个圈，于是推出B在G*中对应的边集合是圈之并。但这与假设矛盾。 (2) 因欧拉图的任意边割集均有偶数条边。于是 由(1), G*中不含奇圈。所以G*是偶图。 * 习题第27题 设T是连通平面图G的生成树， 证明：T*=G*[E*]是G*中的生成树。 示意图 * 证明：情形1，如果G是树。 在这种情况下，E* = Φ.则T*是平凡图，而G*的生成树也是平凡图，所以，结论成立； 情形2，如果G不是树。 因G的每个面必然含有边e不属于E(T),即G*的每个顶点必然和E*中的某边关联，于是T*必然是G*的生成子图。 下面证明：T*中没有圈。 若T*中有圈。则由例2知：T的余树中含有G的极小边割集。但我们又可以证明：如果T是连通图G的生成树，那么，T的余树不含G的极小边割集。这样，T*不能含G*的圈。 * 又因在G中，每去掉T的余树中的一条边，G的面减少一个，当T的余树中的边全去掉时，G变成一颗树T. 于是，有： 所以，T*是G*的生成树。 * 作业 P143---146 习题6 ：3，4，5，6，8， 25, 26，27。 其中 25，26，27结合课件学习。 * 注：该定理是由数学家巴特尔、哈拉里和科达马首先得到。然后由托特(1963)给出了一个不太笨拙的证明，他采用枚举法进行验证。还不知道有简洁证明，也没有得到推理方法证明。 例4 找出一个8个顶点的可平面图，使其补图也是可平面的。 7 6 5 4 3 2 1 8 G 7 6 5 4 3 2 1 8 G的补 定理3 至少有9个顶点的简单可平面图的补图是不可平面的，而9是这个数目中的最小的一个。 * 例5 设G是一个简单图，若顶点数n≥11,则G与G的补图中，至少有一个是不可平面图 (要求用推理方法). 证明：设G是一个n阶可平面图，则： 所以： 考虑： * 令: 则：