图的概述

图

所谓图(graph)，可定义为G=(V,E)。其中V中的元素称作顶点(vertex)；集合E中的元素分别对应于V中的某一对顶点(u,v)，表示它们之间存在某种关系，故称作为边(edge)。

如边(u,v)所对应的顶点u，v无次序，则称作无向边(undirected edge)，反之如u和v不对等，则称(u,v)为有向边(directed edge)。

若为无向边，则(u,v)和(v,u)等同，而有向(u,v)和(v,u)不等同，有向边(u,v)从u指向v，其中u称作该边的起点(origin)或尾顶点(tail)，v称作该边的终点(destination)或头顶点(head)。

若E中各边均无向边，则G为无向图(undirected graph，简称undigraph)，若E只含有向边，则称G为有向图(directed graph,简称digraph)。如E同时包含无向边和有向边，则称为混合图(mixed graph)。

一般图通过领接表或者邻接矩阵实现。

度

对于任何边e=(u,v)，称顶点u和v彼此邻接(adjacent)，互为邻居；。在无向边中，与顶点v关联的边树，称作v的度数(degree)，记作deg(v)。 在有向边中，e=(u,v)，e称作u的出边(out-degree)，v的入边(incoming edge)；v的出边总数称作其出度(out-degree)，记作outdeg(v)；入边总数称作其入度(in-degee)，记作indeg(v)。

联接于同一顶点之间的边，称作自环(self-loop)。不含自环的图称为简单图(simple graph)。

路

沿途顶点互异的通路，称作简单通路(simple path)。若沿途除V0=Vm外所有的顶点均互异，则称作简单环路(simple cycle)。不含任何环路的有向图，称作有向无环图(directed acyclic graph ,DAG)。

经过图中各边一次且恰好一次的环路，称作欧拉环路(Eulerian tour)，其长度恰好等于图中边的总数e。 {C,A,B,A,D,C,D,B,C}为一条欧拉环路。

如果经过图中各顶点一次且恰好一次的环路，称作哈密尔顿环路(Hamiltonian tour)，其长度等于构成环路的边数。{C,A,D,B,C}，为一条哈密尔顿环路。

各边均带有权重的图，称作带权图(weighted graph)或带权网络(weighted network)，有时也简称为网络(network)，记作G(V,E,wt())。

边数

顶点为n的无向图，最多有条边。

顶点为n的有向图，最多有条边。