HDU 4057 Rescue the Rabbit 【AC自动机+状压DP】

题目：
给出一些模式串，每个串有一定的价值，现在构造一个长度为M的串，问最大的价值为多少，每个模式串最多统计一次。

由于每个模式串最多统计一次，也算是降低了难度，最多10个串，容易想至于状态压缩。
AC自动机上的节点最多$1000=100*10$个，而最终的串长度最多为100.

容易想到的DP暴力转移。
dp[i][j][k]：表示长度为i的串，位于AC自动机上的节点j，模式串的状态（状压之后）为k的可否达到。

这个复杂度为$100*1024*1000=1\times 10^8$，题目给了10s，还是可以搞的，但是空间不够，只能用滚动数组了。

先建立AC自动机，对于每一个结点纪录这个节点能够匹配多少个串，记住，在构建fail指针的时候，必须把$fail[i]$的状态转移到$i$的状态上。

暴力转移，因为每次从节点j转移到儿子节点，都是多加了一个字符，则相当于长度从$i$转移到$i+1$，那么状态也是从现今的状态 或 上儿子节点的状态。

最终在暴力扫描一遍计算ans。

//      whn6325689
//      Mr.Phoebe
//      http://blog.csdn.net/u013007900
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#pragma comment(linker, "/STACK:1024000000,1024000000")using namespace std;
#define eps 1e-9
#define PI acos(-1.0)
#define INF 0x3f3f3f3f
#define LLINF 1LL<<50
#define speed std::ios::sync_with_stdio(false);typedef long long ll;
typedef unsigned long long ull;
typedef long double ld;
typedef pair pll;
typedef complex point;
typedef pair<int, int> pii;
typedef pairint> piii;
typedef vector<int> vi;#define CLR(x,y) memset(x,y,sizeof(x))
#define CPY(x,y) memcpy(x,y,sizeof(x))
#define clr(a,x,size) memset(a,x,sizeof(a[0])*(size))
#define cpy(a,x,size) memcpy(a,x,sizeof(a[0])*(size))
#define debug(a) cout << #a" = " << (a) << endl;
#define debugarry(a, n) for (int i = 0; i < (n); i++) { cout << #a"[" << i << "] = " << (a)[i] << endl; }#define mp(x,y) make_pair(x,y)
#define pb(x) push_back(x)
#define lowbit(x) (x&(-x))#define MID(x,y) (x+((y-x)>>1))
#define getidx(l,r) (l+r | l!=r)
#define ls getidx(l,mid)
#define rs getidx(mid+1,r)
#define lson l,mid
#define rson mid+1,rtemplate<class T>
inline bool read(T &n)
{T x = 0, tmp = 1;char c = getchar();while((c < '0' || c > '9') && c != '-' && c != EOF) c = getchar();if(c == EOF) return false;if(c == '-') c = getchar(), tmp = -1;while(c >= '0' && c <= '9') x *= 10, x += (c - '0'),c = getchar();n = x*tmp;return true;
}
template <class T>
inline void write(T n)
{if(n < 0){putchar('-');n = -n;}int len = 0,data[20];while(n){data[len++] = n%10;n /= 10;}if(!len) data[len++] = 0;while(len--) putchar(data[len]+48);
}
//-----------------------------------const int MAXN=100010;
const int MAC=4;int val[MAXN],dp[2][1010][(1<<10)+5];
char str[111];inline int idx(char ch)
{switch(ch){case 'A':   return 0;case 'T':   return 1;case 'C':   return 2;case 'G':   return 3;}return 0;
}int get(int state,int n)
{int ans=0;for(int i=0; iif(state&(1<return ans;
}struct AC
{int ch[MAXN][MAC],f[MAXN],size;int st[MAXN];void init(){size=0;f[0]=0;newnode();}int newnode(){CLR(ch[size],0);st[size]=0;f[size]=0;return size++;}void insert(char *S,int id){int u=0,x;for(char *sp=S; *sp; sp++){x=idx(*sp);if(!ch[u][x])   ch[u][x]=newnode();u=ch[u][x];}st[u]|=(1<int que[MAXN];void getfail(){int u,cur;int head=0,tail=0;que[tail++]=0;while(headfor(int i=0; iif(ch[cur][i]==0)ch[cur][i]=ch[f[cur]][i];else{int u=ch[cur][i];if(cur)f[u]=ch[f[cur]][i];st[u] |= st[f[u]];que[tail++]=u;}}}}int solve(int n,int m){int cur=0,next=1;CLR(dp,0);dp[0][0][0]=1;for(int i=1; i<=m; i++){CLR(dp[next],0);for(int j=0; jfor(int k=0; kfor(int r=0; r<(1<if(dp[cur][j][r])dp[next][ch[j][k]][r|st[ch[j][k]]]=1;cur=next;next^=1;}int ans=-INF;for(int j=0; j<(1<for(int i=0; iif(dp[cur][i][j])ans=max(ans,get(j,n));return ans;}
} ac;int main()
{int n,m;while(~scanf("%d%d",&n,&m)){ac.init();for(int i=0; iscanf("%s%d",str,&val[i]);ac.insert(str,i);}ac.getfail();int ans=ac.solve(n,m);if(ans<0)puts("No Rabbit after 2012!");elseprintf("%d\n",ans);}return 0;
}

本文来自互联网用户投稿，文章观点仅代表作者本人，不代表本站立场，不承担相关法律责任。如若转载，请注明出处。 如若内容造成侵权/违法违规/事实不符，请点击【内容举报】进行投诉反馈！