最小生成树（Minimum Spanning Tree）

引出贪心算法

Prime算法

对于稠密图，比较合适

我的理解：

　　（1）首先收录一个顶点，其parent就设为-1（并查集概念）

　　（2）然后比较这个顶点的其他边

　　（3）若有比其小，则重新设定

　　（4）直至这个边不存在

/* 邻接矩阵存储 - Prim最小生成树算法 */Vertex FindMinDist( MGraph Graph, WeightType dist[] ){ /* 返回未被收录顶点中dist最小者 */    Vertex MinV, V;    WeightType MinDist = INFINITY;    for (V=0; V<Graph->Nv; V++) {        if ( dist[V]!=0 && dist[V]<MinDist) {            /* 若V未被收录，且dist[V]更小 */            MinDist = dist[V]; /* 更新最小距离 */            MinV = V; /* 更新对应顶点 */        }    }    if (MinDist < INFINITY) /* 若找到最小dist */        return MinV; /* 返回对应的顶点下标 */    else return ERROR;  /* 若这样的顶点不存在，返回-1作为标记 */}int Prim( MGraph Graph, LGraph MST ){ /* 将最小生成树保存为邻接表存储的图MST，返回最小权重和 */    WeightType dist[MaxVertexNum], TotalWeight;    Vertex parent[MaxVertexNum], V, W;    int VCount;    Edge E;    /* 初始化。默认初始点下标是0 */       for (V=0; V<Graph->Nv; V++) {        /* 这里假设若V到W没有直接的边，则Graph->G[V][W]定义为INFINITY */           dist[V] = Graph->G[0][V];           parent[V] = 0; /* 暂且定义所有顶点的父结点都是初始点0 */     }    TotalWeight = 0; /* 初始化权重和     */    VCount = 0;      /* 初始化收录的顶点数 */    /* 创建包含所有顶点但没有边的图。注意用邻接表版本 */    MST = CreateGraph(Graph->Nv);    E = (Edge)malloc( sizeof(struct ENode) ); /* 建立空的边结点 */    /* 将初始点0收录进MST */    dist[0] = 0;    VCount ++;    parent[0] = -1; /* 当前树根是0 */    while (1) {        V = FindMinDist( Graph, dist );        /* V = 未被收录顶点中dist最小者 */        if ( V==ERROR ) /* 若这样的V不存在 */            break;   /* 算法结束 */        /* 将V及相应的边<parent[V], V>收录进MST */        E->V1 = parent[V];        E->V2 = V;        E->Weight = dist[V];        InsertEdge( MST, E );        TotalWeight += dist[V];        dist[V] = 0;        VCount++;        for( W=0; W<Graph->Nv; W++ ) /* 对图中的每个顶点W */            if ( dist[W]!=0 && Graph->G[V][W]<INFINITY ) {            /* 若W是V的邻接点并且未被收录 */                if ( Graph->G[V][W] < dist[W] ) {                /* 若收录V使得dist[W]变小 */                    dist[W] = Graph->G[V][W]; /* 更新dist[W] */                    parent[W] = V; /* 更新树 */                }            }    } /* while结束*/    if ( VCount < Graph->Nv ) /* MST中收的顶点不到|V|个 */       TotalWeight = ERROR;    return TotalWeight;   /* 算法执行完毕，返回最小权重和或错误标记 */}

---

题目链接：https://pta.patest.cn/pta/test/15/exam/4/question/718

