图与网及络的基本概念.pptx

图与网络的基本概念一个图是由一些点及这些点之间的连线所组成的.两点间不带箭头的连线称为边，带箭头的连线称为弧.如果一个图是由点及边所构成的，则称之为无向图（也简称为图），记为G=(V,E).如果一个图是由点及弧所构成的，则称之为有向图，记为D=(V,A).若边e={u,v}，则称e连接u与v；点u和v称为e的顶点；称u或v与e关联；u与v是邻接的顶点.如果两条边有一个公共的顶点，则称这两条边是邻接的；两个顶点重合为一点的边称为环.如果有两条边的顶点是同一对顶点，则称这两条边为重边；不与任何边关联的点称为孤立点.没有环的图称为无环图；既没有环也没有重边的图称为简单图.设G=(V,E)是一个简单图，则有若上式等号成立，则说明该图中每对顶点间都恰好有一条边相连，称此图为完全图.一个简单图 的补图 是与 有相同顶点的简单图，且 中两个顶点相邻当且仅当它们在 中不相邻.一个图 ，若存在 的一个分划 ，使 的每条边有一个顶点在 中，另一个在 中，则称 为二分图.设有两个图 ， ，如果 则称 为 的子图；若进一步有 ，则称 为 的支撑子图.设有图 ， 是 的非空子集，若以 为点集，以两顶点均在 中的所有边为边集的子图称为由 导出的 的子图，记为 ，简称点导出子图；若 是 的一个非空子集，则以 为边集以 中边的所有顶点作为点集的子图，称为由 导出的 的子图，记为 ，简称边导出子图.图 中顶点 的度定义为和 关联的边的数目（与 关联的每个环算作两条边），记为.定理1：设 是一个图，则，从而度数为奇数的顶点有偶数个.设一个有向图的弧a=(u,v)，称a为从u连向v的弧，a为u的出弧，v的入弧；u称为a的尾，v称为a的头；u称为v的前继，v称为u的后继；头尾重合的弧称为环，若两条弧有相同头和尾，则称这两条弧为重弧。没有环和重弧的有向图称为简单有向图.如果把有向图 中每条弧(u,v)用边{u,v}来代替，就得到一个无向图，称为 的基图.设D=(V,A)是一个简单有向图，则.若上式等号成立，则说明每对顶点间都恰好有一对方向相反的弧相连，称这样的图为完全有向图.有向图D中顶点v的出弧的数目称为v的出度，记为 ，顶点v的入弧的数目称为v入度，记为.定理2：设D=(V,A)是一有向图，则有有向图的子图，支撑子图，点、弧导出子图.关联矩阵一个简单图G=(V,E)对应一个如下定义的 阶矩阵 ，称为G的关联矩阵，其中 一个简单有向图D=(V,A)也对应一个如下定义的 阶矩阵 ，称为D的关联矩阵，其中邻接矩阵一个简单图G=(V,E)对应一个如下定义的 阶矩阵 ，称为G的邻接矩阵，其中 一个简单有向图D=(V,A)也对应一个如下定义的 阶矩阵 ，称为D的邻接矩阵，其中 例1：试写出下图所示简单无向图和简单有向图的关联矩阵和邻接矩阵. 1 22 4 5 1 3 3 4定理3：G是二分图当且仅当G的邻接矩阵可表示为设有图G=(V,E)，如果它的某些顶点与边可以排成一个非空的有限交错序列 且 ，则称它为由 到 的一条途径；如果该途径中边互不相同，则称为迹；如果顶点不相同，则称为路. 路必为迹，反之未必.如果某途径至少含一条边，且起点与终点重合，则称它为一条闭途径. 类似有闭迹和回路（又称圈）.若G为简单图，则两个顶点间边若存在必是唯一的，故由 到 的一条途径可以用顶点序列 表示. 图G中若存在一条从顶点u到v途径，则称u与v是连通的.如果图G中任何两个顶点都是连通的，则称G是连通图.完全图一定是连通图；顶点数大于等于3的二分图一定不是完全图. 如果H是G的子图，且H是连通的，则称H为G的连通子图.称H为G的极大连通子图，是指H为G的连通子图，且不存在连通子图J，使H是J的子图.图G的极大连通子图又称为G的连通分支；一个图可以有多个连通分支，连通图恰好有一个连通分支.有向图D=(V,A)中某些顶点与弧组成的非空有限序列 ，且 ，则称它为从 到 的有向途径.有向迹；有向路；有向闭途径；有向闭迹；有向回路（有向圈）.D中若既存在从u到v的有向途径，又存在从v到u的有向途径，则称u和v是强连通的；如果D中任意两点都是强连通的，则称D是强连通的；D的极大强连通子图称为强连通分支；若D强连通，则D恰好有一个强连通分支.设有图G=(V,E)，e是G的一条边，如果从G中