Codeforces 236E div.2 Strictly Positive Matrix

题目描述： CF出了点小偏差，改日再补。。

简述： 给你一个矩阵，如果它的k次幂中的每一个元素都大于0，那么就输出YES，否则输出NO。

题解：
这题有一个比较巧妙的小转化。如果我们把n*n的矩阵转化成描述n个点的连通性的图，那么会有什么性质？
这样的话，矩阵的乘方不就是刷只和连通性有关的floyd吗。
那么只有图是强联通的才能输出YES。
那么我们考虑刷tarjan，如果整个图只有一个强连通分量，那么就一定是YES了，否则是NO。

代码如下：

#include<cstdio>
#include<string>
#include<cstring>
using namespace std;
const int maxn=2005;
int n,tot,top,ans,g[maxn][maxn],dfn[maxn],low[maxn],stack[maxn];
bool vis[maxn];
void tarjan(int x){
    dfn[x]=low[x]=++tot,vis[x]=1,stack[++top]=x;
    for (int i=1;i<=n;i++)
    if (g[x][i]&&!dfn[i]) {
        tarjan(i);
        low[x]=min(low[x],low[i]);
    } else if (g[x][i]&&vis[i]) low[x]=min(low[x],dfn[i]);
    if (low[x]==dfn[x]) {
        while (stack[top]!=x) vis[stack[top]]=0,top--;
        vis[x]=0,top--,ans++;   
    }
}
int main(){
    scanf("%d",&n);
    for (int i=1;i<=n;i++)
    for (int j=1;j<=n;j++)
    scanf("%d",&g[i][j]);
    for (int i=1;i<=n;i++) if (!dfn[i]) tarjan(i);
    if (ans==1) printf("YES\n"); else printf("NO\n");
    return 0;
}