整合:图论存图方法及三种重要做法分析(Kruskal Dijkstra Bellman-Ford)

一、最短生成路的2种存图方法(邻接矩阵和邻接表):



1)邻接矩阵(适合稠密图即边远远多于点):

1、时间复杂度一般在n^2;
2、可以解决重边情况;map[i][j] = min( map[i][j] , input);
3、初始化;a[i][j] = INF;  a[i][i] = 0;
4、邻接矩阵点的最大极限在3000左右  
5、图示:

整合:图论存图方法及三种重要做法分析(Kruskal Dijkstra Bellman-Ford)_第1张图片


2)邻接表(适合疏密图即边数近似于点数):

1、时间复杂度一般在mlog(n);


2、数组实现邻接表:

①定义:每个节点i都有一个链表,里面保存着从i出发的所有边。对于无向图来说,每条边会再邻接表中出现两次。
②方法:首先给每条边编号,然后用adj[u]来记录边的最后出现位置(初始化为-1),结构体中用next来表示上一条边出现的位置。下面的函数读入有向图的边列表,并建立邻接表:
③图示:整合:图论存图方法及三种重要做法分析(Kruskal Dijkstra Bellman-Ford)_第2张图片
整合:图论存图方法及三种重要做法分析(Kruskal Dijkstra Bellman-Ford)_第3张图片
整合:图论存图方法及三种重要做法分析(Kruskal Dijkstra Bellman-Ford)_第4张图片

④代码:(以poj 3159为例 简单数组 + 栈 模拟)
#include 
#include 
#include 
#include 
#include 
#include 
#define MAXN 150005
const int INF = 9999999;
using namespace std;
int N, M;
struct node{
    int to, cost;
    int next;
};
node e[150005];
//e数组读取边的信息
int d[30005], adj[30005];
//d数组表示到原点的最短距离,adj表示某一点最后出现的位置;  
bool vis[30005];
//访问数组
void spfa()
{
    for (int i = 0; i < 30005; i++) d[i] = INF;
    d[1] = 0;
    memset(vis, 0, sizeof(vis));
    int sta[30005];
    ////栈模拟,等价于用stack  
    int top = 0;
    vis[1] = 1;
    sta[++top] = 1;
    while (top){
        int pos = sta[top--];
        vis[pos] = 0;
        for (int i = adj[pos]; i != -1; i = e[i].next){
            int to = e[i].to;
            int cost = e[i].cost;
            if (d[to] > d[pos] + cost){
                d[to] = d[pos] + cost;
                if (vis[to] == 0){
                    sta[++top] = to;
                    vis[to] = 1;
                }
            }
        }
    }
    return;
}
int a, b, c;
int main()
{
    while (scanf("%d%d", &N, &M) != EOF){
        memset(vis,0,sizeof(vis));
        for (int i = 0; i < 30005; i ++) adj[i] = -1;
        //默认adj[i] = -1 时再往上找无边
        //多组数据必要的清空
        for (int i = 0; i < M; i++){
            scanf("%d%d%d", &a, &b, &c);
            e[i].to = b;
            e[i].cost = c;
            e[i].next = adj[a];
            //next记录下上一次从a出发在e[i]中的位置
            adj[a] = i;
            //记录下出发点a最后一次出现的位置
        }
        spfa();
        printf("%d\n", d[N]);
    }
}

3、动态数组(vector)实现邻接表:

①定义:vector是STL中最常见的容器,它是一种顺序容器,支持随机访问。vector是一块连续分配的内存,从数据安排的角度来讲,和数组极其相似,不同的地方就是:数组是静态分配空间,一旦分配了空间的大小,就不可再改变了;而vector是动态分配空间,随着元素的不断插入,它会按照自身的一套机制不断扩充自身的容量。

②操作:整合:图论存图方法及三种重要做法分析(Kruskal Dijkstra Bellman-Ford)_第5张图片
 ③图示:
 ④代码:以poj 3159为例 (vector 会超时)
#include 
#include 
#include 
#include 
#include 
#include 
#define INF 0x3f3f3f3f
#define MAXN 1000005
using namespace std;
int N, M;
struct node{
    int to, cost;
};
vector  e[30005];
int d[30005];
bool vis[30005];
int cmp(int a, int b){return a > b;}
void spfa()
{
    for (int i = 0; i < 30005; i++) d[i] = INF;
    d[0] = 0;
    d[1] = 0;
    memset(vis, 0, sizeof(vis));
    queue q;
    vis[1] = 1;
    q.push(1);
    while (!q.empty()){
        int tmp = q.front();
        q.pop();
        vis[tmp] = 0;
        for (int i = 0; i < e[tmp].size(); i++){
            node cur = e[tmp][i];
            if (d[cur.to] > d[tmp] + cur.cost){
                d[cur.to] = d[tmp] + cur.cost;
                if (vis[cur.to] == 0){
                    q.push(cur.to);
                    vis[cur.to] = 1;
                }
            }
        }
    }
    return;
}
int a, b, c;
node input;
int main()
{
    while (scanf("%d%d", &N, &M) != EOF){
        memset(vis,0,sizeof(vis));
        for (int i = 0; i < M; i++){
            scanf("%d%d%d", &a, &b, &c);
            input.to = b;
            input.cost = c;
            e[a].push_back(input);
            //存放到vector中
        }
        spfa();
        sort(d, d+N+1, cmp);
        printf("%d\n", d[0]);
    }
}

