图的基本概念

图的定义

        图（Graph）G由两个集合V（vertex）和E（Edge）组成，记为G=(V，E)，其中V是顶点的有限集合，记为V(G)，E是连接V中两个不同顶点（顶点对）的边的有限集合，记为E(G)。

 就是图是由很多边很多顶点构成的。

 无向图及有向图

在图G中，如果代表边的顶点对是无序的，则称G为无向图，无向图中代表边的无序顶点对通常用圆括号括起来，用以表示一条无向边。

      如果表示边的顶点对是有序的，则称G为有向图，在有向图中代表边的顶点对通常用尖括号括起来 。

 就是顶点a与顶点b有方向的连接叫有向图，记作<a,b>;没有方向的连接叫无向图，记作（a,b）。

端点和邻接点

              在一个无向图中，若存在一条边(i，j)，则称顶点i和顶点j为此边的两个端点，并称它们互为邻接点。

             在一个有向图中，若存在一条边<i，j>，则称此边是顶点i的一条出边，同时也是顶点j的一条入边；称顶点i和顶点j分别为此边的起始端点（简称为起点）和终止端点（简称终点）；称顶点i 和顶点j 互为邻接点。

 就是一条边的两个端点成为邻接点。

顶点的度、入度和出度

        在无向图中，顶点所具有的边的数目称为该顶点的度。

        在有向图中，以顶点i为终点的入边的数目，称为该顶点的入度。以顶点i为始点的出边的数目，称为该顶点的出度。一个顶点的入度与出度的和为该顶点的度。

 比如（a）中的1号端点有度为3；比如（b）中的1号入度1，出度2。

若一个图中有n个顶点和e条边，每个顶点的度为di（1≤i≤n），则有：

就是  所有顶点的度之和  等于  图的边*2（握手定理）。

例．一个无向连通图中有16条边，所有顶点的度均小于5，度为4的顶点有3个，度为3的顶点有4个，度为2的顶点有2个，则该图有      个顶点。

A.10      B.11      C.12      D.13

解：设该图有n个顶点，图中度为i的顶点数为ni（0≤i≤4），显然n0=0，n=3+4+2+n1+n0=9+n1，而度之和=4×3+3×4+2×2+n1=28+n1，而度之和=2e=32，所以有28+n1=32，得n1=4，n=9+n1=13。本题答案为D。

完全图

       若无向图中的每两个顶点之间都存在着一条边，有向图中的每两个顶点之间都存在着方向相反的两条边，则称此图为完全图。

       显然，完全无向图包含有n(n+1)/2条边，完全有向图包含有n(n-1)条边。例如，图(a)所示的图是一个具有4个顶点的完全无向图，共有6条边。图(b)所示的图是一个具有4个顶点的完全有向图，共有12条边。 

稠密图、稀疏图

      当一个图接近完全图时，则称为稠密图。相反，当一个图含有较少的边数（即当e<<n(n-1)）时，则称为稀疏图。

子图

      设有两个图G=(V，E)和G’=(V’，E’)，若V’是V的子集，即V’ÍV，且E’是E的子集，即E’ÍE，则称G’是G的子图。例如图(b)是图(a)的子图，而图(c)不是图(a)的子图。

注意：G中V的子集和E的子集并不一定构成G的子图。

 路径和路径长度

        在一个图G=(V，E)中，从顶点i到顶点j的一条路径是一个顶点序列(i,i1,i2,…,im,j)，若此图G是无向图，则边(i,i1)，(i1,i2)，…，(im-1,im)，(im,j)属于E(G)；若此图是有向图，则<i,i1>，<i1,i2>，…，<im-1,im>，<im,j>属于E(G)。

无向图用圆括号，有向图用尖括号。

        路径长度是指一条路径上经过的边的数目。若一条路径上除开始点和结束点可以相同外，其余顶点均不相同，则称此路径为简单路径。例如，有图中，(0，2，1)就是一条简单路径，其长度为2。

 

回路或环

        若一条路径上的开始点与结束点为同一个顶点，则此路径被称为回路或环。开始点与结束点相同的简单路径被称为简单回路或简单环。

         例如，下图中，(0，2，1，0)就是一条简单回路，其长度为3。

 

连通、连通图和连通分量

        在无向图G中，若从顶点i到顶点j有路径，则称顶点i和j是连通的。   

        若图G中任意两个顶点都连通，则称G为连通图，否则称为非连通图。

        无向图G中的极大连通子图称为G的连通分量。显然，任何连通图的连通分量只有一个，即本身，而非连通图有多个连通分量。

 如上图(a)为连通图，(b)为非连通图。

强连通图和强连通分量

　  在有向图G中，若从顶点i到顶点j有路径，则称从顶点i到j是连通的。

     若图G中的任意两个顶点i和j都连通，即从顶点i到j和从顶点j到i都存在路径，则称图G是强连通图。

     有向图G中的极大强连通子图称为G的强连通分量。显然，强连通图只有一个强连通分量，即本身，非强连通图有多个强连通分量。

 如上图(a)为强连通，(b)为非连通图。

权和网

        图中每一条边都可以附有一个对应的数值，这种与边相关的数值称为权。权可以表示从一个顶点到另一个顶点的距离或花费的代价。边上带有权的图称为带权图，也称作网。

例.有n个顶点的有向强连通图最多需要多少条边？最少需要多少条边？

解：有n个顶点的有向强连通图最多有n(n-1)条边（构成一个有向完全图的情况）；最少有n条边（n个顶点依次首尾相接构成一个环的情况）。