离散数学图论

G表示无向图，D表示有向图，G也可以泛指图

边与边相邻，点与点相邻，边与点相联（相连次数）

（Vi，Vj）Vi为始点，Vj为终点
出度：有向边的始点；d+
入度：有向边的终点；d-

图的同构

n阶无向完全图
n阶有向完全图

对于G，有V⊆V，E⊆E，称G为G的子图，G为G的母图
若V⊂V，E⊂E，G为G的真子图
若V=V，称G为G的生成子图
导出子图

简单通（回）路：起点到终点所经历的边不同
初级通（回）路：起点到终点所经历的边和点不同

连通分支数：相当于一个森林中树木的个数，如果该森林只有一颗树，那么连通分支树为1，也相当于点集合（每一棵树所有顶点构成的集合）的到导出子图，如果森林中只有一颗树，那么点集合只有一个，它包含了这颗树的所有顶点

弱连通图（简称为连通图）：有向图的基图是连通图
单向连通图：有向图单向连通
强连通图：有向图中双向连通
强连通图一定是单向连通图，单向连通图一定是弱连通图

关联矩阵：描述顶点与边的度数关系
邻接矩阵：描述两个顶点间的连通数（直接连通，V1-V3的连通数只能是V1-V3不能是V1-V2-V3）
可达矩阵：描述点与点之间是否连通