BZOJ 1898 构造矩阵+矩阵快速幂

思路：

T的最小公倍数是12

那么12以内暴力 整除12 的部分用矩阵快速幂

//By SiriusRen
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
int n,m,st,ed,k,nfish,T,p[5],can[13][55];
struct Matrix{
    int a[55][55];
    void init(){memset(a,0,sizeof(a));}
    void Change(){for(int i=0;i<n;i++)a[i][i]=1;}
    friend Matrix operator*(Matrix a,Matrix b){
        Matrix c;c.init();
        for(int i=0;i<n;i++)
            for(int j=0;j<n;j++){
                for(int k=0;k<n;k++)
                    c.a[i][j]+=a.a[i][k]*b.a[k][j];
                c.a[i][j]%=10000;
            }
        return c;
    }
    friend Matrix operator^(Matrix a,int b){
        Matrix c;c.init();c.Change();
        for(;b;b>>=1,a=a*a)if(b&1)c=c*a;
        return c;
    }
}begin[13];
struct Path{int from,to;}path[2555];
int main(){
    scanf("%d%d%d%d%d",&n,&m,&st,&ed,&k);
    for(int i=1;i<=m;i++)scanf("%d%d",&path[i].from,&path[i].to);
    scanf("%d",&nfish);
    while(nfish--){
        scanf("%d",&T);
        for(int i=0;i<T;i++)scanf("%d",&p[i]);
        for(int i=0;i<12;i++)can[i][p[i%T]]=1;
    }
    for(int i=0;i<n;i++)can[12][i]=can[0][i];
    begin[0].Change();
    for(int i=1;i<=12;i++){
        for(int j=1;j<=m;j++){
            if(!can[i-1][path[j].from]&&!can[i][path[j].to])
                begin[i].a[path[j].from][path[j].to]++;
            if(!can[i-1][path[j].to]&&!can[i][path[j].from])
                begin[i].a[path[j].to][path[j].from]++;
        }
        begin[0]=begin[0]*begin[i];
    }
    begin[0]=begin[0]^(k/12);
    for(int i=1;i<=k%12;i++)begin[0]=begin[0]*begin[i];
    printf("%d\n",begin[0].a[st][ed]);
}