离散数学-3.docVIP

第三章 图论 §3.1无向图和有向图 一、无向图 1.图的概念 集合，称为无序对，记为。 定义 设为集合，则称 为的无序积，记为 定义 设是非空集合，是无序积的一个多重子集，则称有序对是一个无向图，记为，即，其中称为的顶点集（或结点集），中元素称为顶点或结点；称为的边集，中的元素称为图的边。 说明：（1）由定义知，图的边是的两个元素的无序对，称是的端点。当时，称为环。 （2）由于是多重集合，因此，的两个结点之间可能存在若干条不同的边，称这些边为平行边。 （3）设为无向图，若都是有穷集合，则称是有限图（我们只研究有限图）。图的结点个数叫图的阶，n个结点m条边的图叫图，图叫零图，图叫平凡图。 （4）图的图解：设是图，用平面上的小圆圈表示中的结点，两个结点间有边就画一条线，即若，则就在之间连线段，这样得到的图叫的一个图解。 2.结点与边的关系 设是无向图，如果边，则称结点是邻接的，称边关联结点。 没有边关联的结点称为孤立点，称关联结点的边数（当边为环时，以两条边计算）为的度数，记为。 定理（握手定理） 设是图的结点，则 简单图：不含环及平行边的图称为简单图。 完全图：任意两个结点都有边相连的简单图称为完全图。 阶完全图共有条边，每个结点的度数均为. 3.子图 定义 设都是图，如果非空集合或，则称是的