离散数学-图的运算与基本概念、导出子图、路与连通

离散数学复习命题公式的范式

离散数学平面图对偶图和着色问题

离散数学谓词逻辑

离散数学-图的运算与基本概念、导出子图、路与连通

离散数学关系的基本运算和关系的性质闭包

离散数学-欧拉图和哈密顿图

图的定义与记号

概念：
简单图
多重图
完全图


平凡图的定义：
1.仅有一个结点的图的称平凡图；
2.平凡图是平凡树；
3.边的集合为空的图叫做零图，1阶零图叫做平凡图，所谓n阶图是指有n个顶点的图；
4.顶点的集合为空的图叫做空图。
零图：只有结点没有边的图。（零图可以多个结点，平凡图只有一个结点）
平凡图是连通图、欧拉图、哈密顿图。
由孤立点组成的图叫做零图，由一个孤立点组成的图叫做平凡图，因而平凡图一定是零图。
全关系-恒等关系：完全图
空关系：零图

邻接矩阵

关联矩阵

设G=V,E是无向图，其中V={v1,v2,…,vn},将n×m阶矩阵𝑚𝑖𝑗𝑛×𝑚称为G的关联矩阵，记为M(G)。其中元素𝑚𝑖𝑗表示结点v𝑖与边e𝑗的关联次数，如下所示

设D=V,E是有向图，其中V={v1,v2,…,vn},将n×m阶矩阵𝑚𝑖𝑗𝑛×𝑚称为D的关联矩阵，记为M(D)。其中元素𝑚𝑖𝑗表示结点v𝑖与边e𝑗的关联情况，如下所示：




[结论]
（1）对于无向图及其关联矩阵，由于每条非自环边关联2个结点，故矩阵中每列元素之和必为2。
（2）对于有向图及其关联矩阵，由于每条非自环有向边关联2个结点，且一个为起点一个为终点，故图中每个非自环边在关联矩阵中所对应列元素之和必为0.

 当图模型中的边数较多时，邻接矩阵和关联矩阵比较有效。
 当图模型中的边数较少时，邻接矩阵和关联矩阵的的表示方法比较浪费资源，可用邻接表的方法表示图模型。

邻接表

邻接表
⨠⨠邻接表主要是分别对图G=V,E中每个结点𝑣𝑖建立一个单链表。
⨠⨠对于结点𝑣𝑖的单链表，该表的第一个存储单元为表头，存放结点𝑣𝑖的有关信息，表中其它存储单元存放与所有结点𝑣𝑖相关联边的信息