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. 内嵌iframe页面在IOS下会受内部元素影响自动撑开的问题

    IOS下的webview页面,内嵌iframe元素,将其样式指定为宽高100%: .iframe { width: %; height: %; } 在安卓下运行均无问题,但是在IOS下会出现异常. 具 ...

  2. MongoDB 逻辑还原工具mongorestore

    mongorestore是官方提供用来还原导入由mongodump导出生成的二进制备份文件的工具,通常与mongodump配合使用,关于mongodump工具的使用可以参考另一篇博文:MongoDB ...

  3. 发布.net core Web到CentOS7

    1.发布一个.net core(只安装了.Net Core运行时,而没有安装ASP.NET Core运行时,需要添加以下节点再发布).  <PublishWithAspNetCoreTarget ...

  4. Kafka入门(1):概述

    摘要 在本文中,我将从为什么需要消息队列开始讲起,举两个小例子,跟你聊聊目前消息队列的一些使用场景. 比如消息队列在复杂系统中的解耦,又比如消息队列在高并发下的场景如果让流量变得更平缓. 随后我会跟你 ...

  5. day27 面向对象

    day27 面向对象 目录 day27 面向对象 一.面相对象介绍 1 什么是对象 2 类于对象 二.实现面向对象编程 1 先定义类 2 属性访问 2.1 调用dict方法 2.2 类.属性 3 调用 ...

  6. 关于Pop!_OS 19.04有线网络始终正在连接

    一开始使用Pop!_OS时就遇到这个问题,开机进入系统后明明网络没问题,WiFi正常可用, 但是插入网线后有线网络始终显示正在连接,然后可能过一会儿还会弹出来网络激活失败. 但是有可能在使用很久之后再 ...

  7. java 面向对象(三):类结构 属性

    类的设计中,两个重要结构之一:属性 对比:属性 vs 局部变量 1.相同点: * 1.1 定义变量的格式:数据类型 变量名 = 变量值 * 1.2 先声明,后使用 * 1.3 变量都其对应的作用域 2 ...

  8. 数据可视化之powerBI入门(八)PowerQuery学习:认识M函数

    https://zhuanlan.zhihu.com/p/64148928 前面我们学习PQ的时候都是用鼠标操作,虽然通过这些操作能完成大部分的数据处理,但是毕竟还有些复杂的工作是处理不了的,如果想彻 ...

  9. Java对象与Json字符串的转换

    Java对象与Json字符串的转换 JSON是一种轻量级的数据交换格式,常用于前后端的数据交流 后端 : 前端 Java对象 > JsonString Java对象 < jsonStrin ...

  10. 数据清洗与准备知识图谱-《利用Python进行数据分析》

    所有内容整理自<利用Python进行数据分析>,使用MindMaster Pro 7.3制作,emmx格式,源文件已经上传Github,需要的同学转左上角自行下载或者右击保存图片.