题目:https://www.lydsy.com/JudgeOnline/problem.php?id=4772

题解:https://blog.csdn.net/Dream_Lolita/article/details/82314788

关于 \( g[p^t] \) 的值是多少,提供自己的见解:

  首先,和 \( p^t \) 互质的数有 \( p^{t-1} \) 段,每段有 \( p-1 \) 个,模 p 等于 1 ~ p-1 。

  那么和 \( p^t \) 做 gcd 的就是 \( p^{t-1} \) 段模 p 等于 0 ~ p-2 的数。

  把模 p 等于 1 ~ p-2 的数的贡献写在一起,就是 \( p^{t-1}*(p-2) \) ;

  考虑剩下的那些 0 , p , 2p , 3p , ...... pt-1*p ,那个 0 在这道题里可以写成 pt 。

  考虑 gcd 里贡献 p 的,有 \( p^{t-1} - p^{t-2} \) 个;贡献 p2 的,有 \( p^{t-2} - p^{t-3} \) 个,以此类推。

  所以贡献就是 \( p*( p^{t-1} - p^{t-2} ) + p^2*( p^{t-2} - p^{t-3} ) + ... + p^{t-1}*( p^1 - p^0 ) + p^t \)

  乘开就是 \( ( p^t - p^{t-1} ) + ( p^t - p^{t-1} ) + ... + ( p^t - p^{t-1} ) + p^t = (t-1)*( p^t - p^{t-1} ) + p^t \)

  所以 \( g[p^t] = p^{t-1}*(p-2) + (t-1)*(p^t - p^{t-1}) + p^t \)

  如果想把 \( g[p^{t-1}] \) 代入式子里,就会变成:

    \( g[p^{t-1}]=p^{t-2} + (t-2)*(p^{t-1} - p^{t-2}) + p^t-1 \)

    \( g[p^t] = p*g[p^{t-1}]+(p^t - p^{t-1}) \)

筛的时候可以记录一下 mindiv 的 p 是 p 的几次方,就可以方便地知道 i 是不是 \( p^t \) 或者 i 是由哪个互质的数乘起来的了。

注意异或运算要加括号。

#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
using namespace std;
int rdn()
{
int ret=;bool fx=;char ch=getchar();
while(ch>''||ch<''){if(ch=='-')fx=;ch=getchar();}
while(ch>=''&&ch<='')ret=ret*+ch-'',ch=getchar();
return fx?ret:-ret;
}
int Mx(int a,int b){return a>b?a:b;}
int Mn(int a,int b){return a<b?a:b;}
const int N=,M=1e5+,M2=1e7+,mod=1e9+;
int upt(int x,int md=mod){while(x>=md)x-=md;while(x<)x+=md;return x;}
int pw(int x,int k,int md=mod)
{int ret=;while(k){if(k&)ret=(ll)ret*x%md;x=(ll)x*x%md;k>>=;}return ret;} int type,n,k,a[M],f[N][N],g[M2],pri[M2],mdv[M2];
int p[N],nm[N][N],ct[M],jc[N],jcn[N]; bool vis[M2];
int gcd(int a,int b){return b?gcd(b,a%b):a;}
bool flag=;
int F(int x,int y)
{
if(type==)return ;
else if(type==)return gcd(x,y);
else return upt(pw(x,y,k)+pw(y,x,k)+(x^y),k);//(x^y) token!!!
}
int C(int n,int m){return (ll)jc[n]*jcn[m]%mod*jcn[n-m]%mod;}
void init(int mx)
{
p[]=;
for(int i=;i<=n;i++)
for(int j=;;j++)
{
int k0=j*(*j-)>>, k1=j*(*j+)>>;
int fx=(j&)?:-;
if(k0>i&&k1>i)break;
if(k0<=i)p[i]=upt(p[i]+fx*p[i-k0]);
if(k1<=i)p[i]=upt(p[i]+fx*p[i-k1]);
} jc[]=;for(int i=;i<=n;i++)jc[i]=(ll)jc[i-]*i%mod;
jcn[n]=pw(jc[n],mod-,mod);
for(int i=n-;i>=;i--)jcn[i]=(ll)jcn[i+]*(i+)%mod;
for(int i=;i<=n;i++)
for(int j=n-i;j>=i;j--)
{
int ret=;
if(j==i)
{
for(int k=;k*i<=n;k++)
{
int tmp=upt(p[n-k*i]-((k+)*i<=n?p[n-(k+)*i]:));
ret=(ret+(ll)C(k,)*tmp)%mod;
}
}
else
{
for(int k0=,d0=i;d0+j<=n;k0++,d0+=i)
for(int k1=,d1=j;d0+d1<=n;k1++,d1+=j)
ret=upt(ret+p[n-d0-d1]);
}
int d=F(i,j)%k; ct[d]=upt(ct[d]+ret);
} int cnt=; g[]=;
for(int i=;i<=mx;i++)
{
if(!vis[i])g[i]=upt(*i-),pri[++cnt]=i,mdv[i]=i;
for(int j=,d;j<=cnt&&(d=i*pri[j])<=mx;j++)
{
vis[d]=; int p=pri[j];
if(i%pri[j]==)
{
mdv[d]=mdv[i]*p;
if(mdv[d]==d)g[d]=((ll)g[i]*p+d-i)%mod;
else g[d]=(ll)g[d/mdv[d]]*g[mdv[d]]%mod;
break;
}
g[d]=(ll)g[i]*g[p]%mod; mdv[d]=p;
}
}
}
int main()
{
type=rdn();n=rdn();k=rdn(); int mx=;
for(int i=;i<k;i++)a[i]=rdn(),mx=Mx(mx,a[i]);
init(mx); int ans=;
for(int i=;i<k;i++)
ans=(ans+(ll)g[a[i]]*ct[i])%mod;
printf("%d\n",ans); return ;
}

