最小树形图(朱-刘算法)

概念导入:最小树形图可以简单的理解为树枝有方向的最小生成树,加上了方向的限制,使得得到它要稍微麻烦一点,解决这个问题的算法是朱永津与刘振宏在上世纪60年代提出的朱-刘算法(难得的中国人的算法)。

定义:设G = (V,E)是一个有向图,它具有下述性质:
1. G中不包含有向环; 
2. 存在一个顶点vi,它不是任何弧的终点,而V中的其它顶点都恰好是唯一的一条弧的终点;
则称 G是以vi为根的树形图。
最小树形图是有向图G = (V, E)中以vi为根的树形图中权值和最小的那一个。

完整的朱刘算法大体上有这四个步骤:
1、求最短弧集合E
2、判断集合E中有没有有向环,如果有转步骤3,否则转4
3、收缩环,把有向环收缩成一个点,并且对图重新构建,包括边权值的改变和点的处理,之后再转步骤1
4、展开收缩点,求得最小树形图

经典的算法图示:

这里推荐一篇将的比较不错的博客,详细过程见这一篇:
https://blog.csdn.net/qq_34731703/article/details/53965684
着重提一下收缩一个环后对图的处理:

该环最终将缩成e1点,其所有环外入边权要减去其环内入边权;环上到环外的出边中,连接到同一个点的,保留权值最小的那一条。

代码:

const int INF = 0x3f3f3f;
const int MAXN = 100;

int Map[MAXN][MAXN], n;
int pre[MAXN];
bool vis[MAXN], flag[MAXN];

void init()
{
    memset(vis, false, sizeof(vis));
    memset(flag, false, sizeof(flag));
    for(int i = 0; i <= n; i++)
        for(int j = 0; j <= n; j++)
            Map[i][j] = INF;
}

int Zhuliu(int r)
{
    int ans = 0;
    init();
    while(true)
    {
        //求最短边集合
        for(int i = 1; i <= n; i++)//枚举每个不是根节点的点
            if(i != r && !flag[i])//flag标识是否点在有向环中且不是有向环的缩点
            {
                Map[i][i] = INF;
                pre[i] = i;//pre存i的前驱点,前驱->i有一条单向边,
                           //最终这条边要最短。
                           //初始化i的前驱为自己
                for(int j = 1; j <= n; j++)//枚举i的前驱j
                    if(!flag[j] && Map[j][i] < Map[pre[i]][i])
                        pre[i] = j;//找最短入边,pre存起来
                if(pre[i] == i) return -1;//如果当前点没有入边,则不存在最小树形图
            }
        //判断E中是否有环
        int e;
        for(e = 1; e <= n; e++)
            if(e != r && !flag[e])
            {
                int j = e, cnt = 0;
                while(j != r && pre[j] != e && cnt <= n)
                    j = pre[j], cnt++;//对每个点,不停找其前驱,找环
                if(j == r || cnt > n) continue;//找到根或经过数量超过n,无环
                else break;//否则有环,可以看出,程序最大的while中一次最多找到一个环
            }
        if(e > n)//如果E中没有环
        {
            for(int i = 1; i <= n; i++)
                if(i != r && !flag[i])
                    ans += Map[pre[i]][i];
            return ans;
        }
        else//如果有环
        {
            memset(vis, false, sizeof(vis));
            //缩环为点
            int o = e;//找环模块中找到环的断点
            while(true)//遍历环
            {
                ans += Map[pre[o]][o];//对环内的边权进行记录
                o = pre[o];
                vis[o] = flag[o] = true;//标记环内的点
                if(o != e) break;
            }
            flag[e] = false;//环被缩成了点e,依然存在
            //处理缩点后的图,对环外的相关边权进行改变
            for(int k = 1; k <= n; k++)
                if(vis[k])//缩环时标记出的环内的点
                    for(int j = 1; j <= n; j++)
                        if(!vis[j])
                        {
                            if(Map[e][j] > Map[k][j])
                                Map[e][j] = Map[k][j];//选择出边中最短的
                            if(Map[j][k] < INF && Map[j][k]-Map[pre[k]][k]<Map[j][e])
                                Map[j][e] = Map[j][k] - Map[pre[k]][k];
                                //按上文规则,入边减去环内对应边的权值
                        }
        }
    }
    return ans;
}
全部评论

相关推荐

点赞 评论 收藏
分享
不愿透露姓名的神秘牛友
11-07 20:21
签耀等华
算法功成师:我咋那么想举办你呢,铁铁
点赞 评论 收藏
分享
点赞 收藏 评论
分享
牛客网
牛客企业服务