「NOI2016」循环之美

对于小数\(\frac{a}{b}\),如果它在\(k\)进制下被统计,需要满足要求并且不重复。

不重复我们确保这个分数是最简分数即\((a,b)=1\)

满足要求需要满足第一位的余数在后面仍然出现,第一位余数是\(a\bmod b\),后面第\(x\)位的余数实际上是\(a\times k^x\bmod b\)

所以我们需要满足

\[a\equiv a \times k^x\pmod b
\]

有解

因为\((a,b)=1\),所以

\[k^x\equiv 1\pmod b
\]

若\((k,b)=1\),那么由欧拉定理,有解\(x=\varphi(x)\)

否则由于\(k\times k^{x-1}-yb=1\)无整数解解,所以原式无解

于是我们需要统计的即为

\[\sum_{i=1}^m\sum_{j=1}^n[(i,k)=1][(i,j)=1]
\]

推式子

\[\begin{aligned}
&\sum_{i=1}^m\sum_{j=1}^n[(i,k)=1][(i,j)=1]\\
=&\sum_{i=1}^m[(i,k)=1]\sum_{j=1}^n\sum_{d=1}^{\min(i,j)}\mu(d)[d|i\land d|j]\\
=&\sum_{d=1}^{\min(n,m)}\mu(d)\lfloor\frac{n}{d}\rfloor\sum_{i=1}^m[(i,k)=1\land d|i]\\
=&\sum_{d=1}^{\min(n,m)}\mu(d)\lfloor\frac{n}{d}\rfloor\sum_{i=1}^{\lfloor\frac{m}{d}\rfloor}[(di,k)=1]\\
=&\sum_{d=1}^{\min(n,m)}\mu(d)[(d,k)=1]\lfloor\frac{n}{d}\rfloor\sum_{i=1}^{\lfloor\frac{m}{d}\rfloor}[(i,k)=1]\\
\end{aligned}
\]

我们知道\((a,b)=(a\bmod b,b)\)

然后本题的\(k\)很小,于是我们可以预处理出

\[is(i)=[(i,k)=1]\\
f(i)=\sum_{j=1}^iis(j)
\]

然后上面的式子为

\[\sum_{d=1}^{\min(n,m)}\mu(d)is(d\bmod k)\lfloor\frac{n}{d}\rfloor(\lfloor\frac{m}{dk}\rfloor f(k)+f(\lfloor\frac{m}{d}\rfloor \bmod k))
\]

于是我们可以在\(O(k\log k+n)\)的时间内解决问题,可以得到\(84\)分的好成绩

注意我们设

\[F(n)=\lfloor\frac{n}{k}\rfloor f(k)+f(n\bmod k)
\]

那么原式为

\[\sum_{d=1}^{\min(n,m)}\mu(d)[(d,k)=1]\lfloor\frac{n}{d}\rfloor F(\lfloor\frac{m}{d}\rfloor)
\]

后面两项显然可以整除分块,考虑求出前面两项的前缀和

\[g(n,k)=\sum_{d=1}^n\mu(d)[(d,k)=1]
\]

考虑推一下这个式子

\[\begin{aligned}
g(n,k)=&\sum_{d=1}^n\mu(d)[(d,k)=1]\\
=&\sum_{d=1}^n\mu(d)\sum_{p=1}^{\min(d,k)}\mu(p)[p|d\land p|k]\\
=&\sum_{p|k}\mu(p)\sum_{p|d}^n\mu(d)\\
=&\sum_{p|k}\mu(p)\sum_{d=1}^{\lfloor\frac{n}{p}\rfloor}\mu(dp)\\
\mathbb{because \ of}& \ [\mu(dp)\not=0]=[(d,p)=1],\mathbb{so}\\
g(n,k)=&\sum_{p|k}\mu(p)\sum_{d=1}^{\lfloor\frac{n}{p}\rfloor}\mu(dp)[(d,p)=1]\\
=&\sum_{p|k}\mu^2(p)\sum_{d=1}^{\lfloor\frac{n}{p}\rfloor}\mu(d)[(d,p)=1]\\
=&\sum_{p|k}\mu^2(p)g(\lfloor\frac{n}{p}\rfloor,p)
\end{aligned}
\]

边界

\[g(n,1)=\sum_{d=1}^n\mu(d),g(0,k)=0
\]

