什么是图
"图是由一些顶点和和一组能够连接2个顶点的边组成" ---《算法》
图的分类
无向图:连接顶点的连线叫 边, 只在意2个顶点是否连接,不在意谁连向谁。
有向图:连接顶点的连线叫 弧, 不仅在意2个顶点是否连接,还在意谁连向谁。
无向加权图:无向图的基础上,为边赋予一个数值,当做这个边的权重。
有向加权图:有向图的基础上,为弧赋予一个数值,当做这个弧的权重。
下面有具体的分析。
图的性质
1、元素构成的集合中的任意2个元素之间的关系是任意的的:可能相关联,也可能不相关。可能互相关联,也可能单向关联。
2、元素 之间无主次关系,所有元素 都是平等的 (peer)。
3、图中的顶点是不在意位置,或者顺序的。图只在意顶点之间的连接关系。
怎样表示图
①用一个集合保存图中的所有元素②用另一个集合保存所有元素之间的关联 关系(边,或者弧)这个2个集合,就能确定一个图下面举例说明。 无向图
若G表示一个图,则 :G = < V , E> 其中V代表图中的所有顶点(元素)构成的有限集合 集合E,表示图所有的关联关系(边or弧)。我们知道 图中2个节点的关系 是由2个顶点确定的,所以,集合E中的元素都是成对的顶点。 根据下图可以写出这两个集合 V = { a,b,c,d,e,f }E = { (a,c) , (a,d ) , (c,e ) , ( c,b) , ( b,f ), (d,e) (e,f) } V,存储所有的元素,E,存储元素之间的关联关系。图中 a和c 有 关联,则E集合中有(a,c)这个元素。可以发现,在下面这个图中,我们只强调2个元素之间是否有连接,而不在意是 谁连向谁,也就是连线只有 有无2种状态,没有方向,(a,c) 等价于(c,a) ,这就是无向图。 有向图
与无向图不同的是,有向图不仅在意是否关联,还强调关联的方向:c----->e e----->c 是不同的同样我们写出V和E 2个集合 V = { a,b,c,d,e,f }E = { <a,c> , <b,c > , <b,f>,<c,e > , <d,a>, <d,e> ,<e,c> , <e,f> } 同时要注意:无向图中的关联关系 用 ( ) 圆括号表示 ,而有向图 中 用 < > 尖括号 一些术语解释
顶点(Vertex):图中的元素,叫做顶点边(Edge):无向图中,顶点与顶点之间的连线弧(Arc):有向图中,顶点与顶点之间有方向的连线弧头:弧尾 : 邻接点: 与这个顶点有直接关联的顶点顶点的度: 与这个顶点 关联的边(弧)的数目顶点的出度:有向图中,这个顶点向外发射多少弧,就是多少度顶点的入度:有向图中,顶点接收其他顶点的弧的条数,就是多少度 有向图中:顶点的度 = 出度 + 入度 子图:若有G = <V , E > , G1 = <V1,E1> ,且 V1是V的子集,E1是E的子集,则 G1为G的子图 有圈图:允许顶点自己和自己关联无圈图:不允顶点许自己和自己关联(不特殊说明,我们一般都是指无圈图) 路径:从一个顶点到另一个顶点的通路,由边(弧)组成。边(弧)的条数,就是路径的长度 简单路径:通路中经过的顶点不重复。简单环 :特殊的路径,从起点出发,再回到起点,形成的路径。经过的顶点不重复。不特殊说明,一般我么研究的路径都是简单的。 无向加权图和有向加权图(又叫无向网和有向网)
何为加权?加权:为边(弧)分配权值(weight),这个权值的意义在与衡量 跨越2个顶点的某项指标。比如在一个地图上,A.B 2点 用打车的费用代表这2个顶点的权。 连通图与非连通图
连通图:无向图中,任意2个顶点之间,总有路径可以互通(不一定要是直达,中途可以借助一些顶点为跳板"转达")。完全图一定是连通图。非连通图:整个图由 n 个现孤立 连通图组成。非连通图中的每一个孤立部分都是它的极大连通子图。 可以这样想:将一个图的顶点想象为念珠,边为连接念珠的细绳,如果随意提起一颗念珠,所有的念珠都会被提起来,就说明这个是连通图,否则不是。 连通分量:无向图中,每一个极大连通子图都叫一个连通分量。如上图右边,A是一个连通分量,B也是一个连通分量。连通图的(最小)生成树: 图和树的一个很大的区别是,树中一定不能有环,但是图就没有这个要求了。一个树也是一个图。 一个连通图(注意这是前提)的生成树就是一个包含原图中所有顶点的树。 强连通图: 有向图中,任意2个顶点之间都有出,入的2种弧。强连通分量:有向图中,极大(顶点数最多的)强连通图 无向完全图 和 有向完全图
无向完全图无向图中,每个顶点与其他顶点都有边相关联,则这个图就是(无向)完全图。 可知:有n个顶点的完全图的边为 : = 1/2 * n * (n-1) 有向完全图有向图中,每个顶点与其他顶点都有 出 和 入 2种 弧 ,则这个图就是有向完全图 可知:有n个顶点的有向完全图的弧为: 2* ( 1/2 * n * (n-1) ) = n * (n-1) 也可知:有n个顶点的无向图中,边数 L 满足 : 0<= L <= 1/2 * n * (n-1) 有n个顶点的有向图中,弧数 L 满足 : 0<= L <= n * (n-1) 下一站:图的存储和代码实现