[UOJ300]吉夫特

直接上lucas定理，可以得到$\binom nm=1$等价于$m$是$n$的子集（二进制）

因为数字两两不同，所以设$f_i$表示以$i$开头的满足要求的序列有多少个，转移就是$f_i\gets f_j+1(j\subset i,\text{pos}_j\gt\text{pos}_i)$，除了以$j$开头的子序列还可以单独把$j$接在$i$后

#include<stdio.h>
const int mod=1000000007,N=233334;
void inc(int&a,int b){(a+=b)%=mod;}
int p[N],f[N];
int main(){
	int n,i,j,s;
	scanf("%d",&n);
	for(i=1;i<=n;i++){
		scanf("%d",&j);
		p[j]=i;
	}
	s=0;
	for(i=1;i<N;i++){
		if(p[i]){
			for(j=i&(i-1);j;j=(j-1)&i){
				if(p[j]>p[i])inc(f[i],f[j]+1);
			}
			inc(s,f[i]);
		}
	}
	printf("%d",s);
}