最小（大）生成树.doc

一、基本概念 ——毛科技 一个无向图G是一个有序的二元组（V，E）表示： V≠Φ称为顶点集，其元素称为顶点或结点。 E称为边集，它是无序积VV的多重子集，其元素称为无向边，简称边。 一个有向图是一个有序的二元组（V，E），记作D， 其中：V同无向图 E为边集，它是笛卡儿积V*V的多重子集，其元素称为有向边，简称边。 （多重集合：元素可以重复出现的集合） 例如： c d e a b 网络：图中的每条边附有一个或几个数字。 1 2 1 2 3 网络 非网络 自环：有向边（弧）的头部和尾部为同一个顶点。 自环 非自环 某个顶点为某一条弧的一个端点（头或尾），则此顶点与该条弧相关联。 如果两条弧都和同一个顶点关联，则该两条弧称为相互关联。如有一条弧将两个顶点连接起来，则这两个顶点称为邻接。 e1 e2 e3 在上图中e1和a，e1和e2为相互关联，a和b 为邻接 链：给定任一顶点序列X1，X2，X3，…，Xn,Xn+1,若弧e1的两个端点是Xi和Xi+1，i=1，n 。则称弧的序列e1，e2，…en 为链。顶点X1，Xn+1分别称为链的始点和终点。链中弧的数目称为链的长度。 链： e1 e2 e3 e4 …… 在链中的顶点不可以重复，但是对弧的序列没有要求。 如果一个链的始点和终点为 同一点，这样的链称为圈。 在链和圈中如果不存在和两条以上的弧相关联的顶点时，分别称为简单链和简单圈。 简单圈 路：若ei=（Xi，Xi+1），i=1，n ，这样的链称为路。如果一条链的始点和终点为同一点，这样的链称为圈。如果一条路的始点和终点为同一点，这样的路称为回路。圈或回路的长度定义为这条相应的链的长度。 路： e1 e2 e3 e4 在路中的弧的序列不可以重复。但是对顶点没有要求。 简单回路：除了第一个顶点和最后一个顶点之外，其余顶点不重复出现的路。 简单路：在路中如果不存在和两条以上的弧相关联的顶点。 连通图：在一个图内，如果每一对顶点都有一条链将它们连接起来。一个图可以看成是有连通图的一个集合组成，其中每一个连通图称为原图的一个分图。 非连通图 给定图G=（V，E），如果V’∈ V，E’ ∈ E，则图G’=（V’，E’）称为G的子图。从图中删去弧的一个子集时，若能增加图中分图的数目，则称删去的弧的集合为图的截。 e1 图中只有e1是截 满足下列条件的弧的集合称为树： 这些弧构成一个连通图。 这些弧不构成圈。 树的定义：是N（N≥0）个结点的有限集。在任意一棵非空树中：1，有且仅有一个特定的称为根的结点。2，当N＞1时，其余结点可分为M（M0）个互不相交的有限集T1，T2，T3……，Tm，其中每一个集合本身又是一棵树。 树 圈 森林：不包含圈的任一弧的集合。其包含一棵或多棵树。 给定图G=（V，E），G’=(V，E’)是G的连通子图，E’ ∈E，E’有且仅有N-1条边（G有N个顶点），则称G’是G的一棵生成树。每一个连通图都有一棵生成树；有两个或两个以上分图的图不存在生成树；一个连通图的生成树不一定是唯一的。 设T是无向图G的子图并且为树，则称T为G的树。若T是G的树且为生成子图，则称T是G的生成树。 最小耗费生成树：设G是一个有顶点的无向图，图中的每一条边ei∈E都有一个权Ci， Ci称为ei的