[bzoj4652]循环之美
对于一个分数x/y(x和y互素),在k进制下为纯循环当且仅当y和k互素
证明:任意一个分数都可以写成0.abbbbbbbb的形式(不妨假设a尽量短),设a的位数为l1,b的位数为l2,那么原分数即$\frac {b-a}{(k^{l2}-1)*k^{l1}}$
必要性:当l1=0的时候分母与k互素,即纯循环推出了y与k互素
充分性:反证法,设存在使得$l1>0$且$k^{l1}|b-a$,那么必然有$k|b-a$,也就是b和a的最后一位相同,那么可以将a的最后一位与b的前l2-1位组成新的循环节,与a最短的假设不成立
考虑如何计算:$\sum_{1\le i\le m}[(i,k)==1]\sum_{1\le j \le n}[(i,j)==1]$
先对后半部分莫反并提到前面,即$\sum_{t=1}^{m}[(t,k)==1]*(n/t)*\mu(t)\sum_{i=1}^{m/t}[(i,k)==1]$
考虑对于最后一个式子,设$f(n)=\sum_{i=1}^{n}[(i,k)==1]$,可以用$f(i)=(i/k)*f(k)+f(i\ mod\ k)$来求(预处理前k个值)
对其数论分块,即$\sum_{m/t,n/t}f(m/t)*(n/t)\sum_{t=l}^{r}[(t,k)==1]*\mu(t)$
再令$g(n,k)=\sum_{i=1}^{n}[(i,k)==1]*\mu(i)$,考虑快速递推计算g
对于k的任意质因子p,设$k=p^{t}*q$(p和q互素),那么$[(i,k)==1]=[(i,q)==1]-[(i,q)==1]*[p|i]$
把这个代入原式,即$g(n,k)=g(n,q)-\sum_{i=1}^{n/p}[(i,q)==1]*\mu(ip)$
由于当i与p不互素时$\mu(ip)=0$,因此添加条件$(i,p)=1$,$原式=g(n,q)-\sum_{i=1}^{n/p}[(i,q)==1]*[(i,p)==1]*\mu(i)*\mu(p)$
对该式化简(提出$\mu(p)=-1$,i与q和p都互素等价于(i,qp)=1),最终就得到$g(n,k)=g(n,q)+g(n/p,k)$
考虑递归,由于第一维和第二维的取值都只有$\sqrt{n}$和$\sqrt{k}$种,存下来即可(第一维用hash),递归边界条件为:1.当$n=0$时结果为0;2.当$k=1$时结果为莫比乌斯函数的前缀和,杜教筛即可
1 #include<bits/stdc++.h>
2 using namespace std;
3 #define ll long long
4 #define N 10000005
5 map<int,int>id;
6 map<int,int>sum;
7 int V,n,m,k,f[2005],a[11],vis[N],p[N],mu[N];
8 ll ans,g[N/10][11];
9 int gcd(int x,int y){
10 if (!y)return x;
11 return gcd(y,x%y);
12 }
13 void pre(){
14 mu[1]=1;
15 for(int i=2;i<N-4;i++){
16 if (!vis[i]){
17 p[++p[0]]=i;
18 mu[i]=-1;
19 }
20 for(int j=1;(j<=p[0])&&(i*p[j]<N-4);j++){
21 vis[i*p[j]]=1;
22 if (i%p[j]==0){
23 mu[i*p[j]]=0;
24 break;
25 }
26 mu[i*p[j]]=-mu[i];
27 }
28 }
29 for(int i=1;i<N-4;i++)mu[i]+=mu[i-1];
30 for(int i=1;i<=k;i++)f[i]=f[i-1]+(gcd(i,k)==1);
31 for(int i=1;i<=p[0];i++)
32 if (k%p[i]==0)a[++a[0]]=p[i];
33 }
34 int calc_f(int t){
35 return f[k]*(t/k)+f[t%k];
36 }
37 int djs(int k){
38 if (k<N-4)return mu[k];
39 if (sum[k])return sum[k];
40 int ans=1;
41 for(int i=2,j;i<=k;i=j+1){
42 j=k/(k/i);
43 ans-=(j-i+1)*djs(k/i);
44 }
45 return sum[k]=ans;
46 }
47 ll calc_g(int n,int p){
48 if ((n<2)||(!p))return djs(n);
49 if (!id[n])id[n]=++V;
50 int x=id[n];
51 if (g[x][p])return g[x][p];
52 return g[x][p]=calc_g(n,p-1)+calc_g(n/a[p],p);
53 }
54 int main(){
55 scanf("%d%d%d",&n,&m,&k);
56 pre();
57 for(int i=1,j;i<=min(n,m);i=j+1){
58 j=min(n/(n/i),m/(m/i));
59 ans+=(calc_g(j,a[0])-calc_g(i-1,a[0]))*calc_f(m/i)*(n/i);
60 }
61 printf("%lld",ans);
62 }
[bzoj4652]循环之美的更多相关文章
- 【BZOJ4652】【NOI2016】循环之美(莫比乌斯反演,杜教筛)
[BZOJ4652]循环之美(莫比乌斯反演,杜教筛) 题解 到底在求什么呢... 首先不管他\(K\)进制的问题啦,真是烦死啦 所以,相当于有一个分数\(\frac{i}{j}\) 因为值要不相等 所 ...
- [UOJ#221][BZOJ4652][Noi2016]循环之美
[UOJ#221][BZOJ4652][Noi2016]循环之美 试题描述 牛牛是一个热爱算法设计的高中生.在他设计的算法中,常常会使用带小数的数进行计算.牛牛认为,如果在 k 进制下,一个数的小数部 ...
- UOJ #221 【NOI2016】 循环之美
题目链接:循环之美 这道题感觉非常优美--能有一个这么优美的题面和较高的思维难度真的不容易-- 为了表示方便,让我先讲一下两个符号.\([a]\)表示如果\(a\)为真,那么返回\(1\),否则返回\ ...
- LibreOJ2085 - 「NOI2016」循环之美
Portal Description 给出\(n,m(n,m\leq10^9)\)和\(k(k\leq2000)\),求在\(k\)进制下,有多少个数值不同的纯循环小数可以表示成\(\dfrac{x} ...
- 「NOI2016」循环之美
P1587 [NOI2016]循环之美 题目描述 牛牛是一个热爱算法设计的高中生.在他设计的算法中,常常会使用带小数的数进行计算.牛牛认为,如果在 $k$ 进制下,一个数的小数部分是纯循环的,那么它就 ...
- 「NOI2016」循环之美 解题报告
「NOI2016」循环之美 对于小数\(\frac{a}{b}\),如果它在\(k\)进制下被统计,需要满足要求并且不重复. 不重复我们确保这个分数是最简分数即\((a,b)=1\) 满足要求需要满足 ...
- luogu 1587 [NOI2016]循环之美
LINK:NOI2016循环之美 这道题是 给出n m k 求出\(1\leq i\leq n,1\leq j\leq m\) \(\frac{i}{j}\)在k进制下是一个纯循环的. 由于数值相同的 ...
- bzoj4652 [Noi2016]循环之美
Description 牛牛是一个热爱算法设计的高中生.在他设计的算法中,常常会使用带小数的数进行计算.牛牛认为,如果在k进制下,一个数的小数部分是纯循环的,那么它就是美的.现在,牛牛想知道:对于已知 ...
- BZOJ4652: [Noi2016]循环之美(莫比乌斯反演,杜教筛)
Description 牛牛是一个热爱算法设计的高中生.在他设计的算法中,常常会使用带小数的数进行计算.牛牛认为,如果在 k 进制下,一个数的小数部分是纯循环的,那么它就是美的.现在,牛牛想知道:对 ...
随机推荐
- Firewalls命令行配置
1.指定端口开放查询.开放.关闭端口 # 查询端口是否开放 firewall-cmd --query-port=8080/tcp # 开放80端口 firewall-cmd --permanent - ...
- JavaScript基础 数字类型
JavaScript 数字类型 目前有两种类型: number BigInt 是表示任意长度的整数 数字的三个特殊值 Infinity 属性用于存放表示正无穷大的数值. -Infinity 属性用于存 ...
- 如何通过 Serverless 轻松识别验证码?
作者 | 江昱 来源 | Serverless 公众号 前言 Serverless 概念自被提出就倍受关注,尤其是近些年来 Serverless 焕发出了前所未有的活力,各领域的工程师都在试图将 Se ...
- SpringBoot-邮件任务
邮件发送,在我们的日常开发中,也非常的多,Springboot也帮我们做了支持 邮件发送需要引入spring-boot-start-mail SpringBoot 自动配置MailSenderAuto ...
- jenkins+allure中测试包括为空,没有数据
- props&attrs provide inject
defineComponent({ props: {// 1 } setup (props, {attrs, emit}) { } }) 一,组件传值: 父传子: 1.如果没有在定义的props中声明 ...
- Java编程开发学习路线图(附所有免费课程+在线自测)
转自 https://yq.aliyun.com/articles/134286?spm=5176.100239.0.0.1UfveS 摘要: 长期以来,Java一直占据TIOBE编程语言排行版第一 ...
- Scrum Meeting 0505
零.说明 日期:2021-5-5 任务:简要汇报两日内已完成任务,计划后两日完成任务 一.进度情况 组员 负责 两日内已完成的任务 后两日计划完成的任务 qsy PM&前端 完成邮箱注册页面功 ...
- [软工顶级理解组] Alpha阶段团队贡献分评分
评分总表 下述表格适用于前端.后端.爬虫开发者的评分,基础分数为50分,在此基础上进行增减. 类别 程度 加减分 准时性 提前完成 +0 按时完成 +0 延后完成,迟交时间一天内或未延误进度 -2 延 ...
- logstash multi pipeline的使用
logstash multi pipeline的使用 一.背景 二.解决方案 1.方案一: 2.方案二: 3.方案三: 三.实现步骤 1.编写 pipeline 文件 1.从文件收集,输出到控制台 2 ...