[离散数学课件-乔维声]第6章图论基础.pptVIP

第6章 图论基础 6.1 基本概念 6.2 路与圈 6.3 图的矩阵表示 6.4 有向图和可达性矩阵 习题 6 6.1 基本概念 6.1.1 图 例1 a， b， c， d 4个篮球队进行友谊比赛。 为了表示４个队之间比赛的情况， 我们作出图 6 ― 1的图形。 在图中４个小圆圈分别表示这４个篮球队， 称之为结点。 如果两队进行过比赛， 则在表示该队的两个结点之间用一条线连接起来， 称之为边。 这样利用一个图形使各队之间的比赛情况一目了然。 如图 6― 1中的４个结点a， b， c， d分别表示４个人， 当某两个人互相认识时， 则将其对应点之间用边连接起来。 这时的图又反映了这４个人之间的认识关系。 ? 定义 6.1 ― 1 一个图G是一个序偶（V， E）， 记为G＝（V， E）。 其中V是有限非空集合， 其元素称为结点（或顶点、 点）， V也称为结点集； E是另一个集合， 其元素称为边， E也称为边集， 对E中的每个元素， 有V中的结点对与之对应。 定义中的结点对可以是有序的， 也可以是无序的。 我们将结点 u、 v 的无序结点对记为（u， v）， 有序结点对记为〈u， v〉。 定义 6.1 ― 2 若图G中的边e与结点u、 v的无序结点对（u， v）相对应， 则称e为无向边， 记为 e＝（u， v）。 这时称e与两个结点u和v互相关联， u、 v称为该边的两个端点。 这时也称u与v是邻接的， 否则称为不邻接的。 关联于同一结点的两条边称为邻接边。 定义 6.1 ― 3 图G中的边e与结点u 、 v 的有序结点对〈u， v〉相对应， 则称e为有向边， 记为e＝〈u， v〉。 有向边又称为弧， 这时称u 为弧尾（或始端）， 称v为弧头（或终端）。 图可用一个图形来表示。 在图的图形中用由u 指向v 的有向线段表示弧〈u， v〉， 无向线段表示边（u， v）。 如例1中的图， 结点集V＝｛a， b， c， d｝， 边集 E＝｛e1， e2， e3， e4， e5｝， 其中 e1＝（a， b）， e2＝（a， c）， e3＝（a， d）， e4＝（b， c）， e5＝（c， d）。 d与a、 d与c是邻接的， 但d与b不邻接， 边e3与e5是邻接的。 定义 6.1 ― 4 每条边都是无向边的图称为无向图； 都是有向边的图称为有向图；既有无向边， 又有有向边的图称为混合图。 本书主要研究无向图和有向图。 对于有向图， 我们将在第7.4节中讨论。 例2 设图G＝（V， E）如图7 ― 2所示。 这里V＝｛v1， v2， v3｝， E＝｛e1， e2， e3， e4， e5｝， 其中e1 ＝（v1， v2）， e2＝（v1， v3）， e3 ＝（v3， v3）， e4 ＝（v2， v3）， e5＝（v2， v3）。 在这个图中， e3是 两个端点相同的边， 我们称为自回路； 边e4和e5都与结点v2、 v3关联， 也就是说结点v2和v3之间有两条边相连， 这样的边称为多重边。 定义 6.1 ― 5 若图中两个结点有多条边相连， 则称这些边为多重边。 连接两结点的多重边的条数称为连接这两结点边的重数。 没有多重边和自回路的图称为简单图。 6.1.2 结点的度 我们常常需要关心图中有多少条边与某一结点关联， 这就引出了图的一个重要概念——结点的度。 定义 6.1 ― 6 图中结点v 所关联的边数（有自回路时计算两次）称为结点v 的度数， 记为deg（v）。 如图6― 2中的deg（v1）＝2， deg（v2）＝3， deg（v3）＝5。 定理 6.1 ― 1 图G＝（V， E）中结点度数的总和等于边数的两倍， 即 证明 设V1和V2分别是G中奇数度数和偶数度数的结点集。 由定理6.1 ― 1知 7.1.3 几种常见的图