图论（1）图的概念

一、什么是图？

    定义：一个图是一个序偶<V,E>，记为G=（V,E），其中

    （1）V是一个有限的非空集合，称为顶点集合，其元素称为顶点或点，用|V|表示顶点的数目。

    （2）E是由V中的点组成的无序对构成的集合称为边集，其中元素称为边，且同一点对在E中可以重复出现多次（如果标上边的重数的话，每一点对只要出现一次就行了）。用|E|表示边数。

    图可以用图形表示，顶点集V中元素用平面上一个黑点表示，边集E中元素用一条连接V中相应点对的任意形状的线表示。现实中，点集合代表事物或对象的全体，边集代表点之间的联系或相互作用。即图是描述事物之间联系或相互作用状态的一个概念。

     

二、图的相关概念

（1）有限图：顶点集V和边集E都是有限的图称为有限图。一般我们也不考虑无限图。

（2）平凡图与空图：只有一个顶点的图称为平凡图。只有点没有边的图称为空图。所以，平凡图也是一种特殊的空图呀。

（3）n阶图：顶点数为n的图称为n阶图。

（4）（n，m）图，顶点数为n，边数为m的图称为（n，m）图。这里应该是没有考虑重边的情况的。

（5）边的重数：连接两个相同顶点的边的条数称为边的重数。重数大于1的边称为重边。

（6）环：端点重合为一点的边称为环。其实就是只有一个端点。

（7）简单图：无环无重边的图称为简单图，其余图称为复合图。

（8）顶点u与v相邻接：顶点u和v间有边相连接，其中u和v称为该边的两个端点。规定一个顶点与自身是邻接的。

（9）顶点u与边e相关联：顶点u是边e的端点。

（10）边e与边e相邻接：边e与边e有公共端点。

三、图的同构

（1）什么是图的同构问题？

    同构意味着：同一个图；形式不同。

    同一个图表示，顶点数相同，边数相同，结构相同。

    可以理解为是同一个图，只是画法不同而已，当然这里不考虑给顶点编号的情形。

小知识：设G是具有m条边的n阶简单图，则m<=C(2,n)，因为简单图无环无重边，所以只有当该简单图是完全图的时候，等号才成立。