$\newcommand{\align}[1]{\begin{align*}#1\end{align*}}$题意:对于一个序列$a_{1\cdots n}(a_i\in[1,2^k-1])$,定义序列$b_{1\cdots n}$满足$b_i=a_1|\cdots|a_i$,这里的“$|$”是按位或,问有多少种可能的$a_{1\cdots n}$使得$b_{1\cdots n}$严格单调递增

首先,$a$每增加一个数,这个数必须有一个二进制位是前面所有数都没有出现过的,所以当$n\gt k$时是没有解的,那个$n\leq10^{18}$是在吓人

然后考虑DP,设$f_{i,j}$为$a$有$i$个数且这些数的或占了$j$个二进制位(占位不考虑顺序),那么答案为$\align{\sum\limits_{i=n}^k\binom kif_{n,i}}$(统计答案的时候就要考虑顺序了)

考虑如何转移,我们有$\align{f_{x+y,i}=\sum\limits_{j=0}^i\binom ijf_{x,j}\left(2^j\right)^yf_{y,i-j}}$(前$x$个数占据哪$j$位,后$y$个数必须占$i-j$位,后$y$个数的其他$j$位可以随便取),整理一下得到$\align{\dfrac{f_{x+y,i}}{i!}=\sum\limits_{j=0}^i\dfrac{f_{x,j}2^{yj}}{j!}\dfrac{f_{y,i-j}}{(i-j)!}}$,这是卷积的形式,并且第一维下标也是相加的形式,所以可以直接快速幂+FFT求得答案

可是模数是$10^9+7$...毒瘤出题人

所以学习了一发拆系数FFT:在模$p$意义下,我们可以选取一个$M\geq\left\lceil\sqrt p\right\rceil$,并且把每个系数表达为$aM+b$的形式(这时$a,b\leq M$,因为数字变小了所以爆精度的风险低一些),把每个多项式拆成两个多项式,稍微推下式子就可以做到用$7$次FFT完成任意模数卷积,注意合并系数时适当模一下防止爆$\text{long long}$

然后就做完了,感觉此题略神==

#include<stdio.h>
#include<math.h>
#include<string.h>
typedef long long ll;
typedef double du;
const int mod=1000000007;
int mul(int a,int b){return a*(ll)b%mod;}
int pow(int a,int b){
	int s=1;
	while(b){
		if(b&1)s=mul(s,a);
		a=mul(a,a);
		b>>=1;
	}
	return s;
}
struct complex{
	du x,y;
	complex(du a=0,du b=0){x=a;y=b;}
};
complex operator+(complex a,complex b){return complex(a.x+b.x,a.y+b.y);}
complex operator-(complex a,complex b){return complex(a.x-b.x,a.y-b.y);}
complex operator*(complex a,complex b){return complex(a.x*b.x-a.y*b.y,a.x*b.y+a.y*b.x);}
void swap(complex&a,complex&b){
	complex c=a;
	a=b;
	b=c;
}
int rev[65536],N;
complex w[16][65536];
void pre(int n){
	int i,j,k;
	for(N=1,k=0;N<n;N<<=1)k++;
	for(i=0;i<N;i++)rev[i]=(rev[i>>1]>>1)|((i&1)<<(k-1));
	k=0;
	for(i=2;i<=N;i<<=1){
		for(j=0;j<i;j++)w[k][j]=complex(cos(j*M_PI/(i/2)),sin(j*M_PI/(i/2)));
		k++;
	}
}
void fft(complex*a,int on){
	int i,j,k,f;
	complex t,wi;
	for(i=0;i<N;i++){
		if(i<rev[i])swap(a[i],a[rev[i]]);
	}
	f=0;
	for(i=2;i<=N;i<<=1){
		for(j=0;j<N;j+=i){
			for(k=0;k<i>>1;k++){
				wi=w[f][k];
				wi.y*=on;
				t=wi*a[i/2+j+k];
				a[i/2+j+k]=a[j+k]-t;
				a[j+k]=a[j+k]+t;
			}
		}
		f++;
	}
	if(on==-1){
		for(i=0;i<N;i++)a[i].x/=N;
	}
}
complex A[65536],B[65536],C[65536],D[65536];
void mul(int*a,int*b,int n){
	int i;
	complex t;
	for(i=0;i<N;i++){
		A[i]=a[i]>>15;
		B[i]=a[i]&32767;
		C[i]=b[i]>>15;
		D[i]=b[i]&32767;
	}
	fft(A,1);
	fft(B,1);
	fft(C,1);
	fft(D,1);
	for(i=0;i<N;i++){
		t=A[i]*D[i]+B[i]*C[i];
		A[i]=A[i]*C[i];
		C[i]=B[i]*D[i];
		B[i]=t;
	}
	fft(A,-1);
	fft(B,-1);
	fft(C,-1);
	memset(a,0,(n+1)<<2);
	for(i=0;i<=n;i++)a[i]=((llround(A[i].x)%mod<<30)+(llround(B[i].x)%mod<<15)+llround(C[i].x)%mod)%mod;
}
int ta[65536];
void trans(int*a,int*b,int n,int p){
	int i,t;
	memset(ta,0,sizeof(ta));
	t=1;
	for(i=0;i<=n;i++){
		ta[i]=mul(a[i],t);
		t=mul(t,p);
	}
	mul(ta,b,n);
	memcpy(a,ta,sizeof(ta));
}
int fac[30010],rfac[30010];
int binom(int n,int k){return mul(fac[n],mul(rfac[k],rfac[n-k]));}
int f[65536],g[65536];
int main(){
	ll n;
	int k,i,b,ans;
	scanf("%I64d%d",&n,&k);
	if(n>k){
		putchar('0');
		return 0;
	}
	fac[0]=1;
	for(i=1;i<=k;i++)fac[i]=mul(fac[i-1],i);
	rfac[k]=pow(fac[k],mod-2);
	for(i=k;i>0;i--)rfac[i-1]=mul(rfac[i],i);
	for(i=1;i<=k;i++)f[i]=rfac[i];
	g[0]=1;
	pre(k<<1|1);
	b=2;
	while(n){
		if(n&1)trans(g,f,k,b);
		trans(f,f,k,b);
		b=mul(b,b);
		n>>=1;
	}
	ans=0;
	for(i=n;i<=k;i++)ans=(ans+mul(mul(g[i],fac[i]),binom(k,i)))%mod;
	printf("%d",(ans+mod)%mod);
}

[CF623E]Transforming Sequence的更多相关文章

  1. BZOJ 5381 or & Codeforces 623E Transforming Sequence DP+NTT

    两道题题意都是一样的 不过$CF$的模数是$10^9+7$ 很简单的分析发现$A_i$项一定要有一个之前没有出现过的二进制位才能满足条件 考虑$DP$来做 设$f_{i,j}$表示$i$个数用了二进制 ...

  2. CodeForces 623E Transforming Sequence 动态规划 倍增 多项式 FFT 组合数学

    原文链接http://www.cnblogs.com/zhouzhendong/p/8848990.html 题目传送门 - CodeForces 623E 题意 给定$n,k$. 让你构造序列$a( ...

  3. 【codeforces 623E】 Transforming Sequence

    http://codeforces.com/problemset/problem/623/E (题目链接) 题意 长度为${n}$的满足前缀按位或为单调递增的${k}$位序列.要求每个位置为${[1, ...

  4. Solution -「CF 623E」Transforming Sequence

    题目 题意简述   link.   有一个 \(n\) 个元素的集合,你需要进行 \(m\) 次操作.每次操作选择集合的一个非空子集,要求该集合不是已选集合的并的子集.求操作的方案数,对 \(10^9 ...

  5. FFT/NTT复习笔记&多项式&生成函数学习笔记Ⅱ

    因为垃圾电脑太卡了就重开了一个... 前传:多项式Ⅰ u1s1 我预感还会有Ⅲ 多项式基础操作: 例题: 26. CF438E The Child and Binary Tree 感觉这题作为第一题还 ...

  6. 多项式 之 快速傅里叶变换(FFT)/数论变换(NTT)/常用套路【入门】

    原文链接https://www.cnblogs.com/zhouzhendong/p/Fast-Fourier-Transform.html 多项式 之 快速傅里叶变换(FFT)/数论变换(NTT)/ ...

  7. CF623

    AIM Tech Round (Div. 1) <br > 这真是一套极好的题目啊.....虽然我不会做 <br > 代码戳这里 <br > A.Graph and ...

  8. FFT/FWT

    最近舟游疯狂出货,心情很好~ FFT FWT 快速傅里叶变换(FFT) 具体的推导见这篇:胡小兔 - 小学生都能看懂的FFT!!! (写的很好,不过本小学生第一次没看懂0.0) 总结下关键内容 ~ P ...

  9. Note -「多项式」基础模板(FFT/NTT/多模 NTT)光速入门

      进阶篇戳这里. 目录 何为「多项式」 基本概念 系数表示法 & 点值表示法 傅里叶(Fourier)变换 概述 前置知识 - 复数 单位根 快速傅里叶正变换(FFT) 快速傅里叶逆变换(I ...

随机推荐

  1. python 学习分享-进程

    python中的多线程其实并不是真正的多线程,如果想要充分地使用多核CPU的资源,在python中大部分情况需要使用多进程.Python提供了非常好用的多进程包multiprocessing,只需要定 ...

  2. Learn the shell

    learn the shell what is the shell? when we speak of the command line,we are really to the shell.Actu ...

  3. Rational Rose 使用技巧

    1.浏览区 2.菜单项 其中Format选项中: 决定各项是否显示,也可以通过右击-option选择 3.常用快捷键: F1:任何时候都可以按F1获得相关帮助,把鼠标放在某条菜单上按F1可以获得这条菜 ...

  4. P3141 [USACO16FEB]围栏Fenced In_Platinum

    题目描述 Farmer John has realized that many of his cows are strangely agoraphobic (being fearful of larg ...

  5. BZOJ 3223 Tyvj 1729 文艺平衡树 | Splay 维护序列关系

    题解: 每次reverse(l,r) 把l-1转到根,r+1变成他的右儿子,给r+1的左儿子打个标记就是一次反转操作了 每次find和dfs输出的时候下放标记,把左儿子和右儿子换一下 记得建树的时候建 ...

  6. 笔记:CS231n+assignment2(作业二)(三)

    终于来到了最终的大BOSS,卷积神经网络~ 这里我想还是主要关注代码的实现,具体的CNN的知识点想以后在好好写一写,CNN的代码关键就是要加上卷积层和池话层. 一.卷积层 卷积层的前向传播还是比较容易 ...

  7. freemarker的简单入门程序

    本文主要介绍了freemarker的常用标签<#list>   <#import>  <#assign>  <#if> <#else> &l ...

  8. Windows Server 2008允许多用户登录远程桌面

    远程桌面是windows管理员对服务器进行管理最常用的方式,默认情况下windows server服务器是只允许单个远程链接的,如何开启多个用户远程桌面,下面就来介绍.   工具/原料   windo ...

  9. hihoCoder挑战赛34 B题(快速求第k轮冒泡排序的结果)

    官方题解:https://media.hihocoder.com/contests/challenge34/tutorials-previewed.pdf 题目链接:http://hihocoder. ...

  10. YYH的球盒游戏(NOIP模拟赛Round 6)

    题目描述 YYH有一些总共有种颜色的球,他有颜色的球个.他同样有个盒子,第个盒子能放个球. 他的目标是把这个球按规则放进个盒子里: 对于一个盒子,对于每种颜色的球至多只能放个. 把颜色为的球放进盒子, ...