图论

图论〔Graph Theory〕是数学的一个分支。它以图为研究对象。图论中的图是由若干给定的点及连接两点的线所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系，用点代表事物，用连接两点的线表示相应两个事物间具有这种关系。

图G=（V,E）是一个二元组（V,E）使得E⊆[V]的平方，所以E的元素是V的2-元子集。为了避免符号上的混淆，我们总是默认V∩B=Ø。集合V中的元素称为图G的定点（或节点、点），而集合E的元素称为边（或线）。通常，描绘一个图的方法是把定点画成一个小圆圈，如果相应的顶点之间有一条边，就用一条线连接这两个小圆圈，如何绘制这些小圆圈和连线时无关紧要的，重要的是要正确体现哪些顶点对之间有边，哪些顶点对之间没有边。

图论本身是 应用数学的一部份，因此， 历史上图论曾经被好多位 数学家各自独立地建立过。关于图论的文字记载最早出现在 欧拉1736年的论著中，他所考虑的原始问题有很强的实际 背景。

 

1.连通图
1.1 顶点的连通性
在无向图G中，若从顶点vi到顶点vj有路径(当然从vj到vi也一定有路径)，则称vi和vj是连通的。
1.2 连通图
在无向图G中，若V(G)中任意两个不同的顶点vi和vj都连通(即有路径)，则称G为连通图(Con-nected Graph)。

在有向图G中，如果两个顶点vi,vj间（vi>vj）有一条从vi到vj的有向路径，同时还有一条从vj到vi的有向路径，则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。

2.连通分量
在图论中，无向图的连通分量（或者仅分量）是一个子图，其中任何两个顶点通过路径相互连接，并且在超图中不连接顶点。例如，图中显示的图形有三个连接的组件。没有边缘的顶点本身就是一个连通的组件。自身连接的图形只有一个连接组件，由整个图组成。

在有向图的数学理论中，如果每个顶点都可以从其他顶点到达，则图被称为强连通或不连通。任意有向图的强连通分量或连通分量形成一个划分成本身强连接的子图。可以在线性时间内（即Θ（V + E））测试图的强连通性，或者查找其强连通分量。

2.1.无向图的连通分量
无向图的G的极大连通子图称为G的连通分量（Connected）。任何连通图的连通分量都只有一个，即使是其本身，非连通的无向图有多个连通分量。
使用广度优先搜索或深度优先搜索来计算线性时间内图的连通分量（以图的顶点和边的数量表示）是很直接的。无论哪种情况，从某个特定顶点v开始的搜索将在返回之前找到包含v（并且不再有）的整个连接组件。要查找图的所有连通分量，循环遍历其顶点，每当循环到达一个尚未包含在先前找到的连通分量中的顶点时，开始新的宽度第一次或深度第一次搜索。

2.1.有向图的强连通分量
有向图强连通分量：在有向图G中，如果两个顶点vi,vj间（vi>vj）有一条从vi到vj的有向路径，同时还有一条从vj到vi的有向路径，则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强连通分量(strongly connected components)。

 

团（clique）是图论中的用语。对于给定图G=(V,E)。其中，V={1,…,n}是图G的顶点集，E是图G的边集。图G的团就是一个两两之间有边的顶点集合。简单地说，团是G的一个完全子图。如果一个团不被其他任一团所包含，即它不是其他任一团的真子集，则称该团为图G的极大团（maximal clique）。顶点最多的极大团，称之为图G的最大团（maximum clique）。最大团问题的目标就是要找到给定图的最大团。

转载于:https://www.cnblogs.com/MasterYan576356467/p/11288004.html