离散数学-⑨-图

图

图和图模型

• 图：一个图$G=(V,E)$由顶点的非空集V合边的集合E构成，每条边有一个或两个顶点与它相连，这样的顶点称为端点，边连接它的端点
• 无向图：一组顶点以及连接这些顶点的一组无向边
• 简单图：没有多重边和环的无向图
• 多重图：可能包含多重边但不包含环的无向图
• 伪图：可能包含多重边和环的无向图
• 有向图：一个有向图（V,E）由一个非空顶点集V和一个有向边集E组成，每条有向边与一个顶点有序对相关联，与有序对（u,v）相关联的有向边开始于u、结束于v
• 图模型
  • 社交网络
  • 通信网络
  • 信息网络
  • 软件设计应用
  • 生态网络

图的术语和几种特殊的图

• 邻接：若u和v是无向图G中的一条边e的端点，则称两个顶点u和v在G里邻接
• 关联：若一个顶点是一条边的端点则那条边关联那个顶点
• 度：在无向图中，顶点的度是与该顶点相关联的边的数目，顶点v的度表示为deg(v)
• 握手定理：设G=(V,E)是有m条边的无向图，则

$$2m=\sum _{v\in V}deg(v)$$

• 无向图有偶数个度为奇数的顶点
• 当(u,v)是带有有向边的图G的边时，说u邻接到v，而且说v从u邻接，顶点u称为(u,v)的起点，v称为(u,v)的终点
• 入度：在带有有向边的图里，顶点v的入度记做$de{g}^{-}(v)$，是以v作为终点的边数
• 出度：在带有有向边的图里，顶点v的出度记做$de{g}^{+}(v)$，是以v作为起点的边数
• 设G=(V,E)是带有向边的图，于是

$$\sum _{v\in V}de{g}^{-}(v)=\sum _{v\in V}de{g}^{+}(v)=|E|$$

• 二分图：若把简单图G的顶点集合分成两个不想交的非空集合$v_1$和$v_2$，使得图中的每一条边都连接$v_1$中的一个顶点与$v_2$的一个顶点（G中没有边连接$v_1$中的两个顶点或$v_2$中的两个顶点），则称G为二分图
• n个顶点的完全图($K_n$)：带n个顶点的无向图，其中每对顶点都用一条边连接
• 完全二分图($K_{m,n}$)：顶点集划分成m个元素的子集和n个元素的子集，使得两个顶点被一条边所连接当且仅当一个顶点属于第一个子集而灵位一个顶点属于第二个子集
• 一个简单图是二分图当且仅当能够对图中的每个顶点赋予两种不同的颜色，并且使得没有两个相邻的顶点被赋予同样的颜色
• 匹配：一组边的集合且任意两边都没有公共端点
• 被匹配：若一个顶点是匹配M中的一条边的端点，则称该顶点在M中被匹配，否则称为未被匹配
• 最大匹配：包含最多边数的匹配
• 完全匹配：在二分图G=(V,E)中的一个匹配M，其划分为$(V_1$