luogu 1587 [NOI2016]循环之美
LINK:NOI2016循环之美
这道题是 给出n m k 求出\(1\leq i\leq n,1\leq j\leq m\) \(\frac{i}{j}\)在k进制下是一个纯循环的。
由于数值相同的分数不能记录 所以 \((i,j)==1\) 对于是一个纯循环的数我们先从最熟悉的10进制下说起。
可以发现\(\frac{1}{7},\frac{1}{13}\)等等都是纯循环的 而\(\frac{1}{6},\frac{1}{4}\)等等非纯循环。
于是可以发现 当j和10互质的时候此时是纯循环。不妨证明这一点。
当 j和10互质的时候 可以发现j和10没有共有的因子所以\(10^w\)在mod j的情况下是有循环的。这类似于完全剩余系。
当j和10不互质 时 显然可以发现 前半部分时非循环后半部分由于因数被消掉之后 剩下和10互质的数 所以后半部分时一个循环 但此时已经不满足条件了。
从10 我们发现一个有意思的时候 那就是我们好像可以推广到K进制 在K进制下也是一个纯循环的数当且仅当 j在K进制下和K互质。
举个例子 在5进制下 \(\frac{3}{4}\) 4和5 互质 而且你可以自己手算一下这个结果是0.33333333 在5进制下。
说明我们假设成立。(考场上还是要靠猜的。
但是这样求还是很困难 因为j在K进制下和K互质 nm暴力之外还要把 j转成K进制 还要再求gcd 这着实优化不了。
O(m)暴力我们都T掉了。
考虑两个数字互质有 (a,b)==1 在K进制下 \((...+p_1k^1+p_0k^0,...+b_1k^1+b_0k^0)\)这个东西gcd会是多少呢
我猜测是1 /cy 通过不断的打表发现是正确的。于是不考虑证明我们得到这样的一个式子。
题目要求的是 \(\sum\limits_{i=1}^{n}\sum\limits_{j=1}^{m}[(i,j)=1][(j,k)=1]\)
随便变型一下:\(\sum\limits_{i=1}^{n}\sum\limits_{j=1,且(j,k)=1}^{m}\sum_{d|i,d|j}\mu(d)\)
\(\to \sum_{d=1}^{n}\mu(d)\frac{n}{d}\sum_{j=1}^{\frac{m}{d}}[(jd,k)=1]\)
你发现都推到这里了 还是很难求。
但是到了这个地方再把互质的条件进行反演会非常繁杂。
一般到这个时候直接整除分块。所以我们只需要考虑 \(\sum_{d=1}^{n}[(d,k)=1]\mu(d)\)这个东西和\(\sum_{j=1}^{\frac{m}{d}}[(j,k)=1]\)的前缀和即可。
先考虑后面 设函数g(x)表示 \(\sum_{i=1}{x}[(i,k)=1]\) 那么\(g(x)=\frac{x}{k}g(k)+g(x\mod k)\)
那么预处理g函数很简单 O(k)枚举暴力算即可。
考虑前面那个东西的前缀和 \(S(n,k)=\sum_{d=1}^{n}\mu(d)[(d,k)=1]\)
这个时候没有什么办法化简了 而直接求是复杂度很高。
反演一下 \(S(n,k)=\sum_{d=1}^{n}\mu(d)\sum_{x|d,x|k}\mu(x)\)
\(S(n,k)=\sum_{x|k}\mu(x)\sum_{d=1}{\frac{n}{x}}\mu(xd)\)
这个时候 看起来没办法化简了 但是其实我们观察一下\(\mu(xd)\) \((x,d)\neq 1\)时 对答案才有贡献。
由积性函数可得 \(S(n,k)=\sum_{x|k}\mu(x)\sum_{d=1}{\frac{n}{x}}\mu(d)\mu(x)[(x,d)=1]\)
根据我们S函数的定义可得 \(\sum_{d=1}{\frac{n}{x}}\mu(d)\mu(x)[(x,d)=1]\)
所以总式子为\(S(n,k)=\sum_{x|k}\mu(x)^2 S(\frac{n}{x},d)\)
所以这个S函数可以递归的算出来 我们利用map存起来来加快速度 对于mu(x)==0的可以不算。
显然递归边界为x==1 这个时候观察原式 其实式求\(\mu(x)\)的前缀和。
所以我们杜教筛一下。这样就可以求了。注意求S的时候也要开map来加速 还需要判断一下边界什么的。
复杂度?关于S的求出我并不会 分析复杂度。
const int MAXN=5000010,maxn=2010;
int n,m,k,top,maxx=5000000;
int mu[MAXN],p[MAXN],v[MAXN],g[maxn],w[MAXN];
inline int gcd(int a,int b){return b?gcd(b,a%b):a;}
map<int,int>H;map<pii,ll>s;
inline void prepare()
{
rep(1,k,i){g[i]+=g[i-1];if(gcd(i,k)==1)++g[i];}
mu[1]=1;
rep(2,maxx,i)
{
if(!v[i])
{
p[++top]=v[i]=i;
mu[i]=-1;
}
rep(1,top,j)
{
if(maxx/i<p[j])break;
v[i*p[j]]=p[j];
if(v[i]==p[j])break;
mu[i*p[j]]=-mu[i];
}
}
rep(1,maxx,i)w[i]+=w[i-1]+mu[i];
}
inline int djs(int x)
{
if(x<=maxx)return w[x];
if(H.find(x)!=H.end())return H[x];
int ans=1;
int w,ww;
for(int i=2;i<=x;i=ww+1)
{
w=x/i;ww=x/w;
ans-=(ww-i+1)*djs(w);
}
H[x]=ans;return ans;
}
inline ll S(int n,int k)
{
if(k==1)return djs(n);
if(n==1)return 1;
if(!n)return 0;
if(s.find(mk(n,k))!=s.end())return s[mk(n,k)];
ll ans=0;
for(int i=1;i*i<=k;++i)
{
if(k%i==0)
{
if(mu[i])ans=ans+S(n/i,i);
if(mu[k/i]&&i*i!=k)ans=ans+S(n/(k/i),k/i);
}
}
s[mk(n,k)]=ans;
return ans;
}
inline ll G(ll x){return x/k*g[k]+g[x%k];}
int main()
{
//freopen("1.in","r",stdin);
get(n);get(m);get(k);
prepare();
int w1,w2,ww;
ll ans=0;
int cc=min(n,m);
for(RE int i=1;i<=cc;i=ww+1)
{
w1=n/i;w2=m/i;
ww=min(n/w1,m/w2);
ans=ans+w1*(S(ww,k)-S(i-1,k))*G(w2);
}
printf("%lld\n",ans);
return 0;
}
luogu 1587 [NOI2016]循环之美的更多相关文章
- luogu P1587 [NOI2016]循环之美
传送门 首先要知道什么样的数才是"纯循环数".打表可以发现,这样的数当且仅当分母和\(k\)互质,这是因为,首先考虑除法过程,每次先给当前余数\(*k\),然后对分母做带余除法,那 ...
- [UOJ#221][BZOJ4652][Noi2016]循环之美
[UOJ#221][BZOJ4652][Noi2016]循环之美 试题描述 牛牛是一个热爱算法设计的高中生.在他设计的算法中,常常会使用带小数的数进行计算.牛牛认为,如果在 k 进制下,一个数的小数部 ...
- bzoj4652 [Noi2016]循环之美
Description 牛牛是一个热爱算法设计的高中生.在他设计的算法中,常常会使用带小数的数进行计算.牛牛认为,如果在k进制下,一个数的小数部分是纯循环的,那么它就是美的.现在,牛牛想知道:对于已知 ...
- [NOI2016]循环之美
Description 牛牛是一个热爱算法设计的高中生.在他设计的算法中,常常会使用带小数的数进行计算.牛牛认为,如果在 k 进制下,一个数的小数部分是纯循环的,那么它就是美的.现在,牛牛想知道:对 ...
- BZOJ4652: [Noi2016]循环之美(莫比乌斯反演,杜教筛)
Description 牛牛是一个热爱算法设计的高中生.在他设计的算法中,常常会使用带小数的数进行计算.牛牛认为,如果在 k 进制下,一个数的小数部分是纯循环的,那么它就是美的.现在,牛牛想知道:对 ...
- BZOJ4652 [Noi2016]循环之美 【数论 + 莫比乌斯反演 + 杜教筛】
题目链接 BZOJ 题解 orz 此题太优美了 我们令\(\frac{x}{y}\)为最简分数,则\(x \perp y\)即,\(gcd(x,y) = 1\) 先不管\(k\)进制,我们知道\(10 ...
- 洛谷P1587 [NOI2016]循环之美
传送门 不会,先坑着 https://kelin.blog.luogu.org/solution-p1587 //minamoto #include<cstdio> #include< ...
- 题解 P1587 【[NOI2016]循环之美】
知识点:莫比乌斯反演 积性函数 杜教筛 废话前言: 我是古明地恋,写这篇题解的人已经被我 请各位读者自行无视搞事的恋恋带有删除线的内容,谢谢茄子. 这道题目本身并不难,但是公式推导/代码过程中具有迷惑 ...
- BZOJ4652 NOI2016循环之美(莫比乌斯反演+杜教筛)
因为要求数值不同,不妨设gcd(x,y)=1.由提示可以知道,x/y是纯循环小数的充要条件是x·klen=x(mod y).因为x和y互质,两边同除x,得klen=1(mod y).那么当且仅当k和y ...
随机推荐
- Howdoo 纳入华为生态系统
原文链接:https://howdoo.io/howdoo-and-huawei-appgallery/ 重点摘要: 我们是华为设备的忠实粉丝,因此我们非常高兴地宣布,我们一直在积极讨论如何开发 Ho ...
- 微信小程序开发中遇到的几个小问题
本地图片不显示,开发工具运行是没问题的,但真机调试却显示不了 item.img = '/goods/img/图片.png' <image src="{{item.img}}" ...
- element-ui 表单校验 Rules 配置 常用黑科技
type 指示type要使用的验证器.可识别的类型值为: string:类型必须为string.type 默认是 string // 校验 string: [ {type: 'string', mes ...
- CTFHub_技能树_信息泄露
常用备份文件名: www.zip bak文件 在使用vim时会创建临时缓存文件,关闭vim时缓存文件则会被删除,当vim异常退出后,因为未处理缓存文件,导致可以通过缓存文件恢复原始文件内容 以 ind ...
- 数据可视化之DAX篇(七) Power BI中用DAX生成的表如何添加索引列?
https://zhuanlan.zhihu.com/p/74732578 来源于知识星球中一个星友的问题,使用DAX在PowerBI中新建了一个表,如何为这个表添加索引列呢? 假如数据模型中只有一 ...
- 数据分析03 /基于pandas的数据清洗、级联、合并
数据分析03 /基于pandas的数据清洗.级联.合并 目录 数据分析03 /基于pandas的数据清洗.级联.合并 1. 处理丢失的数据 2. pandas处理空值操作 3. 数据清洗案例 4. 处 ...
- 对掌机游戏Pokemon的一部分系统的拆解流程图
整体系统拆解 POKEMON系统拆解 属性.技能.进化形态 属性提升系统 种族值说明: 所有Pokemon都拥有自己的种族的种族值,且固定(例如:小火龙:309, 皮卡丘: 320) 种族值是各项属性 ...
- 08-Python面对对象进阶
一.面向对象编程三大特征 Python是面向对象的语言,同样支持面向对象的编程的三大特征:继承,封装,多态. 封装是指隐藏对象的属性和实现细节,只对外提供必要的一些方法,私有属性,私有方法是实现封装地 ...
- 用Canvas定时显示摄像头捕获的画像(HTML5)
需要实现一个功能,大意嘛,就是标题写的那个意思.虽然用户只要求在微信中实现即可,也就是可以用JSSDK.但是前端小哥哥脑袋一根筋,就想用原生的H5和JS实现. 网上铺天盖地的资料,可惜没有一个是可以用 ...
- python+requests实现接口自动化
1. 前言 今年2月调去支持项目接口测试,测试过程中使用过postman.jmeter工具,基本能满足使用,但是部分情况下使用较为麻烦.比如:部分字段存在唯一性校验或字段间有业务性校验,每次请求均需手 ...