算法学习与笔记（三）图

一.图：

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是同构的。

六.图的着色

指对顶点着色，使邻接的顶点有不同的颜色