离散数学的定义精简版.docVIP

图 1.每个无向图所有结点度总和等于边数的2倍. 2每个无向图中,奇数度的结点必为偶数个. 3G=V,E是有向图, 则G的所有结点的出度之和等于入度之和. 4无向完全图Kn, 有边数 5有n个结点的有向简单完全图有边数为n(n-1). 6有n个结点的有向完全图, 有边数 n2. 12 两个图同构的必要条件:1.结点个数相等. 2.边数相等.3.度数相同的结点数相等. 4. 对应的结点的度数相等. 17 在一个有n个结点的图中,如果从结点vi到vj存在一条路,则从vi到vj必存在一条长度不多于n-1的路. 19 连通分支:令G=V,E是无向图, R是V上连通关系, 设R对V的商集中有等价类V1,V2,V3,…, Vn ,这n个等价类构成的n个子图分别记作G(V1),G(V2),G(V3),…, G(Vn),并称它们为G的连通分支. 并用W(G)表示G中连通分支数. 28 如果从u到v不可达,则du,v=∞ 29 图的直径: G是个有向图, 定义D=max{du,v} u,v∈V为图G的直径. 30强连通、单侧连通和弱连通：在简单有向图G中,如果任何两个结点间相互可达, 则称G是强连通. 如果任何一对结点间, 至少有一个结点到另一个结点可达, 则称G是单侧连通. 如果将G看成无向图后(即把有向边看成无向边)是连通的,则称G是弱连通. 31一个有向图G是强连通的,当且仅当G中有一个回路, 此回路至少包含每个结点一次. 32一. 邻接矩阵 这是以结点与结点之间的邻接关系确定的矩阵.1.定义:设G=V,E是个简单图,V={v1,v2,v3,…,vn }, 一个n×n阶矩阵A=(aij)称为G的邻接矩阵. 其中: aij ={ 1 vi与vj邻接, 即(vi,vj)∈E 或 vi,vj ∈E 0 否则 33从邻接矩阵看图的性质: 无向图:每行1的个数=每列1的个数=对应结点的度 有向图:每行1的个数=对应结点的出度 每列1的个数=对应结点的入度 34在(A(G1))2 中a342 =2 表示从v3到v4有长度为2的路有2条: 在(A(G1))3中a233 =6 表示从v2到v3有长度为3的路有6条: 设G=V,E是简单图,令V={v1,v2,v3,…,vn}, G的邻接矩阵(A(G))k中的第 i行第j列元素aijk=m, 表示在图G中从vi到vj长度为k的路有m条. 35二.可达性矩阵 1.定义:设G=V,E是个简单图,V={v1,v2,v3,…,vn }, 一个 n×n阶矩阵P=(pij)称为G的可达性矩阵. 其中: pij ={ 1 vi到vj可达, (至少有一条路) 0 否则 37三.完全关联矩阵 此矩阵是按照结点与边之间的关联关系确定的矩阵. 1.无向图的完全关联矩阵 1).定义:设G=V,E是个无向图,V={v1,v2,v3,…,vm }, E={e1,e2,e3,…,en },一个m×n阶矩阵M=(mij)称为G的完全 关联矩阵. 其中: mij ={ 1 vi与ej关 ； 0 否则 2).从关联矩阵看图的性质:a)每列只有二个1.(因为每条边只关联两个结点)b)每行中1的个数为对应结点的度数.c)如果两列相同,则说明对应的两条边是平行边. 2.有向图的完全关联矩阵 1).定义:设G=V,E是个简单有向图,V={v1,v2,v3,…,vm }, E={e1,e2,e3,…,en },一个m×n阶矩阵M=(mij)称为G的完全 关联矩阵. 其中: mij ={1 vi是ej的起点 ；-1 vi是ej的终点 ；0 vi与ej不关联 2).从关联矩阵看图的性质:a)每列只有一个1和一个-1.(每条边有一个起点一个终点) b)每行中1的个数为对应结点的出度.-1个数是结点入度 38关键路径:就是各个结点的缓冲时间均为0的路径. 39 欧拉路:在无孤立结点的图G中,如果存在一条路,它经过图中每条边一次且仅一次, 称此路为欧拉路. 40 欧拉回路:在无孤立结点的图G中,若存在一条回路,它经过图中每条边一次且仅一次,称此回路为欧拉回路. 41有欧拉路与有欧拉回路的判定:无向图G具有欧拉路,当且仅当G是连通的,且有 零个或两个奇数度的结点. 42无向图G具有欧拉回路,当且仅当G是连通的,且所有结点的度都是偶数. 43汉密尔顿图：定义:设G=V,E是个无向有限图, 汉密尔顿路:通过G中每个结点恰好一次的路.汉密尔顿回路(H回路):通过G中每个结点恰好一次的回路.汉密尔顿图(H图):具有汉密尔顿回路(H回路)的图. 44汉密尔顿图的判定:到目前为止并没有判定H图的充分和必要条件. (充分条件):G是