首页 > 代码库 > bzoj4815 [Cqoi2017]小Q的表格

bzoj4815 [Cqoi2017]小Q的表格

传送门

这题好妙啊,我好菜啊……居然连辗转相减都看不出来,我是不是没救了……

……

考虑题目给出的两个条件:

$f_{a,b}=f_{b,a}$,这个就是对称性。

$b×f_{a,a+b}=(a+b)×f_{a,b}$,这个有点意思。整道题明明就是这里最难好嘛

先不管两个$f_{a,b}$之间到底有什么数量关系,只考虑哪些$f_{a,b}$互相影响,记$a~b$表示$a$与$b$相关,可以把它变形一下得到$f_{a,b}~f_{a,b-a}(a\le b)$,结合$f_{a,b}=f_{a,b}$可以发现,所有相互影响的$f_{a,b}$都有一个共同性质:$\gcd(a,b)$相等(根据辗转相减法,当$a<b$时有$(a,b)=(a,b-a)$)。

然后来考虑两个互相影响的$f_{a,b}$的数量关系,把第二个条件移个项之后得到$\frac{f_{a,b}}b=\frac{f_{a,a+b}}{a+b}$,也就是说$a$一定时$f_{a,b}$的值与$b$成正比,根据对称性还可知$b$一定时$f_{a,b}$的值与$a$成正比,不难推出所有互相影响的$f_{a,b}$的值都与$a×b$成正比。设$(a,b)=g$,那么每个$f_{a,b}$就可以通过$\frac a g×\frac b g×f_{g,g}$唯一确定,这样那个$n^2$大小的矩阵就只有对角线上的那些元素有用了,查询的时候计算每个$g$的贡献即可,记$f_{d,d}=f(d)$,那么表格的前n行前n列之和就是

\begin{align}\sum_{d=1}^n f(d)\sum_{i=1}^n\sum_{j=1}^n[(i,j)=d]\frac{ij}{d^2}\\=\sum_{d=1}^n f(d)\sum_{i=1}^{\left\lfloor\frac n d\right\rfloor}\sum_{j=1}^{\left\lfloor\frac n d\right\rfloor}[(i,j)=1]ij\end{align}

有一个结论:$\le n$且互质的数对两个数的乘积之和等于$i^2\varphi(i)$的前$n$项之和,写成公式就是

\begin{align}\sum_{i=1}^n\sum_{j=1}^n[(i,j)=1]ij=\sum_{i=1}^n i^2\varphi(i)\end{align}

这个东西很好推,实在不知道的话后面会有证明,总之先记住就好了。

有了这个东西,就有

\begin{align}Ans=\sum_{d=1}^n f(d)\sum_{i=1}^{\left\lfloor\frac n d\right\rfloor}i^2\varphi(i)\end{align}

预处理$i^2\varphi(i)$的前缀和之后就可以做到单次询问$O(n)$了,但这显然还不够。注意到这个式子中有分块形式,因此如果能维护$f(d)$的前缀和的话就可以快速计算答案了,记修改的复杂度为$g(n)$,查询的复杂度为$h(n)$,那么单次询问的复杂度就是$O(h(n)\sqrt n)$。如果用树状数组维护的话,$g(n)=h(n)=O(\log n)$,一次修改+一次查询的复杂度就是$O(\sqrt n\log n)$。注意到修改很少而查询很多(每次操作会进行一次修改和$O(\sqrt n)$次询问),那么我们可以使用$O(\sqrt n)$修改+$O(1)$查询的分块维护(预处理前缀和,每次修改时暴力修改块内前缀和,再对后面的块打标记,查询时直接返回对应位置前缀和+对应块的标记即可),每次操作的复杂度就可以降到$O(\sqrt n)$了,总复杂度$O(m\sqrt n)$,这样就可以过了。

技术分享
 1 #include<cstdio>
 2 #include<cstring>
 3 #include<cmath>
 4 #include<algorithm>
 5 using namespace std;
 6 const int maxn=4000010,maxb=2010,p=1000000007;
 7 void phi_table(int);
 8 void modify(int,int);
 9 int query(int);
10 int gcd(int,int);
11 bool notp[maxn]={false};
12 int prime[maxn]={0},phi[maxn];
13 int id[maxn],L[maxb],R[maxb],cntb=0;
14 int f[maxn],sum[maxn]={0},lazy[maxb]={0};
15 long long x;
16 int n,B,m,a,b,k,ans;
17 int main(){
18     scanf("%d%d",&m,&n);
19     B=(int)(sqrt(n)+0.5);
20     for(int i=1;i<=n;i++){
21         id[i]=(i-1)/B+1;
22         if(!L[id[i]])L[id[i]]=i;
23         R[id[i]]=i;
24         cntb=id[i];
25         f[i]=(long long)i*i%p;
26         sum[i]=(sum[i-1]+f[i])%p;
27     }
28     phi_table(n);
29     while(m--){
30         scanf("%d%d%lld%d",&a,&b,&x,&k);
31         int g=gcd(a,b);
32         x/=(long long)(a/g)*(b/g);
33         x%=p;
34         modify(g,(x-f[g]+p)%p);
35         f[g]=x;
36         ans=0;
37         for(int i=1,last;i<=k;i=last+1){
38             last=k/(k/i);
39             ans=(ans+(long long)(query(last)-query(i-1)+p)%p*phi[k/i]%p)%p;
40         }
41         printf("%d\n",ans);
42     }
43     return 0;
44 }
45 void phi_table(int n){
46     phi[1]=1;
47     for(int i=2;i<=n;i++){
48         if(!notp[i]){
49             prime[++prime[0]]=i;
50             phi[i]=i-1;
51         }
52         for(int j=1;j<=prime[0]&&i*prime[j]<=n;j++){
53             notp[i*prime[j]]=true;
54             if(i%prime[j])phi[i*prime[j]]=phi[i]*(prime[j]-1);
55             else{
56                 phi[i*prime[j]]=phi[i]*prime[j];
57                 break;
58             }
59         }
60     }
61     for(int i=2;i<=n;i++)phi[i]=((long long)i*i%p*phi[i]%p+phi[i-1])%p;
62 }
63 void modify(int x,int d){
64     int k=id[x];
65     while(id[x]==k){
66         sum[x]=(sum[x]+d)%p;
67         x++;
68     }
69     k++;
70     while(k<=cntb){
71         lazy[k]=(lazy[k]+d)%p;
72         k++;
73     }
74 }
75 inline int query(int x){return (sum[x]+lazy[id[x]])%p;}
76 int gcd(int a,int b){return b==0?a:gcd(b,a%b);}
View Code

附:那个结论的证明

\begin{align}&\sum_{i=1}^n\sum_{j=1}^n[(i,j)=1]ij\\=&2\left(\sum_{i=1}^n i\sum_{j=1}^i[(i,j)=1]j\right)-1\\=&2\left(\sum_{i=1}^n i^2\frac{\varphi(i)+e(i)}2\right)-1&(e(i)=[i=1])\\=&\sum_{i=1}^n i^2\varphi(i)\end{align}

至于为什么$\le n$且与$n$互质的数的和为$n\frac{\varphi(n)+e(n)}2$,可以这样理解:如果存在一个$d$满足$(d,n)=1$,根据辗转相减一定有$(n-d,n)=1$,那么我们就可以给这些$d$两两配对,在$n>1$时显然会产生$\varphi(n)$对,每一对的和都是$n$,那么这些数的和自然就是$n\frac{\varphi(n)}2$,再特判一下$n=1$就是$n\frac{\varphi(n)+e(n)}2$了。

bzoj4815 [Cqoi2017]小Q的表格