一.图:
1.定义:一个图或无向图G由一组顶点[或节点]V和一组边[]E构成,其中每个边e∈E由一对无序顶点相连。我们记为G=(V,E),如果顶点V和W有唯一条边e相连,则记为e=(v,w)或e=(w,v)。
(v,w)表示v和W之间的一条边
2.定义
(1)有向图:G由一组顶点[或节点]V和一组边[或弧]E构成,其中每个边e∈E与一对有序顶点相连。我们记为G=(V,E).如果与有序顶点对(v,w)有唯一一条边e相连,则记为e=(v,w),表示由v尾到ws首的一条边
(2)无向图:一个无向图中的一条边e将一对顶点v和w相连,称e关联了v和w,并且称v和w被e关联。v和w是e的端点,是邻接顶点
(3)邻域:v为无向图中的一个顶点,则v的邻域N(v)是与v邻接的一组顶点的集合。
(4)度:v的度是与v相关联的边数
(5)出度:如果v是有向图中的一个顶点,那么v的出度是形式为(v,w)的边数,而v的入度是形式为(w,v)的边数
(6)环路:一个只与一个顶点关联的边称为环路
(7)平行边:与顶点Vi与Vj关联的几条边称为平行边
(8)孤立顶点:不与任何边关联的顶点称为孤立顶点
(9)简单图:没有环路没有平行边的图
(10)加权图:模仿一个道路系统,每条道路都标出距离,G由顶点集V,边集E,以及一个E的实数函数W构成。记为G=(V,E,W)
二.图的表示
无向图可用邻接矩阵表示
三.一些特殊的图
1.n顶点的完全图:用Kn表示,是一个由n个顶点的简单图,其中每一对不同顶点之间都有一条边
2.二部图:一个图G=(V,E),如果存在V的两个子集V1,V2(都可能为空集),有V1∩V2≠空,V1∩V2=V,并且E中的每一条边一头连V1中的一个顶点,另一头连V2中的一个顶点,则这个图是二部图
3.完全二部图:m和n个顶点上的完全二部图,用Km,n表示,是一个简单图,其顶点集分为有m个顶点的V1和有N个顶点的V2两个不相交集,图中每对顶点V1和V2之间有一条边,v1在V2中,v2在V1中
四.路径和环路
1.路径:令V0和Vn是图的顶点,从V0到Vn,长度为n的路径是从顶点V0开始到顶点Vn结束的一个n+1个顶点和n条边的可选序列
(V0,e1,v1,e2,v2,...,vn-1.en,vn)意思是,从某个顶点v0除非,沿边e1到v1,沿边e2到v2。。
2.连通图:可以从任意一个顶点经一条路径到另一个顶点
给定任意顶点v和w,一定有从v到w的一条路径
3.子图:
4.没有路径;两个顶点之间距离无穷大
5.有路径:两个顶点之间最短距离
6从v到w的简单环路:从v到w的一条没有重复顶点的路径
7.环路:从v到v的一条没有重复边的非零长度的路径,没有环路的图是一个无圈图
8.哈密尔顿环路:除起始顶点和结束顶点出现两次外,其中每个顶点只出现一次
9NP问题:给定图G,在G中寻找哈密尔顿环路,周游世界问题
10.货郎担当问题:找一个最短路径,从一个城市出发,访问每个城市各一次,回到起始的城市v
11.欧拉环路问题:从v到v,包含G中的全部边和全部顶点,没有重复的边
12.图的补图:与G具有相同顶点的简单图G’,它的边存在当且仅当不在G中
五.图的同构
简单的无向图G1和G2,若对于顶点的某些次序,它们的邻接矩阵相等,则G1和G2是同构的。
六.图的着色
指对顶点着色,使邻接的顶点有不同的颜色