定义
图是由若干给定的顶点及连接两顶点的边所构成的图形,这种图形通常用来描述某些事物之间的某种特定关系。顶点用于代表事物,连接两顶点的边则用于表示两个事物间具有这种关系。
定义来自维基百科:图论
结构
图中只包含两种类型的元素:顶点(vertex)和边(edge),所以图可以由顶点集合和边集合进行表示,即:。根据边是否具有方向,可以将图分为有向图和无向图两种。
无向图
有向图
上面两张图 graph 和 digraph 具有相同的顶点集合 ,但是边集合 不同,所以属于不同的两个图。
权重
上述图定义中提到,边的作用是用来描述两个顶点之间的关系,图 graph 和 digraph 两个示例中的边仅能表示两个顶点之间是连通的,可达的,并不能代表别的意义。可以给边设置大小值,即权重,表示两个顶点之间连通的程度。例如当图中顶点表示城市的坐标时,则可以设置连接两个顶点的边的权重为距离,或某种交通方式消耗的时间。
度
从一个顶点出发,到相邻顶点的边的个数称为该顶点的出度,以该顶点为终点的边的个数称为该顶点的入度。因为无向图的边不具有方向性,所以无向图中顶点的出度与入度相等。
路径与回路
从顶点集合 中选择 作为起点, 作为终点,从起点出发到达终点的过程中,经过的边的集合称为路径,路径中边的个数称为路径长度。若路径中不重复经过一个顶点,则称为简单路径。若起点和终点是同一个顶点,则该路径也称之为回路。
连通图、连通分量与生成树
对于无向图,若图中任意两个顶点之间存在路径,则该无向图为连通图;对于有向图,若图中任意两个顶点之间存在路径,则该有向图为强连通图。
对于无向图,其极大连通子图称为该无向图的连通分量;对于有向图,其极大强连通子图称为该无向图的强连通分量。
根据连通分量定义可知,对于连通图,极大连通子图是其自身,所以图的连通分量就是其自身。对于非连通图,因为可以存在多个极大连通子图,所以可以具有多个连通分量。
连通图的极小连通子图也称之为生成树,即包含顶点集合 ,但是边的个数为 。生成树可以有多个,经常提到的最小生成树,也就是带权连通图中权值之和最小的生成树。
图相关的概念较多,再次强调一点,就像在介绍二叉树时所说,概念只是起到辅助说明的角色,为了方便理解和传播事物而诞生的产物,不应该过分纠结概念而忽略了真正的目的。
github
链接:图