第六章、图
基本概念:
无序积:A&B={(a,b)|a属于A,b属于B} (a,b)称为无序对,(a,b)=(b,a)
图:G=<V,E> V是节点集,E是边集(a,b)无向边<a,b>有向边 (结点数,边数)图
表示方法:图形,集合,矩阵
邻接矩阵:aij有一条边就赋值为1,否则为0
定义:
邻接点:vi与vj是一条边e的两个端点,则vi,vj互称为邻接点
邻接边:有相同节点的两条边
孤立节点:不与任何节点相连的节点
环或自回路:两个端点相同的的边
简单的特殊图
零图:仅有孤立节点组成
平凡图:仅含有一个节点的零图
按有无方向分类:有向图,无向图,混合图(混合图一般是有向图)
按有无平行边分类:
平行边:有向图中的同起点同终点,无向图中的结点间有几条边就有几条平行边
重数:边e的平行边的个数
多重图:有平行边
线图:无平行边
简单图:无环的线图
按权值:赋权图<V,E,g>或<V,E,f,g>,无权图
g表示边的权值,f表示点的权值
各类子图:自身是自身的导出子图和生成子图
子图:V1属于V,E1属于E 真子图就是G1不等于G
生成子图:子图中包含原有的所有点
导出子图:子图中的点集所相连 的边都出现了
简单图中G=<V,E>,即下面两种图都是简单图
完全图:有向图中每个结点间都有两条完全相反的有向边,无向图中每两个结点间都有边相连
补图:G‘=<V,E-E1>,从V为结点集,删除E1的完全图
握手定理:
相关定义:
度数:一个点作为边的端点的次数称为度数,记为deg(v)
出度:作为起点的次数,deg+(v)
入度:作为终点的次数,deg-(v)
悬挂结点:度数为1的结点
悬挂边:以度数为1的结点为端点
定理定义:总度数=奇数点的总度数+偶数点的总度数=两倍的边数
推论:奇度数结点的度数之和是偶数
有向图中:奇数点的总度数=偶数点的总度数=边数
通路与回路:
I=v0e1V1e2----ekVk,这个被称为从v0到vk的通路,k是通路的长度
回路:
v0=vk
简单通路与简单回路:
所有边都不相同,否则为复杂通路或复杂回路
基本/初级通路或基本/初级回路:
所有结点互不相同,所有边也互不相同(回路中除了v0=vk外)
简化表示:
简单图中可以直接用结点序列表示通路v1v2v3
或者通路也可以使用边的序列来表示e1e2e3
计算:图的邻接矩阵A,计算A的k次幂,
通路数目:aij的k次幂是从结点i到结点j的长度为k的 一条通路
回路数目:主对角线上的数值相加
通路总数:矩阵的每一个值相加
连通性:
一些基本定义:
vi到vj是可达的:存在通路,否则为不可达
判断方式:求n个点的邻接矩阵的n次幂的和
或者做布尔矩阵的乘法,然后做交运算
短线程:从vi到vj的长度最短的通路,短线程的大小称为距离,若不可达则记作距离为无穷
计算:计算邻接矩阵的n次幂,d(vi,vj)=k,k=n个矩阵中aij的最小值
无向图:
连通图:G中任意两个结点都是可达的,否则为非连通图或分离图
连通分支:每个等价类的导出子图都是一个连通分支 记作P(G)
点割集:删去某些点后使得图的连通分支P(G)增加的点集,点割集中只有一个点时就成为割点
边割集: 删去某些点后使得图的连通分支P(G)增加的边集,边割集中只有一个点时就成为割边
点联通度:点割集中的元素最少的元素个数,记作κ(G)
点连通度为k,则成为k-连通图
边联通度:边割集中的元素最少的元素个数,记作λ(G)
边连通度为k,则成为k边-连通图
有向图:
分类:强连通必是单向连通,单向连通必是弱连通
弱连通图:略去所有有向边的方向后得到的时连通图,反之是非连通图
单向连通图:任意对结点间至少有一个结点到另一个结点是可达的
必要条件:有一条经过所有点一次的通路
强连通图:所有的点之间都是相互可达的
必要条件:有一条经过所有点一次的回路