图论第3章教材.ppt

因δ(H)是整数，故 而n-k+1是H的点数，由引理知H是连通的。 所以G是k连通的。 定理 设G是n阶简单图，若δ(G) ≥ ，则λ(G) =δ(G)。 证明 显然G是连通的。 若λ(G)≠δ(G) ，则λ(G) δ(G) 。 此时G中存在边割M，满足|M|=λ(G) δ(G) ，同时G-M是由两个不相交的子图G1和G2所构成。 设M中的边和G1的p个点相关联，显然 p ≤ λ(G) 。 由握手定理可得 由于δ(G) λ(G) ，故 上式表明|V(G1)|p。 因此G1中存在只与G1中的点相邻的点，设此点为x，于是 所以|V(G1) |≥δ(G)+1。 同理，|V(G2) |≥δ(G)+1。 于是，n=|V(G1) |+ |V(G2) | ≥2δ(G)+2。 从而 与已知条件矛盾，所以λ(G) =δ(G) 。 三、Menger定理 Menger定理是图的连通性问题的核心定理之一，它揭示了图的连通度与不同顶点对间的不相交路的数目之间的关系。 定义 图中两条(x, y) 路称为内部不相交的或独立的，如果此两条路仅x和y是其公共点。 定义 设 x 与 y 是图G中两个不同点，称一组点(边)分离 x 与 y，是指G中删去这组点(边)后不再有(x, y)路。 例 点集{u1, u3}分离点a与b。 边集{u1b, u2u3, au5}分离点a与b。 u5 a b u4 u2 u1 u3 定理 (1) 设x和y是图G中的两个不相邻点，则G中分离x和y的 最少点数等于独立的(x, y)路的最大数目。 (2) 设x和y是图G中的两个不同点，则G中分离x和y的最 少边数等于边不重的(x, y)路的最大数目。 例 在该图中，独立的(u, v)路的最大条数是2，分离点u与v的最小点集是{u1, u2}，包含两个顶点。 在该图中，边不重的(u, v)路的最大条数是2，分离点u与v的最小边集是{u1v, u2u3}，包含两条边。 u u4 v u3 u2 u1 定理 (1) 一个非平凡图G是 k (k≥2)连通的当且仅当G的任 意两个不同顶点间至少存在 k 条独立的路； (2) 一个非平凡图G是 k (k≥2)边连通的当且仅当G的 任意两个不同顶点间至少存在 k 条边不重的路。 例 设G是k连通图，S是由G中任意k个顶点构成的集合。若图H是由G通过添加一个新点w以及连接w到S中所有顶点得到的新图，求证：H是k连通的。 证明 首先，分离属于G的两个不相邻顶点至少需要k个点。 注：上述定理是Whitney在1932年借助Menger定理给出的。这也是人们熟知的所谓的“Menger定理”。 注：由“任意两个不相邻的顶点之间存在k条独立的路”必能推出“任意两个相邻的顶点之间也存在k条独立的路”。 其次，分离w与G的不属于S的顶点至少需要k个点。 因此，分离H中任意两个不相邻的顶点至少需要k个点，从而，H中任意两个不相邻的顶点间至少存在k条独立的路。 所以，H中任意两个不同顶点间至少存在k条独立的路，因此H是k连通的。 推论 设G是阶至少为3的图，则以下三个命题等价。 (1) G 是2连通的无环图； (2) G 无环且任意两点都位于同一个圈上； (3) G 无孤立点且任意两条边都在同一个圈上。 证明 (1)=(2) 因为G是2连通的，则G的任意两个顶点间存在两条独立的路P1与P2，显然这两条路构成包含这两个顶点的圈。 (2)=(3) G中显然没有孤立点。 设e1与e2是G的任意两条边，在e1与e2上分别添加两点u与v得图H，则H是2连通的，因此H的任意两个顶点在同一个圈上，即u与v在同一个圈上，也即e1与e2在同一个圈上。 (3)=(1) 显然G无环。 设u与v是图G的任意两个不相邻顶点，由于G无孤立点，所以可设e1, e2分别与u, v相关联。 因为e1, e2在同一个圈上，所以u与v在同一个圈上，因此分离u与v至少要去掉两个顶点，即G是2连通的。 3.3 应用 一个通讯网络可以模型化为一个图，图中的点代表通讯站，边代表通讯线。这样，图的点（边）连通度对应了网络中容许失灵的通讯站（线）数目的一个界限。即图的连通度对应系统的可靠性。 问题：如何构造出在给定可靠性的条件下使成本尽量低的系统? 图论模型：对一个赋权图G，试确定G的一个具有最小权的k 连通生成子图。 注：(1) 对 k=1，此问题即为求最小生成树的问题； (2) 对 k1，这是