自动机 - 构造

题目大意：给你一只n个点的确定自动机，和字符集大小m，每个节点都恰好m条转移边。构造一个字符串长度不超过1e6，使得从任意节点出发接收这个状态回到达1号点，n<=100,m<=26。SPJ。
题解：其实是给你一个NFA然后求一条路径，然后我一开始傻叉了，还真的傻了吧唧的写了个NFA转DFA以为可过，最后发现那个复杂度是基于正则表达式长度的，而不是NFA的三次……
然后就是你发现题目并不求最短，只要构造，然后发现只要我们每次假装只有前两个（1和另一个）存在，然后走成11，这样集合大小就会至少减小1，然后就n3了。

#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
#include<queue>
#include<utility>
#define gc getchar()
#define mp make_pair
#define fir first
#define sec second
#define rep(i,a,b) for(int i=a;i<=b;i++)
#define clr(a,n) memset(a,0,sizeof(int)*((n)+1))
#define N 110
#define debug(x) cerr<<#x<<"="<<x
#define sp <<" "
#define ln <<endl
using namespace std;
typedef pair<int,int> pii;
typedef pair<pii,int> piii;
inline int inn()
{
    int x,ch;while((ch=gc)<'0'||ch>'9');
    x=ch^'0';while((ch=gc)>='0'&&ch<='9')
        x=(x<<1)+(x<<3)+(ch^'0');return x;
}
piii fr[N][N];queue<pii> q;int c,sc,ansc;
int trs[N][N],vis[N],l[N],s[N*N],ans[N*N*N];
inline int getstep(int sx,int sy,int n,int m)
{
    rep(i,1,n) rep(j,1,n) fr[i][j]=mp(mp(0,0),0);
    while(!q.empty()) q.pop();
    q.push(mp(sx,sy)),fr[sx][sy]=mp(mp(0,0),-1);
    while(!q.empty())
    {
        int x=q.front().fir,y=q.front().sec;q.pop();
        rep(i,1,m)
        {
            int tx=trs[x][i],ty=trs[y][i];
            if(tx>ty) swap(tx,ty);
            if(fr[tx][ty].sec) continue;
            fr[tx][ty]=mp(mp(x,y),i);
            if(tx==1&&ty==1) goto loop;
            q.push(mp(tx,ty));
        }
    }
    loop:sc=0;
    for(int x=1,y=1,t;fr[x][y].sec>0;t=x,x=fr[x][y].fir.fir,y=fr[t][y].fir.sec) s[++sc]=fr[x][y].sec;
    rep(i,1,sc/2) swap(s[i],s[sc-i+1]);return 0;
}
int main()
{
    int n=inn(),m=inn();
    rep(i,1,n) rep(j,1,m) trs[i][j]=inn()+1;
    rep(i,1,n) l[i]=i;c=n;
    while(c>1)
    {
        getstep(l[1],l[2],n,m),clr(vis,n);
        if(!sc) return !printf("[impossible]\n");
        rep(i,1,c) rep(j,1,sc) l[i]=trs[l[i]][s[j]];
        rep(i,1,c) vis[l[i]]=1;c=0;
        rep(i,1,n) if(vis[i]) l[++c]=i;
        rep(i,1,sc) ans[++ansc]=s[i];
    }
    rep(i,1,ansc) printf("%c",ans[i]+'a'-1);
    return !printf("\n");
}