bzoj 4772 显而易见的数论——拆分数(五边形数定理)+线性筛的更多相关文章

  1. Bzoj 2186: [Sdoi2008]沙拉公主的困惑 乘法逆元,线性筛,欧拉函数,数论

    2186: [Sdoi2008]沙拉公主的困惑 Time Limit: 10 Sec  Memory Limit: 259 MBSubmit: 2560  Solved: 857[Submit][St ...

  2. BZOJ2186 [Sdoi2008]沙拉公主的困惑 【数论,欧拉函数,线性筛,乘法逆元】

    2186: [Sdoi2008]沙拉公主的困惑 Time Limit: 10 Sec  Memory Limit: 259 MB Submit: 5003  Solved: 1725 [Submit] ...

  3. [BZOJ4772]显而易见的数论(数论)

    4772: 显而易见的数论 Time Limit: 40 Sec  Memory Limit: 256 MBSubmit: 76  Solved: 32[Submit][Status][Discuss ...

  4. BZOJ 2190 仪仗队(线性筛欧拉函数)

    简化题意可知,实际上题目求得是gcd(i,j)=1(i,j<=n)的数对数目. 线性筛出n大小的欧拉表,求和*2+1即可.需要特判1. # include <cstdio> # in ...

  5. hdu 4651 Partition(整数拆分+五边形数)

    Partition Time Limit: 6000/3000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others) Total ...

  6. BZOJ 4833: [Lydsy1704月赛]最小公倍佩尔数(数论 + 最值反演)

    题面 令 \({(1+\sqrt 2)}^n=e(n)+f(n)*\sqrt2\) ,其中 \(e(n),f(n)\) 都是整数,显然有 \({(1-\sqrt 2)}^n=e(n)-f(n)*\sq ...

  7. Mobius反演与积性函数前缀和演学习笔记 BZOJ 4176 Lucas的数论 SDOI 2015 约数个数和

    下文中所有讨论都在数论函数范围内开展. 数论函数指的是定义域为正整数域, 且值域为复数域的函数. 数论意义下的和式处理技巧 因子 \[ \sum_{d | n} a_d = \sum_{d | n} ...

  8. 卡特兰数 Catalan数 ( ACM 数论 组合 )

    卡特兰数 Catalan数 ( ACM 数论 组合 ) Posted on 2010-08-07 21:51 MiYu 阅读(13170) 评论(1)  编辑 收藏 引用 所属分类: ACM ( 数论 ...

  9. [BZOJ 3930] [CQOI 2015]选数(莫比乌斯反演+杜教筛)

    [BZOJ 3930] [CQOI 2015]选数(莫比乌斯反演+杜教筛) 题面 我们知道,从区间\([L,R]\)(L和R为整数)中选取N个整数,总共有\((R-L+1)^N\)种方案.求最大公约数 ...

随机推荐

  1. jconsole工具使用----jvm内存泄漏问题

    转载地址:https://www.cnblogs.com/baihuitestsoftware/articles/6405580.html Jconsole,Java Monitoring and M ...

  2. Bellman-Ford模板

    转载链接:http://blog.csdn.net/niushuai666/article/details/6791765 Dijkstra算法是处理单源最短路径的有效算法,但它局限于边的权值非负的情 ...

  3. [工作代码]dom4j解析实例

    工作中,我需要和另一个公司(A公司)共同开发一个模块,我写一个servlet接口,A公司携带xml格式的报文来访问.我采用流的形式读取,在处理后以流的形式写入,在返回(相应)给A公司. demo: p ...

  4. IBM、HPUX、Solaris不同之处

  5. Swift网络封装库Moya中文手册之Endpoints

    Endpoints Endpoint是一种半私有的数据结构,Moya用来解释网络请求的根本构成.一个endpoint储存了以下数据: The URL. The HTTP method (GET,POS ...

  6. ansible 删除路径下的多个文件[收集的参考]

    How to delete multiple files / directories in Ansible ansible - find, file modules to delete files a ...

  7. 玩转X-CTR100 | X-PrintfScope波形显示

    我造轮子,你造车,创客一起造起来!塔克创新资讯[塔克社区 www.xtark.cn ][塔克博客 www.cnblogs.com/xtark/ ]      X-CTR100控制器配套的X-Print ...

  8. Redis学习第七课:键值命令和服务器命令

    Redis键值相关命令                                                                                          ...

  9. View的事件拦截机制浅析

    为什么要去分析view的事件 记得上周刚立的flag就是关于view的事件机制.那现在我来说说我对view的感受.关于view的事件,百度google一搜.一批又一批.但是能让人理解的少之又少.换句话 ...

  10. P1002 谁拿了最多奖学金

    P1002 谁拿了最多奖学金 时间: 1000ms / 空间: 131072KiB / Java类名: Main 背景 NOIP2005复赛提高组第一题 描述 某校的惯例是在每学期的期末考试之后发放奖 ...