2018.10.24【NOIP练习】Leo的组合数问题（组合数学）（莫队）

传送门

---

解析：

总是忍不住要吐槽一句，这题面也太长了吧。。。

首先，肯定要把我们要求的东西推成一个式子，不然怎么可能做题。。。

设$f_i$表示当前以$i$为最大值的方案数。
那么$i$之后的数显然是单调递减且连续，方案数为$1$。
考虑前$i-1$个位置，放法数就是${\sum }_{j=1}^{i-1}{f}_j$
所以我们现在得到递推式$f_i={\sum }_{j=1}^{i-1}{f}_j$，$f_1=1$。

转换一下$$f_i=\sum _{j=1}^{i-1}{f}_j=\sum _{j=1}^{i-2}{f}_j+f_{i-1}=2f_{i-1}$$

所以得到通项公式$f_i=2^{i-1}$

那么询问的答案就是$Q(n,m)={\sum }_{i=1}^n{C}_m^i\times 2^{i-1}$
数据范围$1e5$，果断莫队。
令$l=n,r=m$
我们只需要找到根据$l,r$更新答案的较小复杂度方法就行了
幸运的是，这个式子在$l\pm 1$和$r\pm 1$的时候都有$O(1)$的转移方式。

首先$l$的转移：
$$Q(l-1,r)=Q(l,r)-C_r^l\times 2^{l-1}$$$$Q(l+1,r)=Q(l,r)+C_r^{l+1}\times 2^l$$
这个转移十分显然，就是直接根据表达式转移。

而$r$的转移需要一点技巧：
怎么求$Q(l,r+1)={\sum }_{i=1}^l{C}_{r+1}^i\times 2^{i-1}$

由于帕斯卡三角形上的组合数递推公式$C_{n+1}^m=C_n^m+C_n^{m-1}$。我们把上面这个式子拆开得到$$\sum _{i=1}^l(C_r^i+C_r^{i-1})\times 2^{i-1}=\sum _{i=1}^l{C}_r^i\times 2^{i-1}+2\times \sum _{i=1}^{l-1}{C}_r^i\times 2^{i-1}+C_r^0\times 2^0$$

所以其实就是$$Q(l,r+1)=Q(l,r)+2\times Q(l-1,r)+C_r^0\times 2^0$$
把刚才退出来的$Q(l-1,r)$的式子代进来得到
$$Q(l,r+1)=3\times Q(l,r)-C_r^l\times 2^l+C_r^0\times 2^0$$
利用这个式子可以推出$r-1$的情况：$$Q(l,r-1)=\frac{Q(l,r)+C_{r-1}^l\times 2^l-C_r^0\times 2^0}{3}$$

那么就可以上莫队了。

trick:

注意能将$r$变大的时候尽量先移动$r$，否则先移动$l$，避免转移经过非法组合数就$gg$了。

---

代码：

#include<bits/stdc++.h>
using namespace std;
#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;
}

inline void outint(long long a){
	static char ch[23];
	if(a==0)pc('0');
	while(a)ch[++ch[0]]=a-a/10*10,a/=10;
	while(ch[0])pc(ch[ch[0]--]^48);
}

cs int N=100005;
cs int mod=19260817;

int fac[N],inv[N],ifac[N];
int pow2[N];
inline int C(int n,int m){
	return 1ll*fac[n]*ifac[m]%mod*ifac[n-m]%mod;
}
int l=1,r=1,now=1;
inline void ll(){now=(1ll*now-1ll*C(r,l)*pow2[l-1]%mod+mod)%mod;--l;}
inline void lr(){now=(1ll*now+1ll*C(r,l+1)*pow2[l]%mod)%mod;++l;}
inline void rl(){now=(1ll*now+1ll*C(r-1,l)*pow2[l]%mod-1ll*C(r,0)*pow2[0]%mod+mod)%mod*inv[3]%mod;--r;}
inline void rr(){now=(3ll*now-1ll*C(r,l)*pow2[l]%mod+1ll*C(r,0)*pow2[0]%mod+mod)%mod;++r;}

struct Query{int l,r,id;}Q[N];
int ans[N],block[N],B,bcnt;
inline bool cmp(cs Query &a,cs Query &b){
	if(block[a.l]^block[b.l])return block[a.l]<block[b.l];
	return (block[a.l]&1)^(a.r>b.r);
}
int n,m,q;
int maxn;
signed main(){
	fac[0]=fac[1]=inv[0]=inv[1]=ifac[0]=ifac[1]=pow2[0]=1;
	pow2[1]=2;
	for(int re i=2;i<N;++i){
		fac[i]=1ll*fac[i-1]*i%mod;
		inv[i]=1ll*(mod-mod/i)*inv[mod-mod/i*i]%mod;
		ifac[i]=1ll*ifac[i-1]*inv[i]%mod;
		pow2[i]=(pow2[i-1]<<1)%mod;
	}
	q=getint();
	for(int re i=1;i<=q;++i){
		Q[i].id=i;
		Q[i].r=getint();
		Q[i].l=getint();
		maxn=max(Q[i].r,maxn);
	}
	B=sqrt(maxn);bcnt=1;
	for(int re i=1;i<=maxn;++i){
		block[i]=bcnt;
		if(i%B==0)++bcnt;
	}
	sort(Q+1,Q+q+1,cmp);
	for(int re i=1;i<=q;++i){
		if(Q[i].r>=r){
			while(r<Q[i].r)rr();
			while(r>Q[i].r)rl();
			while(l<Q[i].l)lr();
			while(l>Q[i].l)ll();
		}
		else{
			while(l<Q[i].l)lr();
			while(l>Q[i].l)ll();
			while(r>Q[i].r)rl();
			while(r<Q[i].r)rr();
		}
		ans[Q[i].id]=now;
	}
	for(int re i=1;i<=q;++i)outint(ans[i]),pc('\n');
	return 0;
}