14.1 图的基本概念.docVIP

14.1 图的基本概念 教学重点：无向图和有序图的概念，结点的度 教学难点：图的同构 授课内容： 我们已集合的笛卡尔积的概念，为了定义无向图，还需要给出集合的无序积的概念。。 设为两个集合，无序对集合称为集合A与B的无序积，记作。无序。 例如，设，，则,。 为了引出图的定义，我们先介绍如下的例子。 例(1) 北京上海香港是中国的几个著名的城市，分别用字母表示为,城市的集合为，城市间现有的航线的集合是。我们也可以将这些城市的航线关系用图来表示。 的程序框图图14.1-2图的定义及相关概念定义14.1-1 一个无向图是一个二元组，记作，其中是一个非空集合，是无序积的多重子集元素可重复出现的集合，称为的边集，中的元素称为无向边或简称边。 在一个图中，为了表示分别是图的结点集和边集，常将记成，而将记成。以上给出的是一个无向图的数学定义。们可以用图形来表示，而这种图形有助于我们理解图的性质。这种表示法每个结点用点来表示，每条边用线来表示，线连接着代表该边端点的两个结点。例如,,G的图形如图14.1-3所示 定义14.1-2　一个有向图是一个二元组，记作，其中是一个非空的结点集；是笛卡尔积×V的多重子集，其元素称为有向边，也简称边。 对于一个有向图，一般也画出图形来表示。例如，其中,的图形为图14.1-4。 给图的结点标以名称，如图14.1-3中的这样的图称为标定图。同时也可对边进行标定，, , , , , . 当时,称和是的端点，并称与和是关联的，而称结点与是邻接的。若两条边关联于同一个结点，则称两边是邻接的。无边关联的结点称为孤立点；若一条边关联的两个结点重合，则称此边为环。若，则称与（或）关联的次数是1;若，称与关联的次数为2；若不是的端点，则称与的关联次数为0。在图14.1-3中，, ,是的端点，与的关联次数均为1，是孤立点，是环，与关联的次数为2。 当是有向边时，又称是的点，是的终点。 如果图的结点集和边集都是有限集，则称图为有限图，本书讨论的图都是有限图。若图中,,为了方便起见，这样的图也称为图，有时也简称阶图。图称为零图，图称为平凡图。 关联于同一对点的两条边称为边（若是有向边方向应相同）。不含平行边和环的图称简单图。在本书中除非特别声明，一般是指简单图。 结点的度 定义14.1-3 设为一无向图，,关联边的次数称为的度数，简称度，记作。 设为一有向图，,作为边的始点的次数，称为的出度，记作；作为边的终点的次数称为的入度，记作；作为边的点的次数称为的度数，简称度，记作，显然。 在图14.1-3中，，，，；在图14.1-4中，，，,,。 称度为1的结点为悬挂点，悬挂点的边称为悬挂边。如图中，是悬挂点，是悬挂边。 记, ,别称为图的最大度和最小度。若是有向图，除了,，还有如下的定义 最大出度 最大入度 最小出度 最小入度 图14.1-4中,, , ,,, . 例14.1-2在图14.1-3中 而该图有６边，即结点度数和是边数的２倍。事实上这是图的一般性质。 定理14.1-1 设图为具有结点集的图，则 若为奇数，则称为奇点，若为偶数，则称为偶点。 推论 任一图中，奇点个数为偶数。 证明　　设，， 则因为是偶数，所以也是偶数，而中每个点的度均为奇数，因此为偶数。 对有向图，还有下面的定理。 定理14.1-2　设有向图，， 则以上两个定理及推论都很重要，要牢记并灵活运用。 设是图的结点集，称为的度序列。如图14.1-3的度序列为，图14.1-4的度序列是。 例14.1-3 图的度序列为，则边数是多少？ 　； 能成为图的度序列吗？为什么？ 　图有12条边，度数为３的结点有６个，其余结点度均小于３，问中至少有几个结点？ 解　由握手定理 所以　　　 　由于这两个序列中有奇数个是奇数，由握手定理的推论知，它们都不能成为图的度序列。 　由握手定理，度数为３的结点有６个占去18度，还有６度由其余结点占有，其余结点的度数可为，当均为２时所用结点数最少，所以应由３个结点占有这６度，即图中至少有９个结点。 证明在个人的集体，总有两个人在此中恰有相同个数的朋友。 解 以结点代表人，二人如果是朋友，则在代表他们的结点间连上一条边，这样可得无向简单图，每个人的朋友数是图中代表他的结点的度数，于是问题转化为：阶无向简单图必有两个结点的度数相同。 用反证法，设中个结点的度数均不相同，则度序列为，说明图中有孤立点，而图是简单图，这与图有度结点相矛盾所以必有两个结点的度数相同。 定义14.1-4 设是无向简单图，若每一对结点之间都有边相连，则称为完全图，具有个结点完全图记作。 设为有向简单图，若每对结点间均有一对方向相反的边相连，则称为有向完全图，具有个结点的有向完全图记作。 图14.1-5给出几个完全图的例子。由完全图的定义可知，无