图论

1.图的定义

定义： 一个图定义为一个三元组< V(G),E(G),φG>，其中:
(1)V(G)是一个非空的结点集合，它的元素称为结点或顶点；
(2)E(G)是边集合；
(3)φG是从边集合到结点无序偶（有序偶）集合上的函数。

2.边的有关概念

1.图的定义中的结点对既可以是无序的，也可以是有序的。
2. 若边e与无序结点对(u,v)相对应，则称e为无向边，记为e = (u, v) = (v, u)，这时称u、v是边e的两个端点。
若边e与有序结点对<u, v>相对应，则称e为有向边或弧)，记为e = <u, v>，这时称u为e的始点(或弧尾)，v为e的终点(或弧头)，统称为e的端点。

3.图的表示

对于一个图G，如果将其记为G = <V, E>，并写出V和E的集合表示，这称为图的集合表示。
而为了描述简便起见，在一般情况下，往往只画出它的图形：用小圆圈表示V中的结点，用由u指向v的有向线段或曲线表示有向边<u, v>，无向线段或曲线表示无向边(u, v)，这称为图的图形表示

4.邻接点与邻接边

1.定义 在图G = <V, E>中，若两个结点vi和vj是边e的端点，则称vi与vj互为邻接点，否则vi与vj称为不邻接的；
2.具有公共结点的两条边称为邻接边
3.两个端点相同的边称为环或自回路；
4.图中不与任何结点相邻接的结点称为孤立结点；
5.仅由孤立结点组成的图称为零图；
6.仅含一个结点的零图称为平凡图；
7.含有n个结点，m条边的图，称为(n, m)图。

5.图的分类

1.（a） 按边有无方向分类
每条边都是无向边的图称为无向图；
每条边都是有向边的图称为有向图；
有些边是无向边，而另一些边是有向边的图称为混合图。
2.（b） 按有无平行边分类
在有向图中，两结点间(包括结点自身间)若有同始点和同终点的几条边，则这几条边称为平行边；
在无向图中，两结点间(包括结点自身间)若有几条边，则这几条边称为平行边。
两结点a、b间相互平行的边的条数称为边(a, b)或<a, b>的重数。
含有平行边的图称为多重图；
非多重图称为线图；
无环的线图称为简单图。
3.（c）按边或结点是否含权分类
带权图G是一个三元组<V, E, g>或四元组<V, E, f, g>，其中V是结点集合，E是边的集合，f是从V到非负实数集合的函数，g是从E到非负实数集合的函数。

6.子图与生成子图

设有图G = <V, E>和图G1 = <V1, E1>。
若V1 V，E1 E，则称G1是G的子图，记为G G。
若G1 G，且G1≠G，则称G1是G的真子图，记为G1 G。
若V1 = V，E1 E，则称G1是G的生成子图。

7.完全图

设G = <V, E>为一个具有n个结点的无向简单图，如果G中任意两个结点间都有边相连，则称G为无向完全图，简称G为完全图，记为Kn。
设G = <V, E>为一个具有n个结点的有向简单图，如果G中任意两个结点间都有两条方向相反的有向边相连，则称G为有向完全图，在不发生误解的情况下，也记为Kn。

8.补图

给定一个图G ，由G中所有结点和所有能使G成为完全图的添加边组成的图，称为G的相对于完全图的补图，或简称为G的补图,记作 G‘ 。
Kn的补图为n个结点的零图。

9.图的基本定理

1.结点的度数与握手定理
（a）图G = <V, E>中以结点v∈V为端点的边数(有环时计算两次)称为结点v的度数，简称度，记为deg(v)。
（b）有向图G = <V, E>中以结点v为始点的边数称为v的出度，记为deg+(v)；以结点v为终点的边数称为v的入度，记为deg-(v)。
显然，deg(v) = deg+(v)+deg-(v)。
图中结点度数的总和等于边数的两倍，即设图G = <V, E>，则有

图中度数为奇数的结点个数为偶数。
后常称度数为奇数的结点为奇度数结点，
度数为偶数的结点为偶度数结点。
有向图中各结点的出度之和等于各结点的入度之和，等于边数，即设有向图G = <V, E>，则有

10.图的同构

设两个图G = <V, E>和G’= <V’, E’>，如果存在一一对应的映射g：V→V’，使得对于任意的e = (vi, vj)(或者<vi, vj>)∈E当且仅当e’ = (g(vi), g(vj))(或者<g(vi), g(vj)>)∈E’，并且e与e’的重数相同，则称G与G’同构，记为G≌G’。
对于同构，形象地说，若图的结点可以任意挪动位置，而边是完全弹性的，只要在不拉断的条件下，一个图可以变形为另一个图，那么这两个图是同构的。
1.两个图同构的必要条件
（1）结点数目相同；
（2）边数相同；
（3）度数相同的结点数相同