在数学中,图是描述于一组对象的结构,其中某些对象对在某种意义上是“相关的”。这些对象对应于称为顶点的数学抽象(也称为节点或点),并且每个相关的顶点对都称为边(也称为链接或线)。通常,图形以图解形式描绘为顶点的一组点或环,并通过边的线或曲线连接。 图形是离散数学的研究对象之一。——来自百度百科
图一般表示为G(V,E),其中G表示一个图,V是图G中顶点的集合,E是图G中边的集合。
图的分类有:
无向图:若顶点vi到vj之间没有方向,则称这条边为无向边,用无序偶对(vi,vj)来表示。
有向图:若从顶点vi到vj的边有方向,则称为有向边或弧,用有序偶<vi,vj>来表示,vi称为弧尾,vj称为弧头。
完全图:
也称简单完全图。假设一个图有n个顶点,那么如果任意两个顶点之间都有边的话,该图就称为完全图。
图的术语:
---------------------------------------------------------------------------------------------------------------------------------
邻接(Adjacency):有边或弧相连的两个顶点之间的关系。在无向图中,若存在边(v, w),则称v和w互为邻接点;在有向图中,若存在弧<v, w>,则称v邻接到w,w邻接于v。
关联(Incidence):边或弧与顶点之间的关系。若存在边(v, w)或弧<v, w>,则称该边或弧关联于v和w。
顶点的度(Degree):与顶点相关联的边的数量。在无向图中,顶点的度等于与其相关联的边的数量;在有向图中,顶点的度分为入度(Indegree,指向该顶点的弧的数量)和出度(Outdegree,从该顶点出发的弧的数量)。
---------------------------------------------------------------------------------------------------------------------------------
路径(Path):由一系列连续的边或弧构成的顶点序列。
路径长度(Path Length):路径上边或弧的数量或权值之和。
回路(Cycle)或环:起点和终点相同的路径。
简单路径(Simple Path):除路径起点和终点可以相同外,其余顶点均不相同的路径。
简单回路(Simple Cycle)或简单环:除路径起点和终点相同外,其余顶点均不相同的回路。
连通图(Connected Graph):在无向图中,若任意两个顶点都存在路径,则称该图为连通图。
强连通图(Strongly Connected Graph):在有向图中,若任意两个顶点都存在双向路径,则称该图为强连通图。
连通分量(Connected Component):无向图的极大连通子图称为连通分量。
强连通分量(Strongly Connected Component):有向图的极大强连通子图称为强连通分量。
---------------------------------------------------------------------------------------------------------------------------------
生成树(Spanning Tree):包含无向图所有顶点的极小连通子图,且不存在回路。
生成森林(Forest):对非连通图,由各个连通分量的生成树的集合构成。
最小生成树(Minimum Spanning Tree):在加权无向图中,所有生成树中边权值之和最小的那棵生成树。
--------------------------------------------------------------------------------------------------------------------------------