西安交通大学-刘国荣-离散数学第八章图论[2].ppt

* 离散数学 注：?平面图的定义(拉边法)是充分性判定方法，只能判断图是平面图，因为这只需用拉边法给出一种成功的图示即可； 　　?平面图的定义(拉边法)不能判断图是非平面图，因为你给不出成功的图示，并不等于别人也给不出成功的图示，以及并不等价于该图本身就是非平面图；所以还需发展理论证明。 例10.然而利用推论1的条件，我们却判断不出K3,3是非平面图。 注意到K3,3中的每个圈(区域)都至少由 三条边围成(简单图) ，适应于推论1。 完全图二分图K3,3有六个结点，九条 边，即 n=6，m=9，于是有 m=9?12=3?6-6=3n-6 并不违背推论1的条件，故必要性判定失效(参见图19) 。 图19.K3,3 * 离散数学 推论2.设G=(V,E)是(n,m)简单连通平面图，即|V|=n,|E|=m，且图G中的每个区域都至少由四条边围成，那么 m?2n-4 (m?4) 。 [证].仿推论1易证。 例11.完全二分图K3,3不是平面图 在例5中，我们曾经利用平面图的 定义(拉边法)判断出K3,3是非平面图 (图6(b))。 　现在我们可以利用推论2来判断 K3,3不是平面图：注意到K3,3与K6的子图(图20)同构(参见本章§2例12)，因此K3,3中的每个圈(区域)都至少由四条边围成，适应于推论2。