2018.10.26【HAOI2016】【BZOJ4565】【洛谷P3736】字符合并（区间DP）（状压DP）

BZOJ传送门

洛谷传送门

---

解析：

由于所有权值都是正数，所以显然最优情况一定是合并到某种不能够继续合并的情况。

一看$k$只有8，可以，这很状压。

那么考虑两种操作，区间合并和区间替换，其中区间合并就是把区间$<i,mid-1>$和$<mid,j>$拼接在一起，来更新$<i,j>$的状态。区间替换就是题目中提到的将$01$串替换成一个字符。

区间合并的操作还算好想，只需要步长为$k-1$，遍历一遍$j$的状态来更新，可以证明这样是实际上不会漏情况的，想一想为什么。

当最后$<i,j>$的长度刚好是$k-1$的整数倍的时候，合并得到新的串长为$k$，可以进行替换，直接遍历所有状态替换即可。

---

代码：

#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define re register
#define gc getchar
#define pc putchar
#define cs const

inline int getint(){
	re int num;
	re char c;
	while(!isdigit(c=gc()));num=c^48;
	while(isdigit(c=gc()))num=(num<<1)+(num<<3)+(c^48);
	return num;
}

cs int N=302;
ll f[N][N][N];
int s[N],c[N],w[N];
int n,k;

signed main(){
	n=getint();
	k=getint();
	for(int re i=1;i<=n;++i)scanf("%1d",&s[i]);
	for(int re i=0;i<(1<<k);++i)c[i]=getint(),w[i]=getint();
	memset(f,-0x3f,sizeof f);
	for(int re i=1;i<=n;++i)f[i][i][s[i]]=0;
	for(int re i=n;i;--i){
		for(int re j=i+1;j<=n;++j){
			int len=(j-i)%(k-1);
			if(len==0)len=k-1;
			for(int re mid=j;mid>i;mid-=k-1){
				for(int re sta=0;sta<(1<<len);++sta){
					f[i][j][sta<<1]=max(f[i][j][sta<<1],f[i][mid-1][sta]+f[mid][j][0]);
					f[i][j][sta<<1|1]=max(f[i][j][sta<<1|1],f[i][mid-1][sta]+f[mid][j][1]);
				}
			}
			if(len==k-1){
				static ll g[2];
				g[1]=g[0]=-0x3f3f3f3f;
				for(int re sta=0;sta<(1<<k);++sta)g[c[sta]]=max(g[c[sta]],f[i][j][sta]+w[sta]);
				f[i][j][0]=max(f[i][j][0],g[0]);
				f[i][j][1]=max(f[i][j][1],g[1]);
			}
		}
	}
	ll ans=-0x3f3f3f3f;
	for(int re i=0;i<(1<<k);++i)ans=max(ans,f[1][n][i]);
	cout<<ans;
	return 0;
}