Codeforces 781D Axel and Marston in Bitland

题目链接：http://codeforces.com/contest/781/problem/D

---

${F[i][j][k][0,1]}$表示是否存在从${i-->j}$的路径走了${2^{k}}$步，${0,1}$表示第$1$步是走路还是骑车的。

倍增$Floyed$转移即可。

但是复杂度不对，考虑这个状态是记录的$bool$类型，将状态(${j}$)压一下位(可以用${bitset}$)。

---

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<vector>
#include<cstdlib>
#include<cmath>
#include<cstring>
#include<map>
#include<bitset>
using namespace std;
#define maxn 550
#define llg long long 
#define inf (llg)(1e18)
#define yyj(a) freopen(a".in","r",stdin),freopen(a".out","w",stdout);
llg n,m;
bitset<maxn>f[61][2][maxn],rch,ch;
llg ans;
bool flag;
int main()
{
    yyj("F");
    cin>>n>>m;
    for (llg i=1;i<=m;i++)
    {
        llg x,y,k;
        scanf("%lld%lld%lld",&x,&y,&k);
        f[0][k][x][y]=1;
    }
    for (llg i=1;i<=60;i++)
        for (llg k=1;k<=n;k++)
            for (llg j=1;j<=n;j++)
                for (llg z=0;z<=1;z++)
                    if (f[i-1][z][j][k]) 
                        f[i][z][j]|=f[i-1][z^1][k];
    for(llg i=1;i<=n;i++)
        if (f[60][0][1][i]) 
        {
            puts("-1");
            return 0;
        }
    llg i;
    for (rch[1]=1,i=59;i>=0;i--)
      {
          llg j;
        for(ch=0,j=1;j<=n;j++)
            if (rch[j]) ch|=f[i][flag][j];
        if(ch.count()) rch=ch,ans+=(1LL<<i),flag^=1;
    }
    if(ans>inf) puts("-1");
    else cout<<ans;
    return 0;
}