有向图最小树形图

最新推荐文章于 2019-07-02 16:16:47 发布

f_zyj

最新推荐文章于 2019-07-02 16:16:47 发布

阅读量1.1k

点赞数

分类专栏： ACM模版篇图论 ACM模板-f_zyj 文章标签：有向图

本文链接：https://blog.csdn.net/f_zyj/article/details/51932518

版权

图论同时被 3 个专栏收录

168 篇文章 0 订阅

订阅专栏

ACM模版篇

156 篇文章 21 订阅

订阅专栏

ACM模板-f_zyj

147 篇文章 73 订阅

订阅专栏

ACM模版

有向图最小树形图

/*
 *  有向图最小树形图
 *  INIT: eg置为边表；res置为0；cp[i]置为i；
 *  CALL: dirTree(root, nv, ne); res是结果
 */

#define typec int               // type of res
const typec V = 1010;
const typec E = 10010;
const typec inf = 0x3f3f3f3f;   // max of res

typec res, dis[V];
int to[V], cp[V], tag[V];

struct Edge
{
    int u, v;
    typec c;
} eg[E];

int iroot(int i)
{
    if (cp[i] == i)
    {
        return i;
    }
    return cp[i] = iroot(cp[i]);
}

int dirTree(int root, int nv, int ne)   //  root:树根
{
    //  vertex:0~n-1
    int i, j, k, circle = 0;
    memset(tag, -1, sizeof(tag));
    memset(to, -1, sizeof(to));
    for (i = 0; i < nv; i++)
    {
        dis[i] = inf;
    }
    for (j = 0; j < ne; j++)
    {
        i = iroot(eg[j].u);
        k = iroot(eg[j].v);
        if (k != i && dis[k] > eg[j].c)
        {
            dis[k] = eg[j].c;
            to[k] = i;
        }
    }
    to[root] = -1;
    dis[root] = 0;
    tag[root] = root;
    for (i = 0; i < nv; i++)
    {
        if (cp[i] == i && -1 == tag[i])
        {
            j = i;
            for (; j != -1 && tag[j] == -1; j = to[j])
            {
                tag[j] = i;
                if (j == -1)
                {
                    return 0;
                }
                if (tag[j] == i)
                {
                    circle = 1;
                    tag[j] = -2;
                    for (k = to[j]; k != j; k = to[k])
                    {
                        tag[k] = -2;
                    }
                }
            }
        }
    }
    if (circle)
    {
        for (j = 0; j < ne; j++)
        {
            i = iroot(eg[j].u);
            k = iroot(eg[j].v);
            if (k != i && tag[k] == -2)
            {
                eg[j].c -= dis[k];
            }
        }
        for (i = 0; i < nv; i++)
        {
            if (tag[i] == -2)
            {
                res += dis[i];
                tag[i] = 0;
                for (j = to[i]; j != i; j = to[j])
                {
                    res += dis[j];
                    cp[j] = i;
                    tag[j] = 0;
                }
            }
        }
        if (0 == dirTree(root, nv, ne))
        {
            return 0;
        }
    }
    else
    {
        for (i = 0; i < nv; i++)
        {
            if (cp[i] == i)
            {
                res += dis[i];
            }
        }
    }
    return 1;   //  若返回0代表原图不连通
}