图的基本概念、握手定理、Havel定理

图

图论被广泛应用在计算机科学、运筹学、信息论、控制论、网络理论、博弈论、化学、生物学、物理学、社会科学、语言学等领域；

图论的应用方向1：以理论计算机科学和信息科学为研究背景，探索图论在计算机科学和信息科学上应用研究。当前主要研究方向为：a.正则系统（网络）容错性分析（包括系统的可诊断性，系统的结构性质，高容错性网络/系统设计，大规模数据中心拓扑结构分析和构建）;b.图的嵌入问题（book-embeding与集成系统/电路布线设计，平面嵌入）; c.图算法；d.基于图的数据挖掘。此应用方向的预期发展方向是探索图论在动态系统上的应用研究，诸如无线网络，传感网络，社交网络，随机算法等。
图论应用方向2：图论与其他研究方向的交叉研究，特别是有实际应用背景的方向。本方向主要是将图论中一些已有成果与有较强应用背景的动力系统相结合，以期发展一些新的理论方法等。

多重图、简单图
简单图：不含平行边不含环
多重图：含有平行边

(1)

(2)

(3)

(4)
图（1）：无向图，v1与v2是邻接点，v5是孤立点，是简单图

图（2）：有向图，箭头指示方向是边的终点，另一个方向上的起始点。是简单图

图（3）：混合图
图（4）：有环和平行边，是多重图

结点的度
度dG(v): 与v关联的边的次数之和
出度dD+(v): 与v关联的出边的次数之和
入度dD-(v): 与v关联的入边的次数之和
度dD(v) = dD+(v) + dD-(v)
**环对于结点度的贡献度为2
悬挂对于结点度的贡献度为1
孤立顶点对于结点度的贡献度为0
求最（小）大（出入）度

Δ=6；Δ+=4;Δ-=3;
δ=0；δ+=0;δ-=0;

握手定理

定理7.1 每个图中，所有结点度数的总和等于边数的两倍。

定理7.2：D=(V,E)是有向图,V={v1,v2,…,vn},|E|=m,则

推论：在任何图中，奇度数顶点的个数是偶数。
注意：
例 已知无向图G有10条边, 4个3度顶点, 其余顶点的度数均不大于2, 问G至少有多少个顶点?

正确答案应为8，当取3时，结果为6（2/3）
但是不知道是大于7还是大于等于7，所以为n>7

例 一个部门有25个人，由于意见不同，是否可能每个人恰好与其他5个人意见一致？
解答：不可能。
考虑一个图，其中顶点代表人，如果两个人意见相同，
可用边连接，所以每个顶点都是奇数度。存在奇数个度
数为奇数的结点，这是不可能的。
度数列

可图化:设非负整数数列d=( d1,d2, …, dn ),若存在无向图G, 使得G的度数列是d, 则称d为可图化的.
可简单图化:设非负整数列d=( d1,d2, …, dn ),若存在无向简单图G, 使得G的度数列是d,则称d为可简单图化的.

可图化充要条件：非负整数列d=(d1,d2,…,dn)是可图化的, 当且仅当d1+d2+…+dn=0(mod 2).

Havel定理（可简单图化充要条件）

设非负整数列d=(d1,d2,…,dn)满足:

例: 判断下列非负整数列是否是可简单图化的.
(1) (5,5,4,4,2,2) (2) (4,4,3,3,2,2)
解: (1) (5,5,4,4,2,2) 可简单图化的
<=> (4,3,3,1,1) 可简单图化
<=> (2,2,0,0) 可简单图化
<=> (1,-1,0) 可简单图化
显然(1,-1,0)不可简单图化，所以(1)中的数列不是可简
单图化的
(2) (4,4,3,3,2,2) 可简单图化的
<=> (3,2,2,1,2) 可简单图化的
<=> (3,2,2,2,1) 可简单图化的
<=>(1,1,1,1) 可简单图化的
显然(1,1,1,1)是可简单图化的,所以(2)中数列是可简单
图化的.
图的同构
必要条件：
(1) 边数相同，顶点数相同
(2) 度数相同的结点数目相等，即度数列相同(不计度数的顺序)

---

完全图 正则图

n阶k-正则图(regular graph): ∀v, d(v)≡k, k <=(n-1) ; m(边）=nk/2; Δ=δ=k
n阶完全图:n阶（n-1)-正则图，也是简单图 ；m(边）=n(n-1)/2
n阶有向完全图：度=2（n-1) ; m(边)=2*n(n-1)/2=n(n-1)
竞赛图：G是有向图且其基图是无向完全图
r部图：G=<.V,E>是一个n阶无向图,若V能分成r个互不相交的子集V1……Vr;
使得G中任何一条边的两个端点都不在同一个Vi上，则称G为r部图。
二部图：|V1|=n1;|V2|=n2; Δ=max(n1,n2);
完全r部图：G是简单图r部图,Vi中的任意顶点与V-Vi中所有顶点相邻,记为Kn1, n2,…, nr;


Δ=(N-Nmin);
图：

子图：

补图：

自补图:其补图与自身同构
联图
积图