LINK:求和

绝妙的一道题目。没做绝对亏了.





对于第一个subtask 考虑直接递推出组合数.

对于第二个subtask 考虑EGF 设两个EGF 都只含偶数项指标且系数为1的那种 一个到n一个到m 容易发现要求的东西为 两个EGF的卷积.

code score: 30

const int MAXN=50010,maxn=600010,G=3;
int n,m,mod,lim;
int c[2][MAXN];
int fac[maxn],A[maxn],B[maxn],inv[maxn],rev[maxn];
inline int mul(int a,int b){return (ll)a*b%mod;}
inline int add(int a,int b){return a+b>=mod?a+b-mod:a+b;}
inline int mus(int a,int b){return a-b<0?a-b+mod:a-b;}
inline int ksm(int b,int p)
{
int cnt=1;
while(p)
{
if(p&1)cnt=mul(cnt,b);
b=mul(b,b);p=p>>1;
}
return cnt;
}
inline void NTT(int *a,int op)
{
rep(0,lim-1,i)if(i<rev[i])swap(a[i],a[rev[i]]);
for(int len=2;len<=lim;len=len<<1)
{
int mid=len>>1;
int wn=ksm(G,op==1?(mod-1)/len:mod-1-(mod-1)/len);
for(int j=0;j<lim;j+=len)
{
int d=1;
for(int i=0;i<mid;++i)
{
int x=a[i+j],y=mul(a[i+j+mid],d);
a[i+j]=add(x,y);a[i+j+mid]=mus(x,y);
d=mul(d,wn);
}
}
}
if(op==-1)
{
int INV=ksm(lim,mod-2);
rep(0,lim-1,i)a[i]=mul(a[i],INV);
}
}
int main()
{
freopen("c.in","r",stdin);
freopen("c.out","w",stdout);
get(n);get(m);get(mod);
if(n&1)--n;if(m&1)--m;
m=min(n,m);
if(n<=5000&&m<=5000)
{
int ans=1;
c[0][0]=1;
rep(1,n,i)
{
rep(0,min(i,m),j)
{
if(!j)c[i&1][j]=1;
else c[i&1][j]=add(c[(i-1)&1][j-1],c[(i-1)&1][j]);
if(!(i&1)&&!(j&1))ans=add(ans,c[i&1][j]);
}
}
put(ans);return 0;
}
if(n<=200000&&m<=200000&&mod==998244353)
{
fac[0]=1;
rep(1,n,i)fac[i]=mul(fac[i-1],i);
inv[n]=ksm(fac[n],mod-2);
fep(n-1,0,i)inv[i]=mul(inv[i+1],i+1);
for(int i=0;i<=n;i+=2)A[i]=inv[i];
for(int i=0;i<=m;i+=2)B[i]=inv[i];
lim=1;while(lim<=n+m)lim=lim<<1;
rep(0,lim-1,i)rev[i]=rev[i>>1]>>1|((i&1)?lim>>1:0);
NTT(A,1);NTT(B,1);
rep(0,lim-1,i)A[i]=mul(A[i],B[i]);
NTT(A,-1);int ans=0;
rep(0,n,i)
{
if(i&1)continue;
A[i]=mul(A[i],fac[i]);
ans=add(ans,A[i]);
}
put(ans);
return 0;
}
}

我只能做这么多了。

剩下的考虑先推一些关于组合数的式子.

先考虑题解的绝妙式子吧:

将C(i,j)变成二项式定理展开后的式子 那么原式=

\(\sum_{j=0}^m\sum_{i=0}^n [x^j](x+1)^i,i\mod 2==0,j\mod 2==0\)

容易发现第二项是一个等比数列 可以先求一下和. 将n变成偶数。

设\(F(x)=\frac{(x+1)^{n+2}-1}{(x+1)^2-1}\)

所求就变成了\(\sum_{j=0}^m[j\mod 2==0][x^j]F(x)\)

