[P5162] WD與積木

来源:https://www.cnblogs.com/nosta/archive/2019/02/10/10359248.html
-Advertisement-
Play Games

每種堆法(理解成名次序列,舉例3,3,8,2和7,7,100,2都對應2,2,1,3這個名次序列)等概率出現;題目中“兩種堆法不同當且僅當某個積木在兩種堆法中處於不同的層中”可見這是個組合問題,於是設一個名次的生成函數F(x)=sum i=1 inf 1\ x^i/(i!) 。因為F(x)的常數項為 ...


每種堆法(理解成名次序列,舉例3,3,8,2和7,7,100,2都對應2,2,1,3這個名次序列)等概率出現;題目中“兩種堆法不同當且僅當某個積木在兩種堆法中處於不同的層中”可見這是個組合問題,於是設一個名次的生成函數F(x)=sum i=1->inf 1*x^i/(i!) 。因為F(x)的常數項為0,有F^inf(x)=0。

名次序列的方案數的生成函數:A(x) = sum i=0->inf F^i(x) = 1/(1-F(x))
名次序列的各種方案的名次個數之和的生成函數:B(x) = sum i=0->inf i*F^i(x) = F(x)/(1-F(x))^2 = A^2(x)-A(x) = A(x)*(A(x)-1)

預處理出A(x),B(x)的前MAX_N項繫數,對於n,答案為B(x)[n]/A(x)[n]。

註意事項

關於從0開始求和

如果是從1開始的情形:

A(x)=sum i=1->inf F^i(x)
= F(x)*(1-F^inf(x))/(1-F(x))
= F(x)/(1-F(x))
= (1-(1-F(x)))/(1-F(x))
= 1/(1-F(x))-1

B(x)=sum i=1-> inf i*F^i(x)
= ...
= F(x)/(1-F(x))^2-1

拋開A(x)[0]和B(x)[0],似乎關係並沒有什麼影響。

關於EGF的捲積運算

某個生成函數F(x)=sum i=0->inf a[i]*x^i/(i!)

對於EGF意義下的捲積
F(x)*F(x)=sum i=0->inf (sum j=0->i C(i,j)*a[j]*a[i-j]) x^i/(i!)
= sum i=0->inf (sum j=0->i (i!)/(j!)/((i-j)!)*a[j]*a[i-j]) x^i/(i!)
= sum i=0->inf (sum j=0->i a[j]/(j!)*a[i-j]/((i-j)!)) x^i
與在OGF意義下的捲積
F(x)=sum i=0->inf b[i]*x^i ,b[i]=a[i]/(i!)
F(x)*F(x)=sum i=0->inf (sum j=0->i b[j]*b[i-j]) x^i
完全一致.

這告訴我們在使用EGF的具體計算時,可以將1/(i!)放到繫數中去用一般多項式演算法計算得到一個OGF結構,
所得到的函數的各繫數再乘上i!就是正確的EGF結構下的標誌序列了;顯然,該性質也適用於EGF的連續捲積!

換句話說,EGF的標誌序列儘管除以一個i!,然後與OGF無異地各種操作,最終結果再讓標誌序列乘上i!就好了。

代碼實現中因為除法關係沒有乘上i!。

參考實現

#include <bits/stdc++.h>
using namespace std;

const int MAX_N=1e5+10;
const int P=998244353,G=3;

int a[MAX_N<<2];
int b[MAX_N<<2];
int c[MAX_N<<2];
int f[MAX_N<<2];
int r[MAX_N<<2];
int frr[MAX_N];

int qpow(long long x,int y) {
    long long c=1;
    for(; y; y>>=1, x=x*x%P)
        if(y&1) c=c*x%P;
    return c;
}
void ntt(int *a,int lmt,int tp) {
    for(int i=0; i<lmt; ++i) if(i<r[i]) swap(a[i],a[r[i]]);
    for(int m=1; m<lmt; m<<=1) {
        int wm=qpow(G,(P-1)/(m<<1));
        if(tp==-1) wm=qpow(wm,P-2);
        for(int i=0; i<lmt; i+=(m<<1)) {
            long long w=1, tmp;
            for(int j=0; j<m; ++j, w=w*wm%P) {
                tmp=w*a[i+j+m]%P;
                a[i+j+m]=(a[i+j]-tmp+P)%P;
                a[i+j]=(a[i+j]+tmp)%P;
            }
        }
    }
    if(tp==-1) {
        long long tmp=qpow(lmt,P-2);
        for(int i=0; i<lmt; ++i) a[i]=tmp*a[i]%P;
    }
}
void polyrev(int deg,int *a,int *b) {
    if(deg==1) {
        b[0]=qpow(a[0],P-2);
        return;
    }
    polyrev((deg+1)>>1,a,b);
    int lmt=1, l=0;
    while(lmt<(deg<<1)) lmt<<=1, ++l;
    for(int i=0; i<lmt; ++i) r[i]=(r[i>>1]>>1)|((i&1)<<(l-1));
    for(int i=0; i<deg; ++i) c[i]=a[i];
    fill(c+deg,c+lmt,0);
    ntt(c,lmt,1), ntt(b,lmt,1);
    for(int i=0; i<lmt; ++i) b[i]=(2LL-1LL*c[i]*b[i]%P+P)%P*b[i]%P; 
    ntt(b,lmt,-1);
    fill(b+deg,b+lmt,0);
}