二、最短生成路的三种重要做法(Kruskal  Dijkstra  Bellman-Ford)


1)Kruskal:(排序 + 并查集)


①算法核心:假设 WN=(V,{E}) 是一个含有 n 个顶点的连通网,则按照克鲁斯卡尔算法构造最小生成树的过程为:先构造一个只含 n 个顶点,而边集为空的子图,若将该子图中各个顶点看成是各棵树上的根结点,则它是一个含有 n 棵树的一个森林。之后,从网的边集 E 中选取一条权值最小的边,若该条边的两个顶点分属不同的树,则将其加入子图,也就是说,将这两个顶点分别所在的两棵树合成一棵树;反之,若该条边的两个顶点已落在同一棵树上,则不可取,而应该取下一条权值最小的边再试之。依次类推,直至森林中只有一棵树,也即子图中含有 n-1条边为止。

②算法图示:整合:图论存图方法及三种重要做法分析(Kruskal Dijkstra Bellman-Ford)_第6张图片

整合:图论存图方法及三种重要做法分析(Kruskal Dijkstra Bellman-Ford)_第7张图片

③代码实现以POJ 2377为例(Kruskal 实现 mst)

#include  //定义输入/输出函数
#include  //定义各种数据类型最值常量
#include  //定义数学函数
#include  //定义杂项函数及内存分配函数
#include  //字符串处理
#include //算法
#include //队列
#include //栈
using namespace std;
int N, M;
int re[1005];           //源根
int finds(int x){       //找根函数
    if (re[x] == x) return x;
    else return re[x] = finds(re[x]);
}
struct node{
    int from, to, cost;
};
node a[20005];
int vis[1005];
int cmp(node a, node b){return a.cost > b.cost;}
long long sum;
int flag;

int main()
{
    while (scanf("%d%d", &N, &M) != EOF){
        for (int i = 0; i < M; i++)
            scanf("%d%d%d", &a[i].from, &a[i].to, &a[i].cost);
        sort(a, a+M, cmp);
        //读取输入
        for (int i = 0; i <= N; i++) re[i] = i;
        //根重置
        memset(vis, 0, sizeof(vis));
        //访问重置
        sum = flag = 0;
        for (int i = 0; i < M; i++){
            if (finds(a[i].from) == finds(a[i].to)) continue;
            //如果查找后两数根不相等,则进行以下程序
            re[finds(a[i].from)] = finds(a[i].to);
            //直接把一根连在另一根的生成树上
            vis[a[i].from] = 1;
            vis[a[i].to] = 1;
            sum += a[i].cost;
        }
        for (int i = 1; i <= N; i++){
            if (vis[i] == 0) flag = 1;
            if (finds(i) != finds(1)) flag = 1;
        }
        if (flag == 1) printf("-1\n");
        else printf("%lld\n", sum);
    }
}



2)Dijkstra:( 动态规划 + 数组 + 松弛 )


①算法步骤:

a.初始时,S只包含源点,即S={v},v的距离为0。U包含除v外的其他顶点,即:U={其余顶点},若v与U中顶点u有边,则正常有权值,若u不是v的出边邻接点,则权值为∞。

b.从U中选取一个距离v最小的顶点k,把k,加入S中(该选定的距离就是v到k的最短路径长度)。

c.以k为新考虑的中间点,修改U中各顶点的距离;若从源点v到顶点u的距离(经过顶点k)比原来距离(不经过顶点k)短,则修改顶点u的距离值,修改后的距离值的顶点k的距离加上边上的权。

d.重复步骤b和c直到所有顶点都包含在S中。

②算法图示:整合:图论存图方法及三种重要做法分析(Kruskal Dijkstra Bellman-Ford)_第8张图片

③算法代码:(以 poj2485 为例  简单 dij)