(剩下需要 高深的东西了 二阶线性递推

源神给我讲了他的做法:

设\(g_j=\sum_{i=0}^nC(i,j)[i\mod 2==0],l_j=\sum_{i=0}^nC(i,j)[i\mod 2==1]\)



所以就可以递推出g了。

subtask3 很容易就解决了。(注意 组合数中有和mod相等的数的出现.

subtask4 可能不存在逆元了 通常都是 质因数分解然后CRT合并.

2的逆元还存在 所以还是可以递推的 复杂度 mlog^2 log很小 所以可以过。

subtask5 2的逆元可能不存在了 单独考虑模数2^b.

把递推式倒着写发现就没有除以2的问题了 考虑如何先求出gm.

做法如下:

code:

const int MAXN=1000050,maxn=50;
int n,m,B,ww,xx,yy,cnt,mod;
int w[maxn],p[maxn],f[maxn],v[maxn],phi[maxn],IN[maxn];
int C[MAXN],g[MAXN],G[MAXN];
inline void exgcd(int a,int b)
{
if(!b){xx=1;yy=0;return;}
exgcd(b,a%b);
int zz=xx;xx=yy;yy=zz-a/b*yy;
}
inline int inv(int a,int b)
{
exgcd(a,b);
return (xx%b+b)%b;
}
inline int ksm(int b,int p,int mod)
{
int cnt=1;
while(p)
{
if(p&1)cnt=(ll)cnt*b%mod;
b=(ll)b*b%mod;p=p>>1;
}
return cnt;
}
int main()
{
freopen("c.in","r",stdin);
freopen("c.out","w",stdout);
get(n);get(m);get(mod);ww=mod;
if(n&1)--n;if(m&1)--m;
if(mod==1){puts("0");return 0;}
m=min(n,m);
for(int i=2;i*i<=ww;++i)
if(ww%i==0)
{
p[++cnt]=i;
w[cnt]=f[cnt]=1;v[cnt]=0;
while(ww%i==0)
{
w[cnt]*=i;
ww/=i;
}
phi[cnt]=w[cnt]/i*(i-1);
IN[cnt]=inv(mod/w[cnt],w[cnt]);
}
if(ww>1)
{
p[++cnt]=ww;w[cnt]=ww;
f[cnt]=1;v[cnt]=0;
phi[cnt]=ww-1;
IN[cnt]=inv(mod/w[cnt],w[cnt]);
}
C[0]=1;
rep(1,min(n+2,m+32),i)
{
int ans=0;
rep(1,cnt,j)
{
int w1=n+2-i+1;
int w2=i;
while(w1%p[j]==0)
{
++v[j];
w1/=p[j];
}
while(w2%p[j]==0)
{
--v[j];
w2/=p[j];
}
f[j]=(ll)f[j]*w1%w[j]*ksm(w2,phi[j]-1,w[j])%w[j];
int v1=(ll)ksm(p[j],v[j],w[j])*f[j]%w[j];
ans=(ans+(ll)IN[j]*v1%mod*(mod/w[j]))%mod;
}
C[i]=ans;
}
int w1=p[1]==2?mod/w[1]:mod;
int ans=0;
g[0]=n/2+1;ans=g[0]%=w1;
int INV=inv(2,w1);
rep(1,m,i)
{
g[i]=((ll)(C[i+1]-g[i-1])%w1*INV%w1+w1)%w1;
if(!(i&1))ans=(ans+g[i])%w1;
}
if(p[1]==2)
{
int cc=w[1];
while(cc!=1)
{
++B;
cc=cc>>1;
}
cc=1;int ans1=0;
rep(0,B-1,i)G[m]=(G[m]+(ll)cc*C[i+m+2])%w[1],cc=cc*(-2)%w[1];
ans1=G[m];
fep(m-1,0,i)
{
G[i]=(C[i+2]-(ll)2*G[i+1])%w[1];
if(!(i&1))ans1=(ans1+G[i])%w[1];
}
//合并 ans1 ans
int c1=inv(mod/w[1],w[1]);
int c2=inv(mod/w1,w1);
ans=((ll)ans*c2%mod*(mod/w1)%mod+(ll)ans1*c1%mod*(mod/w[1])%mod)%mod;
}
ans+=mod;ans%=mod;put(ans);
return 0;
}

5.20 省选模拟赛 求和 组合数的性质 EGF CRT的更多相关文章

  1. 5.20 省选模拟赛 T1 图 启发式合并 线段树合并 染色计数问题

    LINK:图 在说这道题之前吐槽一下今天的日子 520 = 1+1+4+514. /cy 这道题今天做的非常失败 一点分都没拿到手 关键是今天的T3 把我整个人给搞崩了. 先考虑 如果得到了这么一张图 ...

  2. 【洛谷比赛】[LnOI2019]长脖子鹿省选模拟赛 T1 题解

    今天是[LnOI2019]长脖子鹿省选模拟赛的时间,小编表示考的不怎么样,改了半天也只会改第一题,那也先呈上题解吧. T1:P5248 [LnOI2019SP]快速多项式变换(FPT) 一看这题就很手 ...

  3. @省选模拟赛03/16 - T3@ 超级树

    目录 @description@ @solution@ @accepted code@ @details@ @description@ 一棵 k-超级树(k-SuperTree) 可按如下方法得到:取 ...

  4. 3.28 省选模拟赛 染色 LCT+线段树

    发现和SDOI2017树点涂色差不多 但是当时这道题模拟赛的时候不会写 赛后也没及时订正 所以这场模拟赛的这道题虽然秒想到了LCT和线段树但是最终还是只是打了暴力. 痛定思痛 还是要把这道题给补了. ...

  5. 【2018.10.20】noip模拟赛Day3 飞行时间

    今天模拟赛题目 纯考输入的傻逼题,用$scanf$用到思想僵化的我最终成功被$if$大法爆$0$了(这题只有一组$100$分数据). 输入后面那个$(+1/2)$很难$if$判断,所以我们要判两个字符 ...

  6. 4.9 省选模拟赛 生成树求和 变元矩阵树定理 生成函数 iDFT 插值法

    有同学在loj上找到了加强版 所以这道题是可以交的.LINK:生成树求和 加强版 对于30分 爆搜 可实际上我爆搜只过了25分 有同学使用按秩合并并茶几的及时剪枝通过了30分. const int M ...

  7. NOI2019省选模拟赛 第五场

    爆炸了QAQ 传送门 \(A\) \(Mas\)的童年 这题我怎么感觉好像做过--我记得那个时候还因为没有取\(min\)结果\(100\to 0\)-- 因为是个异或我们肯定得按位考虑贡献了 把\( ...

  8. NOI2019省选模拟赛 第六场

    传送门 又炸了-- \(A\) 唐时月夜 不知道改了什么东西之后就\(A\)掉了\(.jpg\) 首先,题目保证"如果一片子水域曾经被操作过,那么在之后的施法中,这片子水域也一定会被操作&q ...

  9. FCS省选模拟赛 Day5

    传送门 Solution Code  #include<bits/stdc++.h> #define ll long long #define max(a,b) ((a)>(b)?( ...

随机推荐

  1. css怎么样设置透明度?

    css怎么样设置透明度?下面本篇文章就来给大家介绍一下使用css设置透明度的方法.有一定的参考价值,有需要的朋友可以参考一下,希望对大家有所帮助. 在CSS中想要设置透明度,可以使用opacity属性 ...

  2. 浏览器访问 www.baidu.com 的过程

    浏览器访问 www.baidu.com 的过程 1 先要解析出www.baidu.com DNS域名解析为服务器 IP 2 得到 IP地址后,客户端会发起TCP请求,以及3次握手建立连接 3 建立连接 ...

  3. Window - 安装 Jenkins

    安装方式 war 包放 Tomcat 下 直接安装 jenkins.msi 环境准备 安装 jdk.tomcat,参考:https://www.cnblogs.com/poloyy/p/1326781 ...

  4. windows dos 批量重命名文件

    描述 在工作中经常出现 在同一目录下有一些 很多相同扩展名的文件但是名字看起来很乱各不同,我们想将它们统一重命名一下统一的格式,如果一个个去改名字太麻烦了. 这里我门就可以使用windows下 dos ...

  5. msyql事务的四种隔离级别

    一.事务的基本要素(ACID) 1.原子性(Atomicity):事务开始后所有操作,要么全部做完,要么全部不做,不可能停滞在中间环节.事务执行过程中出错,会回滚到事务开始前的状态,所有的操作就像没有 ...

  6. 将ipynb文件转换为markdown

    jupyter nbconvert --to markdown "3.11-matplotlib 基础.ipynb"

  7. Unity3D+Post Processing Stack V2自定义后处理效果研究

    背景 众所周知,Unity3D支持自定义后处理效果,实现过程有三步: 添加着色器,在着色器里书写后处理代码: 添加材质,把材质和着色器绑定: 给相机添加脚本,重写其OnRenderImage方法,将材 ...

  8. java 使用正则去重

    //去重复 public static void test1() { String str = "aaactttsssfvvvvds"; String regex = " ...

  9. 基于Python的HTTP接口自动化测试框架实现

    今天我们来讲一下基于Python的HTTP接口自动化测试框架的实现,范例如下: 一.测试需求描述 对服务后台一系列的http接口功能测试. 输入:根据接口描述构造不同的参数输入值 输出:XML文件 e ...

  10. 记一次webpack打包的问题

    记一次webpack打包的问题 在webpack打包中开启了webpack-bundle-analyzer,发现了一个chunk:tinymce  在整个项目中查找,只有一个未被使用的组件中有如下代 ...