前面的一个杜教筛一下即可

复杂度真不会算了...


Code:

  1. #include <cstdio>
  2. #include <cctype>
  3. #include <map>
  4. #include <algorithm>
  5. #define ll long long
  6. using std::min;
  7. const int SIZE=1<<21;
  8. char ibuf[SIZE],*iS,*iT;
  9. //#define gc() (iS==iT?(iT=(iS=ibuf)+fread(ibuf,1,SIZE,stdin),iS==iT?EOF:*iS++):*iS++)
  10. #define gc() getchar()
  11. template <class T>
  12. void read(T &x)
  13. {
  14. x=0;char c=gc();
  15. while(!isdigit(c)) c=gc();
  16. while(isdigit(c)) x=x*10+c-'0',c=gc();
  17. }
  18. const int N=5e6+1;
  19. int mu[N],pri[N],ispri[N],fmu[N],cnt,toki[2020],aya[2020];
  20. void init()
  21. {
  22. fmu[1]=mu[1]=1;
  23. for(int i=2;i<N;i++)
  24. {
  25. if(!ispri[i])
  26. {
  27. pri[++cnt]=i;
  28. mu[i]=-1;
  29. }
  30. for(int j=1;j<=cnt&&i*pri[j]<N;j++)
  31. {
  32. ispri[i*pri[j]]=1;
  33. if(i%pri[j]) mu[i*pri[j]]=-mu[i];
  34. else break;
  35. }
  36. fmu[i]=fmu[i-1]+mu[i];
  37. }
  38. }
  39. int gcd(int a,int b){return b?gcd(b,a%b):a;}
  40. std::map <std::pair<int,int>,int> saki;
  41. int g(int x,int k)
  42. {
  43. //if(x<=1) return n;
  44. if((k==1&&x<N)||(!x)) return fmu[x];
  45. std::pair<int,int> now=std::make_pair(x,k);
  46. if(saki[now]) return saki[now];
  47. int ret=0;
  48. if(k==1)
  49. {
  50. ret=1;
  51. for(int l=2,r;l<=x;l=r+1)
  52. {
  53. r=x/(x/l);
  54. ret-=g(x/l,k)*(r+1-l);
  55. }
  56. }
  57. else
  58. {
  59. for(int i=1;i*i<=k;i++)
  60. {
  61. if(k%i) continue;
  62. if(mu[i]) ret+=g(x/i,i);
  63. if(i*i!=k&&mu[k/i]) ret+=g(x/(k/i),k/i);
  64. }
  65. }
  66. return saki[now]=ret;
  67. }
  68. int n,m,k;
  69. int F(int x){return (x/k)*toki[k]+toki[x%k];}
  70. int main()
  71. {
  72. init();
  73. read(n),read(m),read(k);
  74. for(int i=1;i<=k;i++)
  75. toki[i]=toki[i-1]+(gcd(k,i)==1);
  76. ll las=0,now,ans=0;
  77. for(int l=1,r;l<=min(n,m);l=r+1)
  78. {
  79. r=min(n/(n/l),m/(m/l));
  80. ans+=1ll*((now=g(r,k))-las)*(n/l)*F(m/l);
  81. las=now;
  82. }
  83. printf("%lld\n",ans);
  84. return 0;
  85. }

2019.5.30

