Codeforces 403C 感受一下矩阵乘法的意义。。

感受一下 X姐的意义。。

C：
主要是感受一下矩阵乘法的意义……
我们可以把R^+上的加法当成Bool上的or，R^+上的乘法当成and，这样意义就非常显然了？
（因为只有两个> 0的东西相乘才会> 0，这就是and。而只要有一个> 0，那么和也> 0，所以这是or）
于是A^k只是拼命传递闭包，问是否存在一个k，使得i到j**恰好**k步可达。

但是因为对角线上有> 0的位置，也就是说有一个自环，那么大家只要先去这个点，在那里绕够了，再去目的地就好了，也就变成了强连通了。

这个题保证了所有的数都大于等于0，直接 SCC 就可以了。。

#include <stdio.h>
#include <iostream>
#include <queue>
#include <algorithm>
#include <map>
#include <vector>
#include <cmath>
#include <string.h>
#include <stdlib.h>
#include <time.h>
#include <fstream>
#include <set>
#include <stack>
using namespace std;

#define READ freopen("acm.in","r",stdin)
#define WRITE freopen("acm.out","w",stdout)
#define ll long long
#define ull unsigned long long 
#define PII pair<int,int>
#define PDI pair<double,int>
#define PDD pair<double,double>
#define MII map<int,int>::iterator 
#define fst first
#define sec second
#define MS(x,d) memset(x,d,sizeof(x))
#define INF 0x3f3f3f3f
#define ALL(x) x.begin(),x.end()
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define ROOT 0,n-1,1
#define PB push_back
#define FOR(a,b,c) for(int a=b;a<c;a++)
#define MOD 1000000007
#define keyTree (ch[ ch[root][1] ][0])
#define MAX 5000

int dfn[MAX];
int low[MAX];
int instack[MAX];
int cnt_scc;
int cnt;
stack<int> S;
vector<int> G[MAX];
int tarjan(int u)
{
    if(dfn[u]==-1)
    {
        dfn[u]=low[u]=cnt++;
        S.push(u);
        instack[u]=1;
        for(int i=0;i<G[u].size();i++)
        {
            int v=G[u][i];
            if(dfn[v]==-1)
            {
                low[u]=min(low[u],tarjan(v));
            }else if(instack[v])
                low[u]=min(dfn[v],low[u]);
        }
        if(low[u]==dfn[u])
        {
            while(instack[u])
                instack[S.top()]=0,S.pop();
            cnt_scc++;
        }
    }
    return low[u];
}

int main()
{
    READ;
    int n;
    scanf("%d",&n);
    MS(dfn,-1);
    for(int i=0;i<n;i++)
    {
        for(int j=0;j<n;j++)
        {
            int t;
            scanf("%d",&t);
            if(t)
            {
                G[i].PB(j);
            }
        }
    }   
    for(int i=0;i<n;i++)
        tarjan(i);
    cout<<(cnt_scc>1?"NO":"YES")<<endl;
    return 0;
}