/**现有村落间道路的统计数据表中，列出了有可能建设成标准公路的若干条道路的成本，求使每个村落都有公路连通所需要的最低成本。输入格式:输入数据包括城镇数目正整数NN（\le 1000≤1000）和候选道路数目MM（\le 3N≤3N）；随后的MM行对应MM条道路，每行给出3个正整数，分别是该条道路直接连通的两个城镇的编号以及该道路改建的预算成本。为简单起见，城镇从1到NN编号。输出格式:输出村村通需要的最低成本。如果输入数据不足以保证畅通，则输出-1−1，表示需要建设更多公路。输入样例:6 151 2 51 3 31 4 71 5 41 6 22 3 42 4 62 5 22 6 63 4 63 5 13 6 14 5 104 6 85 6 3输出样例:12*///08-图7 公路村村通   (30分)#include<cstdio>using namespace std;#define MAXN 1010#define INFINITY  1 << 30int N;  //城镇数目int M;  //候选导入数目int pic[MAXN][MAXN];int parent[MAXN];   //根节点 : -1int flag[MAXN]; //用于标记int dist[MAXN]; //int FindMinDist(){    int MinV;    int MinDist = INFINITY;    for(int i = 1; i <= N; ++i){        if(dist[i] != 0 && dist[i] < MinDist){            MinDist = dist[i];            MinV = i;        }    }    if(MinDist < INFINITY)        return MinV;    else return -1;}void Prim(){    parent[1] = -1;    int V;  //未被收录顶点    for(int i = 1; i <= N; ++i){        dist[i] = pic[1][i];        parent[i] = 0;    }    int TotalWeight = 0;    //初始化权重和    int VCount = 0;         //初始化收录的顶点数    dist[1] = 0;    VCount++;    parent[1] = -1; //1 为树根    while(1){        V = FindMinDist();        if(V == -1) break;        TotalWeight += dist[V];        dist[V] = 0;        VCount++;        for(int i = 1; i <= N; ++i){            if(dist[i] != 0 && pic[V][i] < INFINITY){                if(pic[V][i] < dist[i]){                    dist[i] = pic[V][i];                    parent[i] = V;                }            }        }    }    if(VCount < N)        printf("-1");    else        printf("%d", TotalWeight);}int main(void){    int x, y, temp;    scanf("%d%d", &N, &M);    //初始化图    for(int i = 0; i <= N; ++i)        for(int j = 0; j <= N; ++j)            pic[i][j] = INFINITY ;    //初始化parent    for(int i = 0; i < M; ++i){        scanf("%d%d%d", &x, &y, &temp);        pic[x][y] = temp;        pic[y][x] = temp;    }    Prim();    return 0;}

---

Kruskal算法

我的理解：

　　（1）把每个顶点看成一棵树

　　（2）收录的是边

　　（3）每次把最小的边收录进来

　　（4）若准备收录进来的边 会 在本树中形成回路 则 剔除

　　（5）若没有，则收录进来

　　（6）如果达到边（边数 == V - 1） || E（边集）中已经没有边，停止循环

难点：

边集用：最小边实现

如何确认构成回路：用并查集