int main() {
    long long fac=1;
    for(int i=1; i<MAX_N; ++i) fac=fac*i%P;
    frr[MAX_N-1]=qpow(fac,P-2);
    for(int i=MAX_N-1; i; --i) frr[i-1]=1LL*i*frr[i]%P;
    for(int i=0; i<MAX_N; ++i) a[i]=P-frr[i];
    a[0]=(a[0]+2)%P;
    polyrev(MAX_N,a,b);
    for(int i=0; i<MAX_N; ++i) a[i]=f[i]=b[i];
    int lmt=1;
    while(lmt<=MAX_N) lmt<<=1; lmt<<=1;
    a[0]=(a[0]+P-1)%P;
    ntt(f,lmt,1), ntt(a,lmt,1);
    for(int i=0; i<lmt; ++i) f[i]=1LL*f[i]*a[i]%P;
    ntt(f,lmt,-1);
    
    int T,n; 
    scanf("%d",&T);
    while(T--) {
        scanf("%d",&n);
        printf("%lld\n",1LL*f[n]*qpow(b[n],P-2)%P);
    }
    return 0;
}

感謝@Weng_Weiji的答疑,思路也是來自於他(她?)的題解;代碼參考了@Owen_codeisking
也感謝來自其它大佬的惡意嘲諷


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 題目: 思路: 用四個整形變數統計四個字母出現的個數,按GPLT順序輸出,每輸出一個字母,這個字母的個數就減一,為0了就不輸出。一開始我把第二個迴圈裡面的if都寫成else if了,結果輸出GGGGGPPLLLLLLTTT。。。因為if和else if 只會執行其中之一。。。 上代碼: ...
  • 題目: 輸入格式: 輸入第一行給出一個正整數N(≤100),是已知朋友圈的個數;隨後N行,每行首先給出一個正整數K(≤1000),為朋友圈中的人數,然後列出一個朋友圈內的所有人——為方便起見,每人對應一個ID號,為5位數字(從00000到99999),ID間以空格分隔;之後給出一個正整數M(≤100 ...
  • [TOC] 1.0 Spyder的基本使用 1.Spyder的主題與文字修改: 2.Spyder的使用技巧: (一)安裝Anaconda: 官網下載:https://www.anaconda.com/distribution/ download section 國內鏡像網站:https://mirr ...
  • 題意 給出一個混合圖(有無向邊,也有有向邊),問能否通過確定無向邊的方向,使得該圖形成歐拉迴路。 思路 這是一道混合圖歐拉迴路的模板題。 ...
  • 過年放假這幾天把UE4的C++部分好好的搞了一下,熟悉的等編譯時間又回來了! 這兩年一直在用PASCAL C# LUA,幾乎沒有什麼編譯時間,也沒有什麼莫名其妙的報錯,這幾天全都讓我回憶起來了! 把之前在藍圖中連線弄的一些比較邏輯移到了C++裡面,果然用代碼寫就方便多了! UE4的C++部分暴露給藍 ...
  • 例題 loj116 >給出一個有源匯點的有向圖。每條邊有最大流量和最小流量。現在需要求出從源點到匯點的最大流可以是多少。 前置知識 ...
  • 第85節:Java中的JavaScript 複習一下css: 選擇器的格式: 元素選擇器:元素的名稱{} 類選擇器:. 開頭 ID選擇器: ID選擇器 後代選擇器: 選擇器1 選擇器2 子元素選擇器:選擇器1 選擇器2 選擇器分組: 選擇器1,選擇器2,選擇器3{} 屬性選擇器:選擇器[屬性名稱=' ...
  • 題目: 知識點for me: 1、計算res時要先把num強制轉換成浮點型,否則兩個整形相除會自動轉換成整形保存。最開始沒加(float),結果res一直是0.00000. 2、輸出百分號:%% 3、已經好幾次忘記把不是int型的數字-‘0’後再使用了。 上代碼: ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...