离散数学——图

图和图模型

1）一个图G=(V，E)由顶点的非空集V和边的集合E构成。
2）每条边都连接两个不同的顶点且没有两条不同的边连接一对相同顶点的图称为简单图。
3）由多重边连接同一对顶点的图称为多重图。
4）包含环或存在多重边连接同一对顶点或同一个顶点的图称为伪图。
5）简单有向图：不包含环和多重有向边的有向图。
6）混合图：既包含有有向边又包含无向边的图。

可以用图连表示多种模型，例如社交网络、影响图、合作图、网络图、航线图等。

图的术语和几种特殊的图

1）图G=(V，E)中，顶点v的所有相邻顶点集合记作N(v)，称为顶点v的邻居，包含环的点的邻居包括点自身。
2）在无向图中，顶点的度是与该顶点相关联的边的数目，顶点v的度记为deg(v)。
3）度为0的点称为孤立的，度为1的点是悬挂的。
4）握手定理：一个图中所有顶点的度之和是所有边数的2倍。
5）无向图有偶数个度为奇数的顶点。
6）在带有向边的图中，所有顶点的入度之和与所有顶点的出度之和相同，这两个和等于图中的边数。

完全图：在每对不同顶点之间都恰有一条边的简单图，n个顶点点完全图记作Kn。
二分图：简单图G顶点集分成两个不相交的非空集合，图中每条边都连接这两个集合间的一个顶点且没有边连接一个顶点集合中的两个顶点。（判断一个简单图是否是二分图的方法：对图中的每个顶点赋予两种不同的颜色，使得没有两个相邻的顶点被赋予相同的颜色。不可能从一个顶点出发，经过奇数条不同的边在回到它本身）。

图·的表示和图的同构

图的表示有两种方法，分别是邻接表和邻接矩阵。
邻接表的表示法是画一个分两栏的表，左边为顶点集合，右边是这些顶点相邻的顶点。有向图的邻接表左边是起点，右边是终点。
邻接矩阵的大小为图顶点数的平方，具体画法是把图的每个顶点按顺序排列并按数字1开始往后逐步地址，然后从数字1的点开始依次按顺序找出与该店相关联的边所对应的点的数字，组成一个数组组合，该组合表示在邻接矩阵的该下标位置下的数字为1，否则为0；若图包含多重边，则数字1改为边数。
1）简单图的邻接矩阵是对称的，主对角线上的每一项都为0。
还可以用关联矩阵来表示图。
2）两个图的顶点之间具有保持相邻关系的一一对应时两个简单图同构。
3）同构的简单图具有相同的顶点数、边数和对应顶点的度数。

连通性

1）无向图中每一对不同的顶点之间都有通路则称该图为连通的。
2）割点：删除图中的该点和它所关联的边，就产生比原图更多的连通分支子图。
3）非完全图的点连通度为点割集中最小的顶点数，图G的边连通度是图G的边割集中的最小的边数。
4）强连通图：图中任何一个顶点到任何另一个顶点之间一定存在有向边的序列。
5）有向图弱连通：忽略边的方向时，任何两个顶点之间总是存在通路，任何强连通有向图也时弱连通的。

欧拉通路与哈密顿通路

**欧拉通路与欧拉回路**：
1）图G的欧拉回路是包含G的每一条边的简单回路，欧拉通路是包含G的每一条边的简单通路。
2）若连通图有欧拉会路，则每一个顶点必有偶数度。
3）连通多重图具有欧拉通路当且仅当它恰有2个度为奇数的顶点，个数超过2的不行。

**哈密顿通路与哈密顿回路**
1）经过图G每个顶点恰好一次的简单通路称为哈密顿通路，经过图G中每一个顶点恰好一次的简单回路称为哈密顿回路。
2）带有度为1的顶点的图没有哈密顿回路，哈密顿回路不能包含更小的回路。
3）狄拉克定理：如果G是顶点数大于等于3的简单图，并且G中每个顶点的度都至少为顶点总数的二分之一，则G有哈密顿回路。
4）欧尔定理：如果G是顶点数大于等于3的简单图，并且对于G中每一对不相邻的顶点来说，它们的度的和大于等于顶点总数，则G有哈密顿回路。

平面图

1）若可以在平面中画出一个图而边的直线或弧线在它们的公共端点以外的地方没有任何交叉，则这个图是平面图。
2）K3,3不是平面图。
3）欧拉公式：G的平面图表示中的面数 = G的边数 - G的顶点数 + 2。
4）若G是e条边和v个顶点的连通平面简单图，v大于等于3，则e小于等于3v-6。（满足该不等式并不意味着一个图是平面图）
5）若连通平面简单图有e条边和v个顶点，v大于等于3并且没有长度为3的回路，则e小于等于2v-4。
6）通过删除平面图一条边{u,v}并且添加一个新顶点w和两条边{u,w}与{w,v}称为初等细分，若可以从相同的图通过一系列初等细分来获得两个图，则称这两个图是同胚的。
7）库拉图斯基定理：一个图是非平面图当且仅当它包含一个同胚于K3,3或K5的子图。

图着色

1）四色定理：平面图的着色数不超过4。
2）Kn的着色数等于n。
3）二分图Km,n的着色数是2。
4）Cn的着色数：当n为偶数时为2，奇数且大于一时为3。