COGS 2259 异化多肽 —— 生成函数+多项式求逆

题目：http://cogs.pro:8080/cogs/problem/problem.php?pid=2259

如果构造生成函数是许多个 ( (1+x^{k}+x^{2k}+...) ) 相乘，不好算排列数；

发现排列数和肽链的长度，使用的种类数有关；

所以构造 ( A(x) )，次数是质量，系数是这个质量的氨基酸有多少种；

发现答案就是 ( B(x) = 1 + A(x) + A(x)^{2} + ... )，其中 ( A(x) ) 的次数就是长度；

所以 ( B(x) = frac{1}{1-A(x)} ( mod x^{n+1} ) )，多项式求逆即可。

代码如下：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
int const xn=(1<<18),mod=1005060097;
int n,m,f[xn],g[xn],c[xn],rev[xn];
int rd()
{
  int ret=0,f=1; char ch=getchar();
  while(ch<'0'||ch>'9'){if(ch=='-')f=0; ch=getchar();}
  while(ch>='0'&&ch<='9')ret=ret*10+ch-'0',ch=getchar();
  return f?ret:-ret;
}
ll pw(ll a,int b)
{
  ll ret=1;
  for(;b;b>>=1,a=(a*a)%mod)if(b&1)ret=(ret*a)%mod;
  return ret;
}
int upt(int x){while(x>=mod)x-=mod; while(x<0)x+=mod; return x;}
void ntt(int *a,int tp,int lim)
{
  for(int i=0;i<lim;i++)
    if(i<rev[i])swap(a[i],a[rev[i]]);
  for(int mid=1;mid<lim;mid<<=1)
    {
      int len=(mid<<1),wn=pw(5,tp==1?(mod-1)/len:(mod-1)-(mod-1)/len);
      for(int j=0;j<lim;j+=len)
    for(int k=0,w=1;k<mid;k++,w=(ll)w*wn%mod)
      {
        int x=a[j+k],y=(ll)w*a[j+mid+k]%mod;
        a[j+k]=upt(x+y); a[j+mid+k]=upt(x-y);
      }
    }
  if(tp==1)return; int inv=pw(lim,mod-2);
  for(int i=0;i<lim;i++)a[i]=(ll)a[i]*inv%mod;
}
void inv(int *a,int *b,int n)
{
  if(n==1){b[0]=pw(a[0],mod-2); return;}
  inv(a,b,(n+1)>>1);
  int lim=1,l=0;
  while(lim<n+n)lim<<=1,l++;
  for(int i=0;i<lim;i++)rev[i]=((rev[i>>1]>>1)|((i&1)<<(l-1)));
  for(int i=0;i<n;i++)c[i]=a[i];
  for(int i=n;i<lim;i++)c[i]=0;
  ntt(c,1,lim); ntt(b,1,lim);
  for(int i=0;i<lim;i++)b[i]=upt((2-(ll)c[i]*b[i])%mod*b[i]%mod);//c !a
  ntt(b,-1,lim);
  for(int i=n;i<lim;i++)b[i]=0;
}
int main()
{
  //freopen("polypeptide.in","r",stdin);
  //freopen("polypeptide.out","w",stdout);
  n=rd(); m=rd(); int mx=0;
  for(int i=1,x;i<=m;i++)x=rd(),f[x]++,mx=max(mx,x);
  f[0]=1;
  for(int i=1;i<=mx;i++)f[i]=upt(-f[i]);
  inv(f,g,n+1);
  printf("%d
",g[n]);
  return 0;
}