/* 邻接表存储 - Kruskal最小生成树算法 *//*-------------------- 顶点并查集定义 --------------------*/typedef Vertex ElementType; /* 默认元素可以用非负整数表示 */typedef Vertex SetName;     /* 默认用根结点的下标作为集合名称 */typedef ElementType SetType[MaxVertexNum]; /* 假设集合元素下标从0开始 */void InitializeVSet( SetType S, int N ){ /* 初始化并查集 */    ElementType X;    for ( X=0; X<N; X++ ) S[X] = -1;}void Union( SetType S, SetName Root1, SetName Root2 ){ /* 这里默认Root1和Root2是不同集合的根结点 */    /* 保证小集合并入大集合 */    if ( S[Root2] < S[Root1] ) { /* 如果集合2比较大 */        S[Root2] += S[Root1];     /* 集合1并入集合2  */        S[Root1] = Root2;    }    else {                         /* 如果集合1比较大 */        S[Root1] += S[Root2];     /* 集合2并入集合1  */        S[Root2] = Root1;    }}SetName Find( SetType S, ElementType X ){ /* 默认集合元素全部初始化为-1 */    if ( S[X] < 0 ) /* 找到集合的根 */        return X;    else        return S[X] = Find( S, S[X] ); /* 路径压缩 */}bool CheckCycle( SetType VSet, Vertex V1, Vertex V2 ){ /* 检查连接V1和V2的边是否在现有的最小生成树子集中构成回路 */    Vertex Root1, Root2;    Root1 = Find( VSet, V1 ); /* 得到V1所属的连通集名称 */    Root2 = Find( VSet, V2 ); /* 得到V2所属的连通集名称 */    if( Root1==Root2 ) /* 若V1和V2已经连通，则该边不能要 */        return false;    else { /* 否则该边可以被收集，同时将V1和V2并入同一连通集 */        Union( VSet, Root1, Root2 );        return true;    }}/*-------------------- 并查集定义结束 --------------------*//*-------------------- 边的最小堆定义 --------------------*/void PercDown( Edge ESet, int p, int N ){ /* 改编代码4.24的PercDown( MaxHeap H, int p )    */  /* 将N个元素的边数组中以ESet[p]为根的子堆调整为关于Weight的最小堆 */    int Parent, Child;    struct ENode X;    X = ESet[p]; /* 取出根结点存放的值 */    for( Parent=p; (Parent*2+1)<N; Parent=Child ) {        Child = Parent * 2 + 1;        if( (Child!=N-1) && (ESet[Child].Weight>ESet[Child+1].Weight) )            Child++;  /* Child指向左右子结点的较小者 */        if( X.Weight <= ESet[Child].Weight ) break; /* 找到了合适位置 */        else  /* 下滤X */            ESet[Parent] = ESet[Child];    }    ESet[Parent] = X;}void InitializeESet( LGraph Graph, Edge ESet ){ /* 将图的边存入数组ESet，并且初始化为最小堆 */    Vertex V;    PtrToAdjVNode W;    int ECount;    /* 将图的边存入数组ESet */    ECount = 0;    for ( V=0; V<Graph->Nv; V++ )        for ( W=Graph->G[V].FirstEdge; W; W=W->Next )            if ( V < W->AdjV ) { /* 避免重复录入无向图的边，只收V1<V2的边 */                ESet[ECount].V1 = V;                ESet[ECount].V2 = W->AdjV;                ESet[ECount++].Weight = W->Weight;            }    /* 初始化为最小堆 */    for ( ECount=Graph->Ne/2; ECount>=0; ECount-- )        PercDown( ESet, ECount, Graph->Ne );}int GetEdge( Edge ESet, int CurrentSize ){ /* 给定当前堆的大小CurrentSize，将当前最小边位置弹出并调整堆 */    /* 将最小边与当前堆的最后一个位置的边交换 */    Swap( &ESet[0], &ESet[CurrentSize-1]);    /* 将剩下的边继续调整成最小堆 */    PercDown( ESet, 0, CurrentSize-1 );    return CurrentSize-1; /* 返回最小边所在位置 */}/*-------------------- 最小堆定义结束 --------------------*/int Kruskal( LGraph Graph, LGraph MST ){ /* 将最小生成树保存为邻接表存储的图MST，返回最小权重和 */    WeightType TotalWeight;    int ECount, NextEdge;    SetType VSet; /* 顶点数组 */    Edge ESet;    /* 边数组 */    InitializeVSet( VSet, Graph->Nv ); /* 初始化顶点并查集 */    ESet = (Edge)malloc( sizeof(struct ENode)*Graph->Ne );    InitializeESet( Graph, ESet ); /* 初始化边的最小堆 */    /* 创建包含所有顶点但没有边的图。注意用邻接表版本 */    MST = CreateGraph(Graph->Nv);    TotalWeight = 0; /* 初始化权重和     */    ECount = 0;      /* 初始化收录的边数 */    NextEdge = Graph->Ne; /* 原始边集的规模 */    while ( ECount < Graph->Nv-1 ) {  /* 当收集的边不足以构成树时 */        NextEdge = GetEdge( ESet, NextEdge ); /* 从边集中得到最小边的位置 */        if (NextEdge < 0) /* 边集已空 */            break;        /* 如果该边的加入不构成回路，即两端结点不属于同一连通集 */        if ( CheckCycle( VSet, ESet[NextEdge].V1, ESet[NextEdge].V2 )==true ) {            /* 将该边插入MST */            InsertEdge( MST, ESet+NextEdge );            TotalWeight += ESet[NextEdge].Weight; /* 累计权重 */            ECount++; /* 生成树中边数加1 */        }    }    if ( ECount < Graph->Nv-1 )        TotalWeight = -1; /* 设置错误标记，表示生成树不存在 */    return TotalWeight;}