1. 程式人生 > >【普通型母函數+容斥+FFT】BZOJ3771[Triple]題解

【普通型母函數+容斥+FFT】BZOJ3771[Triple]題解

span esp truct getchar 報告 name lin operator code

題目概述

CHNJZ有\(n\)把價值不一樣的斧子,ZigZagK偷走了\(1\)把或\(2\)把或\(3\)把,對於每個可能的總損失,計算有幾種可能的方案。

解題報告

emm……顯然是母函數啊?但是有數量限制。由於最多偷走三把,所以我們可以直接三種情況都討論過去。

\(1\)把:母函數:\(A(x)=x^{a_1}+x^{a_2}+x^{a_3}+...+x^{a_n}\)

\(2\)把:母函數: ,但是這樣顯然算進了同把斧子用了兩次的情況,所以要去掉\(B(x)=x^{2a_1}+x^{2a_2}+x^{2a_3}+...+x^{2a_n}\)。又因為這樣算進了排列,所以最後要除以\(2\)

\(3\)把:母函數:\(A^3(x)\) ,去掉\(3A(x)B(x)\),補回\(2[C(x)=x^{3a_1}+x^{3a_2}+x^{3a_3}+...+x^{3a_n}]\),除以\(6\)

因為項數比較多,所以用FFT進行多項式乘法。

#include<cmath>
#include<cstdio>
#include<algorithm>
using namespace std;
const int maxn=300005;
const double pi=acos(-1);
struct jz{
  double x,y;
  jz(double x=0,double y=0):x(x),y(y){}
  jz operator-(const jz &b)const{return jz(x-b.x,y-b.y);}
  jz operator+(const jz &b)const{return jz(x+b.x,y+b.y);}
  jz operator*(const jz &b)const{return jz(x*b.x-y*b.y,x*b.y+y*b.x);}
}ans[maxn],A[maxn],B[maxn],AB[maxn],A2[maxn],C[maxn],A3[maxn];
int n,m,re[maxn];
inline int _read(){
  int num=0;char ch=getchar();
  while(ch<'0'||ch>'9') ch=getchar();
  while(ch>='0'&&ch<='9') num=num*10+ch-48,ch=getchar();
  return num;
}
void FFT(jz *a,int f){
  for (int i=0;i<n;i++) if (i<re[i]) swap(a[i],a[re[i]]);
  for (int i=1;i<n;i<<=1){
    jz w(1,0),wn(cos(pi/i),sin(f*pi/i)),x,y;
    for (int j=0;j<n;j+=i<<1,w=jz(1,0))
      for (int k=0;k<i;k++,w=w*wn){
    x=a[j+k];y=w*a[j+k+i];
    a[j+k]=x+y;a[j+k+i]=x-y;
      }
  }
}
int main(){
  n=_read();
  for (int i=1;i<=n;i++){
    int x=_read();m=max(x,m);
    A[x]=B[2*x]=C[3*x]=jz(1,0);
  }m*=3;
  int l=0;for (n=1;n<=(m<<1);l++,n<<=1);
  for (int i=0;i<n;i++) re[i]=((re[i>>1]>>1)|((i&1)<<(l-1)));
  for (int i=0;i<=m;i++) ans[i].x=A[i].x-B[i].x/2+C[i].x/3+0.1;
  FFT(A,1);FFT(B,1);
  for (int i=0;i<n;i++) AB[i]=A[i]*B[i],A2[i]=A[i]*A[i],A3[i]=A[i]*A[i]*A[i];
  FFT(AB,-1);FFT(A2,-1);FFT(A3,-1);
  for (int i=0;i<=m;i++){
    int w=ans[i].x+(A2[i].x/2+A3[i].x/6-AB[i].x/2)/n+0.1;
    if (w) printf("%d %d\n",i,w);
  }
}

【普通型母函數+容斥+FFT】BZOJ3771[Triple]題解