BZOJ 4565 [Haoi2016] 字符合并

本文介绍了一个关于01串的最大分数获取问题,通过动态规划的方法进行解答,并详细展示了如何使用一种特殊的记录方式来优化状态转移过程,同时给出了完整的代码实现。

Description

有一个长度为 n 的 01 串,你可以每次将相邻的 k 个字符合并,得到一个新的字符并获得一定分数。得到的新字
符和分数由这 k 个字符确定。你需要求出你能获得的最大分数。

Input

第一行两个整数n,k。接下来一行长度为n的01串,表示初始串。接下来2k行,每行一个字符ci和一个整数wi,ci
表示长度为k的01串连成二进制后按从小到大顺序得到的第i种合并方案得到的新字符,wi表示对应的第i种方案对应
获得的分数。1<=n<=300,0<=ci<=1,wi>=1, k<=8

Output

输出一个整数表示答案

Sample Input

3 2
101
1 10
1 10
0 20
1 30

Sample Output

40
//第3行到第6行表示长度为2的4种01串合并方案。00->1,得10分,01->1得10分,10->0得20分,11->1得30分。

HINT

Source

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

DP+神奇的记录方式~

迷之复杂度……理论上应该是过不了的啊……究竟有多少状态没有搜到啊……

因为从小到大排序刚好是0~(1<<k)-1,所以直接用数组按顺序记录输入的值就好了~

用f[i][j][z]表示区间[i,j]最终消成z(二进制记录状态)的最大得分,那么每次枚举区间mid值(其中mid到j一定是k-1的倍数,否则状态有误),更新即可~

转移方程:f[i][j][z<<1]=max(f[i][j][z<<1],f[i][mid-1][z]+f[mid][j][0]);
 f[i][j][z<<1|1]=max(f[i][j][z<<1|1],f[i][mid-1][z]+f[mid][j][1]);

注意:

(1)初始化中memset用128更新出来是负无穷,不是正值;

(2)题目中部分数据范围缺失,点开“k<=8”里面有补充,w[i]是10^9,所以f[i][j][z]要开long long;

(3)题目中已有k,不能再用它来做变量(其实只有我自己会出现这样的问题吧--).


#include<cstdio>
#include<cstring>
#include<iostream>
using namespace std;
#define ll long long

int n,s[301],c[1<<8],w[1<<8],k;
ll f[301][301][1<<8],inf,ans;
char ss[301];

int read()
{
	int totnum=0;char ch=getchar();
	while(ch<'0' || ch>'9') ch=getchar();
	while(ch>='0' && ch<='9') {totnum=(totnum<<1)+(totnum<<3)+ch-'0';ch=getchar();}
	return totnum;
}

int main()
{
	n=read();k=read();scanf("%s",ss+1);
	for(int i=1;i<=n;i++) s[i]=ss[i]-'0';
	for(int i=0;i<(1<<k);i++) c[i]=read(),w[i]=read();
	memset(f,128,sizeof(f));inf=f[0][0][0];
	for(int i=1;i<=n;i++) f[i][i][s[i]]=0;
	for(int l=2;l<=n;l++)
	  for(int i=1;i+l-1<=n;i++)
	  {
	  	int j=i+l-1,len=j-i;
	  	while(len>k-1) len-=k-1;
	  	for(int mid=j;mid>i;mid-=k-1)
	  	  for(int z=0;z<(1<<len);z++)
	  	    if(f[i][mid-1][z]!=inf)
	  	    {
	  	    	if(f[mid][j][0]!=inf) f[i][j][z<<1]=max(f[i][j][z<<1],f[i][mid-1][z]+f[mid][j][0]);
	  	    	if(f[mid][j][1]!=inf) f[i][j][z<<1|1]=max(f[i][j][z<<1|1],f[i][mid-1][z]+f[mid][j][1]);
	  	    }
	  	if(len==k-1)
	  	{
	  		ll g[2];g[0]=g[1]=inf;
	  		for(int z=0;z<(1<<k);z++)
	  		  if(f[i][j][z]!=inf) g[c[z]]=max(g[c[z]],f[i][j][z]+w[z]);
	  		f[i][j][0]=g[0];f[i][j][1]=g[1];
	  	}
	  }
	for(int i=0;i<(1<<k);i++) ans=max(ans,f[1][n][i]);
	printf("%lld\n",ans);
	return 0; 
}


### BZOJ1461 字符串匹配 题解 针对BZOJ1461字符串匹配问题,解决方法涉及到了KMP算法以及树状数组的应用。对于此类问题,朴素的算法无法满足时间效率的要求,因为其复杂度可能高达O(ML²),其中M代表模式串的数量,L为平均长度[^2]。 为了提高效率,在这个问题中采用了更先进的技术组合——即利用KMP算法来预处理模式串,并通过构建失配树(也称为失败指针),使得可以在主串上高效地滑动窗口并检测多个模式串的存在情况。具体来说: - **前缀函数与KMP准备阶段**:先对每一个给定的模式串执行一次KMP算法中的pre_kmp操作,得到各个模式串对应的next数组。 - **建立失配树结构**:基于所有模式串共同构成的一棵Trie树基础上进一步扩展成带有失配链接指向的AC自动机形式;当遇到某个节点不存在对应字符转移路径时,则沿用该处失配链路直至找到合适的目标或者回到根部重新开始尝试其他分支。 - **查询过程**:遍历整个待查文本序列的同时维护当前状态处于哪一层级下的哪个子结点之中,每当成功匹配到完整的单词就更新计数值至相应位置上的f_i变量里去记录下这一事实。 下面是简化版Python代码片段用于说明上述逻辑框架: ```python from collections import defaultdict def build_ac_automaton(patterns): trie = {} fail = [None]*len(patterns) # 构建 Trie 树 for i,pattern in enumerate(patterns): node = trie for char in pattern: if char not in node: node[char]={} node=node[char] node['#']=i queue=[trie] while queue: current=queue.pop() for key,value in list(current.items()): if isinstance(value,int):continue if key=='#': continue parent=current[key] p=fail[current is trie and 0 or id(current)] while True: next_p=p and p.get(key,None) if next_p:break elif p==0: value['fail']=trie break else:p=fail[id(p)] if 'fail'not in value:value['fail']=next_p queue.append(parent) return trie,fail def solve(text, patterns): n=len(text) m=len(patterns) f=[defaultdict(int)for _in range(n)] ac_trie,_=build_ac_automaton(patterns) state=ac_trie for idx,char in enumerate(text+'$',start=-1): while True: trans=state.get(char,state.get('#',{}).get('fail')) if trans!=None: state=trans break elif '#'in state: state[state['#']['fail']] else: state=ac_trie cur_state=state while cur_state!={}and'#'in cur_state: matched_pattern_idx=cur_state['#'] f[idx][matched_pattern_idx]+=1 cur_state=cur_state['fail'] result=[] for i in range(len(f)-1): row=list(f[i].values()) if any(row): result.extend([sum((row[:j+1]))for j,x in enumerate(row[::-1])if x>0]) return sum(result) patterns=["ab","bc"] text="abc" print(solve(text,text)) #[^4] ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值