离散数学 第11章 特殊图.ppt

* 说明推论11.5.1本身可能用处不大，但它的逆否命题却非常有用，可以用它来判定某些图是非平面图。即一个简单连通图，若不满足m≤3n-6，则一定是非平面图。但需要注意，满足不等式m≤3n-6的简单连通图未必是平面图。 * 例11.5.3 证明5个结点的完全图K5是非平面图。 分析 因为K5是简单连通图，我们可以验证m≤ 3n-6不成立，因此它不是平面图。 证明 因为K5是简单连通图，n=5，m=10，因此m＞3n-6=3×5-6=9，故不满足m≤3n-6，因此它不是平面图。再看图K3,3，n=6，m=9，满足不等式m≤3n-6，但是我们已用观察法证明了它是一个非平面图。 * 推论11.5.2 设G是一个(n, m)简单连通平面图，若每个面的次数至少为k(k≥3)，则有 证明 设G共有r个面，各面的次数之和为T， 由条件可知 T≥k×r 又由定理11.5.1知 T = 2×m 利用欧拉公式解出面数 r = 2-n+m 由此得出下式成立 2×m≥k×(2-n+m) 从而有 (k-2)×m ≤ k×(n-2) 由于k≥3，因而结论成立 * 说明推论11.5.2本身可能用处不大，但它的逆否命题却非常有用，可以用它来判定某些图是非平面图。即一个简单连通图，若每个面的次数至少为k(k≥3)，若不满足，则一定是非平面图。 * 例11.5.4 不使用观察法证明图K3,3是