离散数学 第八章 图

离散数学 第一、二章-CSDN博客

离散数学 第三、四章-CSDN博客

离散数学 第五章-CSDN博客

线性代数 第六章代数系统-CSDN博客

离散数学 第七章 典型代数系统-CSDN博客

离散数学 第八章 图-CSDN博客

离散数学 第九章 无向树-CSDN博客

1．无序对：称两个元素x,y无序排列成的二元组称为一个无序对。

无序积：称{(x,y)∣x∈A∧y∈B}为集合A与B的无序积，记为A&B。注意：(x,y)=(y,x)。

2．无向图G是一个二元组G=<V,E>

V称为顶点集，其元素称为顶点或结点

E是边集，无序积的子集(有向图中，E是笛卡尔积的子集)，其元素称为无向边简称边

将以u,v为顶点的边记做(u,v)，称u,v为该边的端点。当u=v时，将边(u,u)称为自环。

平行边：两顶点之间有多条边   重数：平行边的条数

3．多重图：含平行边的图；简单图：不含平行边和自环的图；混合图：有有向边，也有无向边

n阶图：有n个顶点的图；零图：只有点，没有边的图；平凡图：仅有一个孤立顶点的图

4．完全图

5．母图、子图、生成子图、导出子图:

6．关联

环与点关联次数为2；线与两点各为一

7．相邻

两点由边相连：相邻节点；两边由点相连：相临边

8．度

一度，两度跟关联相同；度=1的点称为悬挂顶点，边称为悬挂边；有向图分出度、入度；称 deg+(v) ，deg-(v)为v的度数，简称度,记作deg(v)

9．握手定理

10．同构

两个图的结点和边分别存在着一一对应的关系，且保持关联关系。

图的联通性

1．简单通路(回路)： 不含有相同边的通路（回路）。

初级通路：不含有相同结点的通路。

初级回路：除vi0=vi0外，不含有相同结点的回路。

初级通路（回路）也称为基本通路（回路）

通路的长度：一条通路中所含有的边的总数。

2．有向图的连通性

     u=v则长度不大于n

3．无向图的连通性

4．连通分支；连通分支数

5．连通性分类

   引申出单向/强连通分支

6．极大子图

图的操作

删除：删除边就只删除边，删除结点同时也删除连接的边

收缩边：将边替换为点：收缩边e ∈E（e = (u, v)或e = <u, v>）：剔除元素e，同时在结点集中添加一个新的结点w，并将E中以结点u 或v为端点的边的端点用新的结点w来替换

图的表示

1.1无向图的关联矩阵：

 

            1.2有向无环图的关联矩阵：

                             性质：各列元素之和为0（线有一出一入）

            2.1无向无环图的邻接矩阵：

            2.2有向图的邻接矩阵：

 

            3可达矩阵

赋权图                                            边权矩阵

最短通路问题：在赋权图中寻找一个结点到另一个结点的具有最小长度的通路。

                             求法：枚举遍历

欧拉图（一笔画问题）：将具有欧拉通路但不具有欧拉回路的图称为半欧拉图

      无向图：

      有向图：

哈密顿图：欧拉图是每条边只能走一次，这个是每个点一次；不像欧拉图一样有明确的充要条件

必要条件：

     

所以不存在曼哈顿通路

充分条件：

 

平面图

 

 

 必要条件（不充分）：