考场上随手构造了一组数据把自己卡掉了 然后一直都是掉线状态了。
最后发现这个东西不是subtask -1的情况不多 所以就没管无解直接莽 写题有点晚 故没调出来。。
考虑怎么做 容易想到建立AC自动机 然后不能跑到结尾节点 fail是结尾节点的也不能跑。
把那些节点抽出来就可以随便跑了 题目描述非常丧心病狂 两个字符串相等描述的莫名其妙。
不过这道题的本意让我们求出两端在环内的字符串个数。
发现如果存在不是简单环的话是无解的 如果出现两个环的路径上还是环的话也同时无解。
对于前者 一个非常妙的trick是 看这个强联通分量的边数 边数等于点数还是边数大于点数。这个trick 非常的稀有！想了很久都没想到。
对于后者 DAG上的dp也可以顺带求出 对于答案也可以很容易的在DAG上dp求出。
后者这个情况很容易被忽略掉 这里要注意！
code
//#include<bits/stdc++.h>
#include<iostream>
#include<iomanip>
#include<cstdio>
#include<ctime>
#include<cstdlib>
#include<cctype>
#include<cstring>
#include<cmath>
#include<string>
#include<utility>
#include<queue>
#include<vector>
#include<algorithm>
#include<deque>
#include<stack>
#include<list>
#include<bitset>
#include<set>
#include<map>
#define INF 1000000000000000000ll
#define rep(p,n,i) for(int i=p;i<=n;++i)
#define fep(n,p,i) for(int i=n;i>=p;--i)
#define vep(p,n,i) for(int i=p;i<n;++i)
#define db double
#define get(x) x=read()
#define gt(x) scanf("%d",&x)
#define put(x) printf("%d
",x)
#define pb push_back
#define ll long long
#define db double
#define putl(x) printf("%lld
",x)
#define mod 1000000007
#define en(i) t[i].en
#define fail(i) t[i].fail
using namespace std;
char *fs,*ft,buf[1<<15];
inline char getc()
{
return (fs==ft&&(ft=(fs=buf)+fread(buf,1,1<<15,stdin),fs==ft))?0:*fs++;
}
inline int read()
{
int x=0,f=1;char ch=getc();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getc();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getc();}
return x*f;
}
const int MAXN=10010,maxn=2000000;
int n,T,id,cnt,cc,top,len,len1;
char a[MAXN];
int q[MAXN],v[MAXN],f[MAXN],ru[MAXN],num[MAXN];
int dfn[MAXN],c[MAXN],s[MAXN],low[MAXN],g[MAXN],ff[MAXN];
int lin[MAXN],ver[maxn],nex[maxn],lin1[MAXN],ver1[maxn],nex1[maxn];
inline void add(int x,int y){ver[++len]=y;nex[len]=lin[x];lin[x]=len;}
inline void add1(int x,int y){ver1[++len1]=y;nex1[len1]=lin1[x];lin1[x]=len1;}
struct wy{int ch[26];int en,fail;}t[MAXN];
inline void insert(int n)
{
int now=0;
rep(1,n,i)
{
int w=a[i]-'a';
if(!t[now].ch[w])t[now].ch[w]=++id;
now=t[now].ch[w];
}
en(now)=1;
}
inline void build()
{
int l=0,r=0;
rep(0,T,i)if(t[0].ch[i])q[++r]=t[0].ch[i];
while(++l<=r)
{
int x=q[l];
rep(0,T,i)
{
int tn=t[x].ch[i];
if(!tn)t[x].ch[i]=t[fail(x)].ch[i];
else fail(tn)=t[fail(x)].ch[i],q[++r]=tn;
}
}
rep(1,r,i)en(q[i])|=en(fail(q[i]));
}
inline void dfs(int x)
{
dfn[x]=++cnt;low[x]=cnt;s[++top]=x;
for(int i=lin[x];i;i=nex[i])
{
int tn=ver[i];
if(!dfn[tn])
{
dfs(tn);
low[x]=min(low[x],low[tn]);
}
else if(!c[tn])low[x]=min(low[x],dfn[tn]);
}
if(dfn[x]==low[x])
{
++cc;int y=-1;
while(y!=x)
{
y=s[top--];
c[y]=cc;
++g[cc];
}
}
}
inline void topsort()
{
int l=0,r=0;
rep(1,cc,i)if(!ru[i])q[++r]=i;
int ans=0;
while(++l<=r)
{
int x=q[l];
f[x]+=v[x];if(v[x])ans+=f[x],++ff[x];
if(ff[x]>2){puts("-1");return;}
for(int i=lin1[x];i;i=nex1[i])
{
int tn=ver1[i];
--ru[tn];ff[tn]=max(ff[tn],ff[x]);
f[tn]+=f[x];
if(!ru[tn])q[++r]=tn;
}
}
put(ans);
}
int main()
{
freopen("huai.in","r",stdin);
freopen("huai.out","w",stdout);
gt(T);gt(n);--T;
rep(1,n,i)
{
scanf("%s",a+1);
int len=strlen(a+1),flag=0;
rep(1,len,j)if(a[j]-'a'>T){flag=1;}
if(flag)continue;
insert(len);
}
build();
rep(0,id,i)
{
if(en(i))continue;
rep(0,T,j)
{
int tn=t[i].ch[j];
if(en(tn))continue;
add(i,tn);
//cout<<i<<' '<<tn<<endl;
}
}
dfs(0);
rep(0,id,i)
{
if(en(i))continue;
for(int j=lin[i];j;j=nex[j])
{
int tn=ver[j];
if(c[tn]==c[i]){++num[c[tn]];continue;}
add1(c[tn],c[i]);
}
}
rep(1,cc,i)
{
if(num[i]>g[i]){puts("-1");return 0;}
if(num[i]==g[i])v[i]=1;
}
topsort();//可以反向dfs或者正向topsort.
return 0;
}