第七章 图 01基本的概念

图的基本概念
1.图的定义
G=(V,E),顶点集合V和边集E构成
2.
无向图：代表边的顶点对是无序的，用圆括号序偶表示无向边。列如（0,1）
有向图：表示边的顶点对是有序的，用尖括号序偶表示有向边。例：<0，1>

无向图中，若任意的<v,w>属于E(G),有<w,v>属于E(G)，即E（G）是对称，则用无序对（v,w）表示v,w之间的一条边，所以（v,w）与（w,v）代表的是同一条边。


图的基本术语
1）完全无向图：对于无向图，若图中顶点数为n，用e表示边的数目，则e属于【0，n(n-1)/2】.***具有 n(n-1)/2条边的无向图***成为完全无向图
另一种定义：对于无向图G=（V,E）,若对所有的vi,vj属于V,当vi不等于vj时，有（vi,vj）属于E,即图中任意两个不同的顶点间都有一条无向边，这样的无向图为完全无向图。
2）完全有向图：对于有向图，顶点数为n，e表示弧（边）的数目，则e属于【0，n(n-1)】条边的有向图成为完全有向图。
另一定义：对于有向图G=（V,E）,若对所有的vi,vj属于V,当vi不等于vj时，有<vi,vj>属于E并且<vj,vi>属于E,即图中任意两个不同的顶点间都有一条弧，这样的有向图为完全有向图。
3）稀疏图：有很少边或弧的图。
4）稠密图：有很多边或弧的图。
5）权；与图的边和弧相关的数。可以表示从一个顶点到另一个顶点的距离或消耗
6）子图：设有图G=（V,E ）和G’=（V’,E’），若V’含于V且E’含于E,则成G’是G的子图
7）生成子图：若V’=V且E’含于E，则称图G’是G的一个生成子图（顶点数相同，边数不同）
8)邻接点：无向图G=(V,E),若边（v,w）属于E,则称v和w互为邻接点，即v,w相邻接。边（v,w）依附于顶点v,和w,或者说v，w 相关联。
9）度：与顶点v相关的边的条数称为顶点vi的度。TD(v）。（无向图中，所有顶点度的和是图中边的2倍）
10）出度：对有向图G=(V,E）,若所有的vi属于V,图G中以vi作为起点的有向边的数目成为vi的出度。记为：OD(vi)
11）入度：以vi作为终点的有向边的数目成为入度。记为：ID（vi）
顶点vi的出度与入度之和成为vi的度，记为TD(vi).即
TD（vi）=OD(vi)+ID(vi)
12)路径的长度：指路径上边或弧的数目。
13）回路：第一个顶点和最后一个顶点相同
14）简单回路：路径中顶点没有重复出现，称这条路径为简单路径。
15）连通图：图中任意两个顶点之间都连通，
16）连通分量：其中的极大连通子图



17）强连通图：有向图中，如果对于每一对顶点vi和vj，从vi到vj和从vj到vi都有路径，则为强连通图，否则，将其中的极大连通子图称为强连通分量。


18）生成树、生成森林：一个连通图（无向图)的生成树是一个极小连通子图，它含有图中全部n个顶点 和 只有足以构成一颗树的n-1条边，称为图的生成树。
关于无向图生成树的几个结论：
a.一颗有n个顶点的生成树有且仅有n-1条边
b.如果一个图有n个顶点和小于n-1条边，则是非连通图
c.如果多于n-1条边，则一定是环。
d.有n-1条边的图不一定是生成树。
19） 有向图的生成森林：由若干颗有向树组成，含有图中全部顶点。
20）**有向树：**只有一个顶点入度为0，其余顶点的入度均为1的有向图。7-3

21）网：每个边都附加一个权值的图，为带权图。带权的连通图（包过弱连通的有向图）称为网或网络。