离散数学第2版教学课件-二分图与平面图 .pdfVIP

13.3 二分图 二分图及判定定理 定义13.4 无向图G=V,E中的结点集合V如果可以划分成两个不相交的子 集X和Y，使得G中的每一条边的一个端点在X中而另一个端点在Y中， 则称G为二部图或二分图，记为G=X,E,Y。 定义13.5 设G=X,E,Y是一个二分图，若G是一个简单图，并且X中 的每个结点与Y中的每个结点均邻接，则称G为完全二分图。如 果|X|=m，|Y|=n，在同构的意义下，这样的完全二分图只有一 个，记为 。 定理13.6 设G是无向图，G是二分图当且仅当G中所有回路的长度均为 偶数。 13.5 平面图 平面图的概念 定义13.7 如果能将无向图G画在平面上使得除顶点外无边相交，则 称G是可平面图，简称平面图。画出的无边相交的图称为G的 平面嵌入。无平面嵌入的图称为非平面图。 （a）， （b）显然是平面图。同样地，图 （c）， （d）也是平 面图。如果将图 （c）， （d）分别表示为图 （e）， （f），则很容 易看出这个事实。 无论怎样画，总有边相交，图 （c）是其中一种