题目: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. mybatis标签之——<trim>

    trim标记是一个格式化的标记,主要用于拼接sql的条件语句(前缀或后缀的添加或忽略),可以完成set或者是where标记的功能. trim属性主要有以下四个  prefix:前缀覆盖并增加其内容   ...

  2. Windows环境搭建ElasticSearch 5.*并配置head

    前言: ES5*以上版本需要jdk1.8,jdk1.8,jdk1.8.重要的事情说三遍 1.下载ElasticSearch https://www.elastic.co/cn/downloads/el ...

  3. Adaboost入门教程——最通俗易懂的原理介绍(图文实例)

    https://blog.csdn.net/px_528/article/details/72963977 写在前面 说到Adaboost,公式与代码网上到处都有,<统计学习方法>里面有详 ...

  4. VS2010创建动态链接库(DLL)的方法

    1.第一步创建WIN32项目,选择DLL 2.第二步,创建你自己的DLL CPP文件和头文件,下面以两个简单的加减法函数为例子导出 然后编译生成即可.DLL文件在Debug或Release目录中 .d ...

  5. MongoDB中_id(ObjectId)生成

    MongoDB 中我们经常会接触到一个自动生成的字段:"_id",类型为ObjectId. 之前我们使用MySQL等关系型数据库时,主键都是设置成自增的.但在分布式环境下,这种方法 ...

  6. bzoj2438

    题解: tarjan+概率 首先tarjan缩点 然后计算一个x,计算方法: 1.每当有一个强连通分量i的入度为0,那么x++ 2.如果有一个强连通分量i,它的入度为0,且它连的每一条边只有他连,那么 ...

  7. git push时候总提示输入账号密码,如何免除设置?

    1. 打开.ssh所在目录 home,即C:\Users\Administrator2. 在home中,进入git bash命令终端,创建.git-credentials文件,编辑 touch .gi ...

  8. (C/C++学习笔记) 十一. 数组

    十一. 数组 ● 基本概念 数组:数组是一组在内存中依次连续存放的(数组所有元素在内存中的地址是连续的).具有同一类型的数据变量所组成的集合体.其中的每个变量称为数组元素,它们属于同一种数据类型,数组 ...

  9. Alpha阶段敏捷冲刺---Day4

    一.Daily Scrum Meeting照片 二.今天冲刺情况反馈 今天我们上完课后在禹洲楼教室外进行我们的每日立会.开会的内容主要是对昨天遇到的困难做了一些交流,并且定下今天的任务是完成排行榜界面 ...

  10. 配置thunderbirdmail

    添加帐号 打开Edit→Account Settings ,选择左下放的 "Account actions"→"Add Mail Account". 在弹出框中 ...