「NOI2016」循环之美 解题报告的更多相关文章

  1. LibreOJ2085 - 「NOI2016」循环之美

    Portal Description 给出\(n,m(n,m\leq10^9)\)和\(k(k\leq2000)\),求在\(k\)进制下,有多少个数值不同的纯循环小数可以表示成\(\dfrac{x} ...

  2. 「NOI2016」优秀的拆分 解题报告

    「NOI2016」优秀的拆分 这不是个SAM题,只是个LCP题目 95分的Hash很简单,枚举每个点为开头和末尾的AA串个数,然后乘一下之类的. 考虑怎么快速求"每个点为开头和末尾的AA串个 ...

  3. 「NOI2016」循环之美

    P1587 [NOI2016]循环之美 题目描述 牛牛是一个热爱算法设计的高中生.在他设计的算法中,常常会使用带小数的数进行计算.牛牛认为,如果在 $k$ 进制下,一个数的小数部分是纯循环的,那么它就 ...

  4. *LOJ#2085. 「NOI2016」循环之美

    $n \leq 1e9,m \leq 1e9,k \leq 2000$,求$k$进制下$\frac{x}{y}$有多少种不同的纯循环数取值,$1 \leq x \leq n,1 \leq y \leq ...

  5. LOJ 2085: 洛谷 P1587: bzoj 4652: 「NOI2016」循环之美

    题目传送门:LOJ #2085. 两个月之前做的傻题,还是有必要补一下博客. 题意简述: 求分子为不超过 \(n\) 的正整数,分母为不超过 \(m\) 的正整数的所有互不相等的分数中,有多少在 \( ...

  6. 「NOI2016」循环之美(小性质+min_25筛)

    传送门. 题解 感觉这题最难的是第一个结论. x/y首先要互质,然后如果在10进制是纯循环小数,不难想到y不是2.5的倍数就好了. 因为十进制下除以2和5是除得尽的. 必然会多出来的什么东西. 如果是 ...

  7. 【LOJ】#2085. 「NOI2016」循环之美

    题解 我们要求的其实是这个东西= = \(\sum_{i = 1}^{n}\sum_{j = 1}^{n}[(i,j) == 1][(j,k) == 1]\) 然后变一下形 \(\sum_{j = 1 ...

  8. 洛谷 P4714 「数学」约数个数和 解题报告

    P4714 「数学」约数个数和 题意(假):每个数向自己的约数连边,给出\(n,k(\le 10^{18})\),询问\(n\)的约数形成的图中以\(n\)为起点长为\(k\)的链有多少条(注意每个点 ...

  9. 「NOI2013」树的计数 解题报告

    「NOI2013」树的计数 这什么神题 考虑对bfs重新编号为1,2,3...n,然后重新搞一下dfs序 设dfs序为\(dfn_i\),dfs序第\(i\)位对应的节点为\(pos_i\) 一个暴力 ...

随机推荐

  1. 前端每日实战:80# 视频演示如何用纯 CSS 创作一个自行车车轮

    效果预览 按下右侧的"点击预览"按钮可以在当前页面预览,点击链接可以全屏预览. https://codepen.io/comehope/pen/XBXEPK 可交互视频 此视频是可 ...

  2. VMware 虚拟机NAT模式如何设置网络连接,从头到尾全过程~!!

    一.首先查看自己的虚拟机服务有没有开启,选择电脑里面的服务查看: 1.计算机点击右键选择管理  2.进入管理选择VM开头的服务如果没有开启的话就右键开启  二.虚拟机服务开启后就查看本地网络虚拟机的网 ...

  3. python笔试做错的题目

    a = [1,2,3] b = a print(id(a),id(b),a == b) print(a,b) b = b + [1,2,3] print(a,b) print(id(a),id(b), ...

  4. 有关JWT(Json Web Token)的那些事

    用户认证是计算机安全领域一个永恒的热点话题,然而你会发现,开发者很少讨论有关Json Web Token的话题,其实使用Json Web Token集成到API身份验证机制中是容易,本文给大家普及基础 ...

  5. HBase 入门之数据刷写(Memstore Flush)详细说明

    接触过 HBase 的同学应该对 HBase 写数据的过程比较熟悉(不熟悉也没关系).HBase 写数据(比如 put.delete)的时候,都是写 WAL(假设 WAL 没有被关闭) ,然后将数据写 ...

  6. Rust <5>:测试

    测试运行顺序:单元测试(同处于源文件中,以 #[cfg(tests)] 标记 mod,以 #[test] 标记 function).集成测试(位于项目根路径下的 tests 目录下,不需要 #[cfg ...

  7. Linux下安装JDK(小白教程)

    一.      选择与下载jdk 1. 官网上按照自己的系统版本下载相应jdk,因为我的LINUX(testbest)是32位的,所以我下载32位的jdk. 2. 官网下载地址:http://www. ...

  8. 力扣算法——138CopyListWithRandomPointer【M】

    A linked list is given such that each node contains an additional random pointer which could point t ...

  9. vue input框type=number 保留两位小数自定义组件

    第一步:自定义组件MyNumberInput.vue<template> <input class="numberInput" type="number ...

  10. mongo import excle

    mongoimport --host 192.*******.** --db **  --collection **  --type csv --headerline --file /*****.cs ...