Educational Codeforces Round 118 (Rated for Div. 2) F. Tree Coloring（组合数学+分治NTT/启发式NTT）

最新推荐文章于 2022-08-04 01:01:21 发布

Code92007

最新推荐文章于 2022-08-04 01:01:21 发布

阅读量365

点赞数

分类专栏： # FFT/NTT/FWT/FMT 文章标签：蓝桥杯 c++ 算法

本文链接：https://blog.csdn.net/Code92007/article/details/121884668

版权

FFT/NTT/FWT/FMT 专栏收录该内容

16 篇文章 0 订阅

订阅专栏

题目

n(n<=250000)个点的树，

你需要把1-n这n个数，每个数只能用一次，

染色到n个点上，每个点一个颜色，

且整棵树不存在u的父亲的颜色是u的颜色的值+1的情况

求最后的方案数，答案对998244353取模

思路来源

xls

心得

~~槽，cf的越界检查机制，让我发现之前的分治NTT板子有错~~

题解

看见250000和998244353，就大概率是NTT了

如果dp[i]表示全图恰好有i个父子对冲突的方案数，求出dp[i]后，容斥一下即为答案

如果冲突，我们不妨认为这两个点合并为一个点，

考虑生成函数， $(a_0*x_0+a_1*x_1)*(b_0*x_0+b_1*x_1)*...*(z_0*x_0+z_1*x_1)$ ，

其中， $x_0$ 的系数，表示这个点不和儿子合并的方案数，

$x_{1}$ 的系数，表示这个点和其中某一个儿子合并成一个点的方案数，

启发式NTT或分治NTT搞一下，

最后乘积中的 $x_{i}$ ，就是合并了i次之后的方案数，即dp[i]

合并了i个点，所以最后保留了n-i个点，

再乘以fac[n-i]，即可对应被合并之后的树的一种填数方案，

fac[n-i]可以认为是确定了n-i条链的大小关系，每条链自底向上内部+1

相当于[1,len(第一条链)]，[len(第一条链+1),len(第一条链+第二条链)]，...，[n-len(第n-i条链)+1，n]

代码

