洛谷P2444 病毒 [POI2000] AC自动机

正解:AC自动机

解题报告:

传送门!

首先看到这种题目二话不说先把trie树和fail指针建立起来

然后就想鸭,如果我们想让模式串和文本串尽量不能匹配,就要想办法让它跳fail指针,而不是继续往下走,是趴

然后如果我可以一直跳fail指针始终没有到达文本串的结尾,就说明是可以构造一个无限长的字符串的对趴

于是就变成了,有一个图(trie树+fail指针指向的边就构成了一个图了嘛),如果能找到一个不包含文本串结尾节点的环就说明欧克,否则无法构造

就over辣!

昂还有个小技巧昂,就是在dfs找环的时候可以记录下去过什么点辣就可以不要重复去辣

#include<bits/stdc++.h>
using namespace std;
#define ll int
#define rg register
#define rp(i,x,y) for(rg ll i=x;i<=y;++i)

const ll L=;
ll n,cnt;
bool vis[L+],instck[L+];
struct tre{ll to[],fil;bool ed;tre(){to[]=to[]=;ed=;fil=;}}tr[L+];

inline ll read()
{
    rg char ch=getchar();rg ll x=;rg bool y=;
    while(ch!='-' && (ch>'' || ch<''))ch=getchar();
    if(ch=='-')ch=getchar(),y=;
    while(ch>='' && ch<='')x=(x<<)+(x<<)+(ch^''),ch=getchar();
    return y?x:-x;
}
inline void bd(string x)
{
    ll lth=x.length()-,nw=;
    rp(i,,lth){if(!tr[nw].to[x[i]^''])tr[nw].to[x[i]^'']=++cnt;nw=tr[nw].to[x[i]^''];}
    tr[nw].ed=;
}
inline void fl()
{
    queue<ll> Q;rp(i,,)if(tr[].to[i])Q.push(tr[].to[i]);
    while(!Q.empty())
    {
        ll nw=Q.front();Q.pop();tr[nw].ed|=tr[tr[nw].fil].ed;
        rp(i,,){if(tr[nw].to[i])tr[tr[nw].to[i]].fil=tr[tr[nw].fil].to[i],Q.push(tr[nw].to[i]);else tr[nw].to[i]=tr[tr[nw].fil].to[i];}
    }
}
inline void dfs(ll x)
{
    if(tr[x].ed)return;
    if(instck[x]){printf("TAK");exit();}
    if(vis[x])return;instck[x]=vis[x]=;
    rp(i,,)if(tr[x].to[i])dfs(tr[x].to[i]);
    instck[x]=;
}

int main()
{
    n=read();rp(i,,n){string x;cin>>x;bd(x);}fl();dfs();printf("NIE\n");
    return ;
}

这儿是代码!