ZOJ 3232 It's not Floyd Algorithm --强连通分量+Floyd

题意:给你一个传递闭包的矩阵,mp[u][v] = 1表示u可以到达v,为0代表不可到达,问你至少需要多少条边组成的传递闭包符合这个矩阵给出的关系

分析:考虑一个强连通分量,如果这个分量有n个节点,那么至少只需要n条边皆可以满足传递闭包(因为此时形成环就可),所以求出所有的强连通分量,将他们缩成一个个的点,并记录该强连通分量有多少个节点,然后建立新图,在运行一遍floyd算法,去除所有满足 tG[i][k]&&tG[k][j]&&tG[i][j]的边(i,j),然后统计还剩多少边,再加上每个强连通分量的节点数。

代码:

#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <vector>
#include <stack>
using namespace std;
#define N 207 vector<int> G[N];
int mp[][],tG[][];
stack<int> stk;
int instk[N],cnt,Time,n;
int low[N],dfn[N],bel[N],num[N]; void tarjan(int u)
{
low[u] = dfn[u] = ++Time;
stk.push(u);
instk[u] = ;
for(int i=;i<G[u].size();i++)
{
int v = G[u][i];
if(!dfn[v])
{
tarjan(v);
low[u] = min(low[u],low[v]);
}
else if(instk[v])
low[u] = min(low[u],dfn[v]);
}
if(low[u] == dfn[u])
{
cnt++;
int v;
do
{
v = stk.top();
stk.pop();
instk[v] = ;
bel[v] = cnt;
num[cnt]++;
}while(u != v);
}
} void Tarjan()
{
memset(bel,,sizeof(bel));
memset(instk,,sizeof(instk));
memset(dfn,,sizeof(dfn));
memset(low,,sizeof(low));
memset(num,,sizeof(num));
Time = cnt = ;
while(!stk.empty())
stk.pop();
for(int i=;i<=n;i++)
if(!dfn[i])
tarjan(i);
} void Build()
{
int i,j;
memset(tG,,sizeof(tG));
for(i=;i<=n;i++)
{
for(j=;j<G[i].size();j++)
{
int v = G[i][j];
if(bel[i] != bel[v] && mp[i][v])
tG[bel[i]][bel[v]] = ;
}
}
} int main()
{
int i,j,k,u,v;
while(scanf("%d",&n)!=EOF)
{
for(i=;i<=n;i++)
G[i].clear();
for(i=;i<=n;i++)
{
for(j=;j<=n;j++)
{
scanf("%d",&mp[i][j]);
if(i == j || !mp[i][j])
continue;
G[i].push_back(j);
}
}
Tarjan();
Build();
for(k=;k<=cnt;k++)
{
for(i=;i<=cnt;i++)
{
for(j=;j<=cnt;j++)
{
if(tG[i][j] && tG[i][k] && tG[k][j])
tG[i][j] = ;
}
}
}
int res = ;
for(i=;i<=n;i++)
for(j=;j<=n;j++)
if(tG[i][j])
res++;
for(i=;i<=cnt;i++)
{
if(num[i] > )
res += num[i];
}
printf("%d\n",res);
}
return ;
}
上一篇:用node.js给C#写一个数据表的实体类生成工具


下一篇:js作用域零碎的知识点,不同的script块,虽然同是全局变量