#include<iostream>
#include<cstdio>
#include<vector>
#include<cmath>
#include<algorithm>
#include<random>
using namespace std;
#define ll long long
#define ull unsigned ll
const int N = 5e5+10, P = 998244353;
const int Primitive_root = 3;//先用Get_root求出来原根然后当const用 
struct Z{
    int x;
    Z(const int _x=0):x(_x){}
    Z operator +(const Z &r)const{ return x+r.x<P?x+r.x:x+r.x-P;}
    Z operator -(const Z &r)const{ return x<r.x?x-r.x+P:x-r.x;}
    Z operator -()const{ return x?P-x:0;}
    Z operator *(const Z &r)const{ return static_cast<ull>(x)*r.x%P;}
    Z operator +=(const Z &r){ return x=x+r.x<P?x+r.x:x+r.x-P, *this;}
    Z operator -=(const Z &r){ return x=x<r.x?x-r.x+P:x-r.x, *this;}
    Z operator *=(const Z &r){ return x=static_cast<ull>(x)*r.x%P, *this;}
    friend Z Pow(Z, int);
    pair<Z,Z> Mul(pair<Z,Z> x, pair<Z,Z> y, Z f)const{
        return make_pair(
            x.first*y.first+x.second*y.second*f,
            x.second*y.first+x.first*y.second
        );
    }
    Z Quadratic_residue()const{
        if(x<=1) return x;
        if(Pow((Z)x, (P-1)/2).x!=1) return -1;
        Z y, f;
        mt19937 rng(20030226);
        do y=rng()%(x-1)+1; while(Pow(f=y*y-x, (P-1)/2).x==1);
        pair<Z,Z> ans=make_pair(1, 0), t=make_pair(y, 1);
        for(int i=(P+1)/2; i; i>>=1, t=Mul(t, t, f)) if(i&1) ans=Mul(ans, t, f);
        return min(ans.first.x, P-ans.first.x);
    }
};
Z Pow(Z x, int y=P-2){
    Z ans=1;
    for(; y; y>>=1, x=x*x) if(y&1) ans=ans*x;
    return ans;
}
namespace Poly{
    Z w[N<<1];
    Z Inv[N];
    vector<Z> ans;
    vector<vector<Z> > p;
    ull F[N];
    int Get_root(){
		static int pr[N],cnt;
		int n=P-1,sz=(int)(sqrt(n)),root=-1;
		for(int i=2;i<=sz;++i){if(n%i==0)pr[cnt++]=i;while(n%i==0)n/=i;}
		if(n>1)pr[cnt++]=n;
		for(int i=1;i<P;++i){
			if(Pow((Z)i,P-1).x==1){
				bool fl=true;
				for(int j=0;j<cnt;++j){
					if(Pow(i,(P-1)/pr[j]).x==1){
						fl=false;break;
					}
				}
				if(fl){root=i;break;}
			}
		}
		return root;
	}
    void Init(){
    	//printf("root:%d\n",Primitive_root=Get_root()); 先求出来原根然后当const用 
        for(int i=1; i<N; i<<=1){
            w[i]=1;
            Z t=Pow((Z)Primitive_root, (P-1)/i/2);
            for(int j=1; j<i; ++j) w[i+j]=w[i+j-1]*t;
        }
        Inv[1]=1;
        for(int i=2; i<N; ++i) Inv[i]=Inv[P%i]*(P-P/i);
    }
    int Get(int x){ int n=1; while(n<=x) n<<=1; return n;}
    int Mod(int x){ return x<P?x:x-P;}
    void DFT(vector<Z> &f, int n){
        if((int)f.size()!=n) f.resize(n);
        for(int i=0, j=0; i<n; ++i){
            F[i]=f[j].x;
            for(int k=n>>1; (j^=k)<k; k>>=1);
        }
        if(n<=4){
            for(int i=1; i<n; i<<=1) for(int j=0; j<n; j+=i<<1){
                Z *W=w+i;
                ull *F0=F+j, *F1=F+j+i;
                for(int k=j; k<j+i; ++k, ++W, ++F0, ++F1){
                    ull t=(*F1)*(W->x)%P;
                    (*F1)=*F0+P-t, (*F0)+=t;
                }
            }
        }
        else{
            for(int j=0; j<n; j+=2){
                int t=F[j+1];
                F[j+1]=Mod(F[j]+P-t), F[j]=Mod(F[j]+t);
            }
            for(int j=0; j<n; j+=4){
                int t0=F[j+2], t1=F[j+3]*w[3].x%P;
                F[j+2]=F[j]+P-t0, F[j]+=t0;
                F[j+3]=F[j+1]+P-t1, F[j+1]+=t1;
            }
            for(int i=4; i<n; i<<=1) for(int j=0; j<n; j+=i<<1){
                Z *W=w+i;
                ull *F0=F+j, *F1=F+j+i;
                for(int k=j; k<j+i; k+=4, W+=4, F0+=4, F1+=4){
                    int t0=(W->x)**F1%P;
                    int t1=(W+1)->x**(F1+1)%P;
                    int t2=(W+2)->x**(F1+2)%P;
                    int t3=(W+3)->x**(F1+3)%P;
                    *F1=*F0+P-t0, *F0+=t0;
                    *(F1+1)=*(F0+1)+P-t1, *(F0+1)+=t1;
                    *(F1+2)=*(F0+2)+P-t2, *(F0+2)+=t2;
                    *(F1+3)=*(F0+3)+P-t3, *(F0+3)+=t3;
                }
            }
        }
        for(int i=0; i<n; ++i) f[i]=F[i]%P;
    }
    void IDFT(vector<Z> &f, int n){
        f.resize(n), reverse(f.begin()+1, f.end()), DFT(f, n);
        Z I=1;
        for(int i=1; i<n; i<<=1) I*=(P+1)/2;
        for(int i=0; i<n; ++i) f[i]*=I;
    }
    vector<Z> operator +(const vector<Z> &f, const vector<Z> &g){
        vector<Z> ans=f;
        ans.resize(max(f.size(), g.size()));
        for(int i=0; i<(int)g.size(); ++i) ans[i]+=g[i];
        return ans;
    }
    vector<Z> operator *(const vector<Z> &f, const vector<Z> &g){
        static vector<Z> F, G;
        F=f, G=g;
        int p=Get(f.size()+g.size()-2);
        DFT(F, p), DFT(G, p);
        for(int i=0; i<p; ++i) F[i]*=G[i];
        IDFT(F, p);
        return F.resize(f.size()+g.size()-1), F;
    }
    vector<Z> operator *(const vector<Z> &f, Z g){
        vector<Z> ans=f;
        for(Z &i:ans) i*=g;
        return ans;
    }
}
using namespace Poly;
int n,u,v,mans;
Z fac[N],ifac[N];
vector<Z>d;
vector<int>e[N];
vector<Z>work(int l, int r){
    if(l==r){
        vector<Z>tmp;
        tmp.push_back(Z(1));
        tmp.push_back(Z((int)e[l].size()-(l>1)));
		return tmp;
    } 
	int mid=(l+r)>>1;
    return work(l,mid)*work(mid+1,r);
}
void init(int n){
	fac[0]=1;
    for(int i=1;i<=n;++i){
		fac[i]=fac[i-1]*i;
    } 
	ifac[n]=Pow(fac[n]);
    for(int i=n;i;--i){
    	ifac[i-1]=ifac[i]*i;
    }
}
int main(){
    Init();
    init(N-1);
    scanf("%d",&n);
    for(int i=1;i<n;++i){
        scanf("%d%d",&u,&v);
        e[u].push_back(v);
        e[v].push_back(u);
    }
    d=work(1,n);
    for(int i=0,sg=1;i<=n;++i,sg=-sg){
        mans=(mans+1ll*sg*d[i].x*fac[n-i].x%P)%P;
        mans=(mans+P)%P;
    }
    printf("%d\n",mans);
    return 0;
}

Code92007

关注

0
点赞
踩
2

收藏

觉得还不错? 一键收藏
打赏
0
评论
Educational Codeforces Round 118 (Rated for Div. 2) F. Tree Coloring（组合数学+分治NTT/启发式NTT）

题目n(n<=250000)个点的树，你需要把1-n这n个数，每个数只能用一次，染色到n个点上，每个点一个颜色，且整棵树不存在u的父亲的颜色是u的颜色的值+1的情况求最后的方案数，答案对998244353取模思路来源xls心得槽，cf的越界检查机制，让我发现之前的分治NTT板子有错题解看见250000和998244353，就大概率是NTT了如果dp[i]表示全图恰好有i个父子对冲突的方案数，求出dp[i]后，容斥一下即为答案如果冲突，我们不妨认为这两
复制链接

扫一扫