【数据结构笔记】关于图的知识点总结

关于图的知识点总结

图

图的定义

图是由一个顶点集V和一个弧集R构成的数据结构Graph=(V,R),而R={VR},其中VR=<v,w>(v称之为弧尾,w称之为弧头),由于弧是有方向的，因此由顶点集和弧集构成的图叫有向图
若<v,w>在弧集中一定有<w,v>在弧集中，则成v和w之间存在一条边，由顶点集和边集构成的图叫无向图
网：弧上带有权值的，称之为有向网，边上带有权值称之为无向网
如果图G=(V,{VR})和图G1=(V1,{VR}1），由G1的点集和边集都包含在G的点集和边集中，则称G1为G的子图
完全图：假设图中有n个顶点和e条边，则含有e=n(n-1)/2条边的无向图称之为完全图（任意两个顶点之间都有一条边），含有n(n-1) 条弧的有向图称之为有向完全图
稀疏图：若边或者弧的个数小于$nlo{g}_2(n)$则称之为稀疏图
若v和w直接存在一条边，则v和w互为邻接点。
对于无向图：和顶点v相关联 的边的个数称之为节点的度：表示TD（顶点）表示顶点的度
对于有向图：入度：以该节点作为弧头的弧个数称之为该节点的入度 OD（顶点）
初度：以该节点作为弧尾的弧的个数称之为该节点的出度ID（顶点）
$$TD=ID+OD$$
从顶点u到顶点w的边的个数称为路径长度
简单路径：首尾顶点不相同，路径中不存在重复顶点的称之为简单路径
简单回路：指序列中第一个顶点和最后一个顶点相同的简单路径
连通图：图G中任意两个顶点之间都有路径相通，则称此图为连通图
连通分量：若无向图为非连通图，则图中的各个极大连通子图称之为此图的连通分量（就是把一块上面能连的都连在一起了）
强连通图：对于有向图，任意两个顶点之间都存在有向路径称之为有向图的强连通图
强连通分量：如果有向图为非强连通图，则各个强连通子图为其强连通分量
生成树：假设以后个n个顶点和e条边，其中n个顶点和n-1条边构成的连通子图，称此极小连通子图为生成树。

几种特殊的图及其相关性质

二部图

设无向图$G=<V,E>$,若能将$V$划分为$V_1$$V_2$，是的$G$中每条边的两个端点都其中一个属于$V_1$，另外一个属于$V_2$，则程$G$为二部图记为$<V_1,V_2,E>$,称$V_1$$V_2$为互补顶点集。如果$V_1$中每个顶点又都和$V_2$中每个顶点相邻则称之为完全二部图。

比较特殊的情况：n阶零图也是二部图

判断二部图的方法：当且仅当$G$中没有奇数圈的时候可以这样做

匹配：任意两条边都不相邻的边子集
极大匹配：添加任意一条边后都不再是匹配的匹配
最大匹配：变数最多的匹配
匹配数：最大匹配中的变数
极大匹配不一定是最大匹配，最大匹配一定是极大匹配
M匹配的饱和点：M中有边与v相关联
V1和V2中有一个里面每一点都是匹配，那么称之为完备匹配
M中的每一点都是饱和点，那么这个匹配就是完美匹配
Hall定理：设在二部图G=<V1,V2,E>,|V1|<=|V2|，G中存在完备匹配当且仅当V1中任意k个顶点至少和V2中k个顶点相邻

欧拉图和哈密顿图

	欧拉	哈密顿
回路	经过所有边只有一次，回到原点	经过所有点一次，回到原点
通路	经过所有边一次，不回原点	经过所有点一次，不回原点
图	有回路	有回路
半图	有通路	有通路
判断图	无向图没有奇度项，有向图每个入度等于出度	阶数n大于等于3，任意两个不相邻的顶点度数之和大于等于n
判断半图	无向图只有两个奇度顶点，有向图有两个顶点初入度不相同，一个入比出多一，一个出比入多一	无向图任意两个不相邻顶点的度数之和不小于n-1，其中n为阶数

图的存储和表示

邻接矩阵的存储表示

无向图

定义：矩阵的元素定义为$M_{ij}=1$ , ( i , j )