bzoj1856 字符串 组合数学

       果然是神题。。。数形结合。。。

       看到这道题,第一反应是把0看成-1,这样就变成前缀和>0了。其实也想到了把这个字符串转化成1条折线,即从(0,0)出发,经过n+m步,每一步不是向右上走一格就是向右下走一格,要求不能到x轴的下方,求到达点(n+m,n-m),但是接下来的就比较巧妙了,确实想不到。(也可以见=>http://www.cnblogs.com/jianglangcaijin/p/3443689.html

       首先求出总方案C(n+m,n),如果一条线不合法,那么它一定是走到x轴下方了。那么可以想到,它一定经过直线y=-1。如果将这条直线第一次与y=-1相交的点的前半部分以直线y=-1为对称轴翻折,则这条直线的起点变为(0,-2),而这条直线就相当于从点(0,-2)到(n+m,n-m)的一条直线了。显然,从(0,-2)->(n+m,n-m)的直线与不合法的直线是一一对应的。而从(0,-2)->(n+m,n-m)的直线必然有n+1次向右上走,m-1次向右下走。因此,在本题中不合法字符串的总数就相当于:有n+1个1,m-1个0的字符串总数(不管合法不合法),这个值等于C(n+1+m-1,n+1)=C(n+m,n+1)。

       因此,本题的答案为C(n+m,n)-C(n+m,n+1)。注意到取模的数p=20100403为质数,因此由费马小定理,x^(p-1)≡1(mod p)得x^(-1)≡x^(p-2)(mod p)。

AC代码如下:

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

ll n,m;
ll ksm(ll x,ll y){
	ll base=x,sum=1;
	while (y){
		if (y&1) sum=sum*base%mod;
		base=base*base%mod; y>>=1;
	}
	return sum;
}
ll fac(ll x){
	ll i,sum=1;
	for (i=1; i<=x; i++) sum=sum*i%mod; return sum;
}
ll cbn(ll x,ll y){
	return fac(x)*ksm(fac(x-y)*fac(y)%mod,mod-2)%mod;
}
int main(){
	scanf("%lld%lld",&n,&m);
	printf("%lld\n",(cbn(n+m,n)-cbn(n+m,n+1)+mod)%mod);
	return 0;
}

by lych

2016.1.3

### 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、付费专栏及课程。

余额充值