hdu 4781 Assignment For Princess(构造法)

构造一个n个点，m条有向边的图，需要满足两个要求：

1.任意一对点对之间最多有一条有向边，且没有自环。

2.保证图联通，m条边的边权严格属于[1, m]且互不相同，从任意点出发，经过任意路径后回到起始点，经过的边权总和是3的倍数。

其中第二个要求似乎听上去很玄乎，其实可以一步一步的来：要同时满足1.2的要求，而且输入数据 m >= n + 3，那么也就是说，我们总是能轻松的先构造一个n个点n条有向边的环，其中前n-1条边的边权是1...2..3...n-1，对于最后一条边，可以取n, n+1或 n+2，总之使得这个环的总权值tot%3==0就行了。

这样的话，我们就完成了初步建图：已经构造了一个n个点n条边且满足题意的图了，那么对于剩下的m-n条边怎么办？如果我们需要在原有的环上添加一条边权为w的边，并且还要维护图的1.2性质，显然，我们只需要找到这样一个点对,其中在我们构造的初始环上，u - > v 的距离为g[u][v]， 那么只需要g[u][v] % 3 == w % 3，我们就能保证图的性质不变了！

#include
#include
#include
#include
#include
#define REP(i, n) for(int i=0; i > edges;
vector G[maxn];

bool gao(int x)
{
    FF(i, 1, n+1) FF(j, 1, n+1) if(i != j)
    {
        if(dist[i][j] == 0 && dist[j][i] == 0)
        {
            if(g[i][j] % 3 == x % 3)
            {
                dist[i][j] = x;
                return true;
            }
        }
    }
    return false;
}

bool solve()
{
    FF(i, 1, m+1) if(!vis[i])
        if(!gao(i)) return false;
    return true;
}

int dfs(int u, int pos, int fa, int len)
{
    if(u == pos) return len;
    REP(i, G[u].size())
    {
        int v = edges[G[u][i]].first, w = edges[G[u][i]].second;
        if(v != fa) return dfs(v, pos, u, len+w);
    }
}

void build()
{
    CLR(vis, 0); CLR(dist, 0);
    REP(i, n+1) G[i].clear();   edges.clear();
    int tot = 0, sz = 0;
    FF(i, 1, n)
    {
        edges.push_back(make_pair(i+1, i));
        G[i].push_back(sz++);
        vis[i] = 1; dist[i][i+1] = i;
        tot += i;
    }
    FF(i, n, n+3) if((tot + i) % 3 == 0)
    {
        edges.push_back(make_pair(1, i));
        G[n].push_back(sz);
        vis[i] = 1; dist[n][1] = i;
        break;
    }
    FF(i, 1, n+1) FF(j, 1, n+1)
        g[i][j] = dfs(i, j, -1, 0);
}

int main()
{
    scanf("%d", &T);
    FF(kase, 1, T+1)
    {
        scanf("%d%d", &n, &m);
        build();
        printf("Case #%d:\n", kase);
        if(solve())
        {
            FF(i, 1, n+1) FF(j, 1, n+1) if(dist[i][j])
                printf("%d %d %d\n", i, j, dist[i][j]);
        }
        else puts("-1");
    }
    return 0;
}