题目: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. 多态性&& 虚函数 && 抽象类

    http://www.cnblogs.com/CaiNiaoZJ/archive/2011/08/11/2134673.html 多态性 指相同对象收到不同消息或不同对象收到相同消息时产生不同的实现动 ...

  2. IE6中CSS常见BUG全集及解决方案——摘自网友

    IE6中CSS常见BUG全集及解决方案 IE6双倍边距bug 当页面内有多个连续浮动时,如本页的图标列表是采用左浮动,此时设置li的左侧margin值时,在最左侧呈现双倍情况.如外边距设置为10px, ...

  3. Java多线程的同步控制记录

    Java多线程的同步控制记录 一.重入锁 重入锁完全可以代替 synchronized 关键字.在JDK 1.5 早期版本,重入锁的性能优于 synchronized.JDK 1.6 开始,对于 sy ...

  4. RK3288 GMAC整理

    一.源文件 源码路径:\drivers\net\ethernet\rockchip\gmac 源码阅读顺序: 二.重要探针函数stmmac_dvr_probe 1. alloc_etherdev 申请 ...

  5. learning scala 变量

    scala 变量: val : 声明时,必须被初始化,不能再重新赋值. scala> test = "only1"<console>:11: error: not ...

  6. C#实现生产消费者模式

    void test() { int count = 0; // 临界资源区 var queue = new BlockingCollection<string>(); // 生产者线程 T ...

  7. bjui的validate表单验证的使用

    date-rule ="date" 表示格式为yyyy-MM-dd date-rule = "datetime" 表示格式为yyyy-MM-dd HH:mm:s ...

  8. 一個不錯的免費流程圖制作軟件 Download link

    The process flow software you saw yesterday which is a free software, but you need to register. Down ...

  9. bootstrap在iframe框架中实现由子页面在顶级页面打开模态框(modal)

    我需要完成的效果: 1.在顶级页面打开模态框,并且遮罩层也要再顶级页面 2.单击遮罩层部分,模态框不关闭 问题描述: 不知为什么,可能是bootstrap前端框架添加遮罩层的一些问题.通过子页面在顶级 ...

  10. 使用kbmMW#1轻松实现REST

    使用kbmMW很容易创建REST服务器. 首先,我们制作服务器应用程序(或服务......取决于您). 在这种情况下,我们将添加一个简单的Form,为我们的kbmMW组件提供GUI和位置. 在Delp ...