图论（1）---图的基本概念

1、图的定义及表示

       定义：图是一集元素（顶点集）和各元素之间的关系（边集）

       表示：图G  = ( V , E)    这个二元组中，V表示点集，E表示边集

                  例如： V = {v1,v2,v3,v4}    E = {(v1,v2),(v2,v3),(v1,v4)}   

                  可见，边是由它所连接的两个顶点确定的

2、相关概念、术语

阶：图G的顶点的数目

环边：两端点重合

重边：直接连接两个顶点u ,v， 有两条，或者两条以上的边

简单图：无环边，无重边 的 图

完全图：两个条件（1）任何两个顶点之间都有一条边 （2） 简单图

平凡图：只有一个顶点，边集为空

空图：边集为空

度：顶点关联的边的数目，是每个顶点都有的一个属性

最大度：图G所有顶点度的最大值

最小度：同理

正则图：图G所有顶点的度都相等

补图：和图G拥有同一顶点集，但是不包含图G包含的任何边，除此之外，把该顶点集其他的所有可能的边都包含在内。（类比 补集的概念）

子图：图H是图G 的子图，则图H所有的顶点都包含在图G的顶点集中，边也同理

生成子图：图H是图G 的子图，并且 图H 拥有 和图G相同的顶点集

点导出子图：从图G中抽出一部分顶点作为 子图的顶点集，以这些顶点做端点的边 作为 边集

边导出子图：从图G中抽出一部分边作为 子图的边集，这些边所关联的顶点 作为子图的顶点集

路：顶点不重复出现的，边也不重复出现的，点边接续交替出现的序列。

环（圈）：中途点不重复的，边也不重复的，起点和终点相同，点边接续交替出现的序列

路和环的长度：边的数目

最短路（距离）：顶点u 和 v 之间，具有最小长度的路

奇圈：简单图中，长度为奇数的圈

偶圈：简单图中，长度为偶数的圈

简单图 围长: 最短圈的长度

简单图 周长：最长圈的长度

二部图：对图G顶点集的一个划分，划分为两个非空子集X,Y后，图G任意一条边的两个顶点，分别来自于这两个非空子集

完全二部图：子集X的每个顶点与子集Y的所有顶点都有边的连接

联通性：图G任意两个顶点之间 都有路

3 、同构：

     顶点和边都一一对应，并且连接关系完全相同，只是顶点和边的名称不同，成为同构。

     同构是一种等价关系，可将n阶图分为若干等价类（满足反身性，对称性，传递性），同一类中的图具有相同的结构，可以看作同一个图（忽略名称的差异）

    两图同构需要满足的一些必要条件：（1）阶必须相等（2）边数必须相等（3）有相同的环边、重边、圈的状态（4）对应顶点的度相等