9.图
1. 图的基本概念
-
无向图
是二元组 -
有向图
是二元组 -
图的阶:顶点数,
个顶点的图称作 阶图 -
零图:一条边也没有的图
-
平凡图:1阶零图
-
无向图
:端点,关联,相邻 -
有向图
:端点,关联,相邻 -
无向图的度数(度):顶点
作为边的端点的次数,记作 -
有向图的度数
- 出度:顶点
作为边的始点的次数,记作 - 入度:顶点
作为边的终点的次数,记作
- 出度:顶点
10. 握手定理
-
在任何无向图中,所有顶点的度数之和等于边数的
倍。 -
在任何有向图中,所有顶点的度数之和等于边数的
倍;所有顶点的入度之和等于所有顶点的出度之和,都等于边数。 推论:任何图中,奇度顶点的个数是偶数。
- 例:已知
阶无向图 中有 条边,各顶点的度数均为3,又已知 ,则 。
解:列方程组,解出 和 的值。
- 例:已知
11. 度数列
阶无向图: ,也可表示为 阶有向图:出度列 ;入度列 -
例1:一个3阶有向图的度序列是
,入度序列是 ,出度序列是 。
解: -
例2:一个无向图有5个结点,其中4个的度数是
,则第5个结点的度数不可能是 。
A.B. C. D.
-
-
非负整数列
是可图化的当且仅当 为偶数。
非负整数列是简单可图化的 为偶数 - 最大度
\ - 最小度
- 例:下列四组数据中,能作为某个4阶无向简单图的度序列的为
A.
B.
C.
D.
- 例:下列四组数据中,能作为某个4阶无向简单图的度序列的为
- 最大度
-
无向完全图:设
为 阶无向简单图,若 中每个顶点均与其余的 个顶点相邻,记作 。 阶无向完全图 的边的条数为 。 - 例:6阶无向完全图
的边的条数 。
解:
- 例:6阶无向完全图
2.⭐通路、回路与连通性
通路:
无向图
若
连通性
-
设无向图
,若 之间存在通路,则称 是连通的,记作 。
连通图:若无向图是平凡图 或 中任何两个顶点都是连通的。 -
可达:有向图
,对 若从 到 存在通路,则称 到 是可达的。
若从到 存在通路,且从 到 存在通路,则称 和 是相互可达的。 -
设
是有向图 - a) 强连通的:任意两个结点间是相互可达的。
- b) 单向连通:任意两个结点至少从一个结点到另一个结点是可达的。
- c) 弱连通的:在略去有向边的方向后得到的无向图是连通的。
- 例:已知有向图
,其中 , ,
则为弱连通图。 
- 例:已知有向图
图的矩阵表示
关联矩阵
-
设无向图
, , 。 令 为顶点 与边 的关联次数,则称 为 的关联矩阵,记作 。
如:
共5列; 共4行。邻接矩阵: -
设有向图
中无环, , 。 则称
为 的关联矩阵,记作 。 
共5列; 共4行。邻接矩阵:
邻接矩阵
-
设有向图
, 。 令 为顶点 邻接到顶点 的边的条数,则称 为 的邻接矩阵,记作 或简记为 。- 例: 
-
回路总数相关
-
设
为有向图 的邻接矩阵, 的顶点集 。
则的 次幂 中,元素 为 中 到 长度为 的通路数;其中 为 到自身长度为 的回路总数。 为 中长度为 的通路(含回路)总数;其中 为 中长度为 的回路总数。
示例数据:
到 长度为 的通路条数: 到自身长度为 的回路的条数: - 长度小于等于4的通路的条数:
- 长度小于等于4的回路的条数:
-
-
可达矩阵
-
。 注:可达矩阵主对角线上的元素全为
。 
根据邻接矩阵求可达矩阵:
强分图为
,强分图的顶点集为 。