#include  //定义输入/输出函数
#include  //定义各种数据类型最值常量
#include  //定义数学函数
#include  //定义杂项函数及内存分配函数
#include  //字符串处理
#include //算法
#include //队列
#include //栈
#include //动态数组
using namespace std;
int T, N, pos, mins;
int map[505][505];
bool vis[505];
int low[505];
int cmp(int a, int b) {return a > b;}
int main()
{
    while (scanf("%d", &T) != EOF){
 		while (T--){
        memset(map, 0, sizeof(map));
        memset(low, 0, sizeof(low));
        memset(vis, 0, sizeof(vis));
        scanf("%d", &N);
        printf("N = %d\n", N);
        for (int i = 1; i <= N; i++)
            for (int j = 1; j <= N; j++)
                scanf("%d", &map[i][j]);
        for (int i = 1; i <= N; i++)
            low[i] = map[1][i];
        low[1] = 0;
        vis[1] = pos = 1;
        for (int i = 1; i < N; i++){
            mins = 65550;
            for (int j = 1; j <= N; j++)
                if (vis[j] == 0 && mins > low[j]){
                    mins = low[j];
                    pos = j;
                }
            //在d[N]中找到最小值的位置
            vis[pos] = 1;
            for (int j = 1; j <= N; j++){
                if(low[j] > map[pos][j] && vis[j] == 0)
                    low[j] = map[pos][j];
            }
            //用最小值的位置更新Low数组
        }
        //for (int i = 0; i <= N; i++) printf(" %d", low[i]);
        //printf("\n");
        sort(low, low + N + 1, cmp);
        for (int i = 0; i <= N; i++) printf(" %d", low[i]);
        printf("\n");
        printf("%d\n", low[0]);
    	}
    }
}


3)Bellman--Ford:( 优先队列  +  动态数组 + 松弛 )


①算法介绍:

给定图G(V, E)(其中V、E分别为图G的顶点集与边集),源点s,数组Distant[i]记录从源点s到顶点i的路径长度,初始化数组Distant[n]为, Distant[s]为0;

以下操作循环执行至多n-1次,n为顶点数:
对于每一条边e(u, v),如果Distant[u] + w(u, v) < Distant[v],则另Distant[v] = Distant[u]+w(u, v)。w(u, v)为边e(u,v)的权值;
若上述操作没有对Distant进行更新,说明最短路径已经查找完毕,或者部分点不可达,跳出循环。否则执行下次循环;

为了检测图中是否存在负环路,即权值之和小于0的环路。对于每一条边e(u, v),如果存在Distant[u] + w(u, v) < Distant[v]的边,则图中存在负环路,即是说改图无法求出单源最短路径。否则数组Distant[n]中记录的就是源点s到各顶点的最短路径长度。

可知,Bellman-Ford算法寻找单源最短路径的时间复杂度为O(V*E).

②算法流程:

第一,初始化所有点。每一个点保存一个值,表示从原点到达这个点的距离,将原点的值设为0,其它的点的值设为无穷大(表示不可达)。
第二,进行循环,循环下标为从1n1n等于图中点的个数)。在循环内部,遍历所有的边,进行松弛计算。
第三,遍历途中所有的边(edgeuv)),判断是否存在这样情况:dv) > d (u) + w(u,v) 存在则赋值;

③算法图示:

整合:图论存图方法及三种重要做法分析(Kruskal Dijkstra Bellman-Ford)_第9张图片


④算法代码:(以poj 1511为例 数组模拟 + 队列 / 栈 + 双向图)
#include  //定义输入/输出函数
#include  //定义各种数据类型最值常量
#include  //定义数学函数
#include  //定义杂项函数及内存分配函数
#include  //字符串处理
#include //算法
#include //队列
#include //栈
const int INF = 0x3f3f3f3f;
using namespace std;
struct node{
    int to, cost;
    int next;
};
node e[2][1000005];
int N, P, Q;
int adj[2][1000005], d[1000005];
bool vis[1000005];
int a, b, c;
long long sum;
void spfa(int k)
{
    memset(vis, 0, sizeof(vis));
    memset(d, INF, sizeof(d));
    stack  s; 
    //开queue 也行,一样时间与内存
    s.push(1);
    d[1] = 0;
    vis[1] = 1;
    while (!s.empty()){
        int pos = s.top();
        s.pop();
        vis[pos] = 0;
        for (int i = adj[k][pos]; i!= -1; i = e[k][i].next){
            int to = e[k][i].to;
            int cost = e[k][i].cost;
            if (d[to] > d[pos] + cost){
                d[to] = d[pos] + cost;
                if (vis[to] == 0){
                    s.push(to);
                    vis[to] = 1;
                }
            }
        }
    }
}

int main()
{
    while (scanf("%d", &N) != EOF){
        while (N--){
            memset(adj, -1, sizeof(adj));
            memset(e, 0, sizeof(e));
            sum = 0;
            scanf("%d%d", &P, &Q);
            for (int i = 0; i < Q; i++){
                scanf("%d%d%d", &a, &b, &c);
                e[0][i].to = b;
                e[0][i].cost = c;
                e[0][i].next = adj[0][a];
                adj[0][a] = i;
                e[1][i].to = a;
                e[1][i].cost = c;
                e[1][i].next = adj[1][b];
                adj[1][b] = i;
            }
            
            spfa(0);
            for (int i = 1; i <= P; i++) sum += d[i];
            //printf("\n");
            spfa(1);
            for (int i = 1; i <= P; i++) sum += d[i];
            //printf("\n");
            printf("%lld\n", sum);
        }
    }
}



你可能感兴趣的:(整合:图论存图方法及三种重要做法分析(Kruskal Dijkstra Bellman-Ford))