Codeforces 236E div.2 Strictly Positive Matrix

版权声明:原创文章,转载要注明作者哦 https://blog.csdn.net/DYT_B/article/details/81486561

题目描述: 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;
}

猜你喜欢

转载自blog.csdn.net/DYT_B/article/details/81486561