用于检测#
我可以用于写点步骤
i=1∑ngcd(i,n)=i=1∑nd∣gcd(i,n)∑φ(d)=i=1∑nd∑[d∣i][d∣n]φ(d)=d=1∑n[d∣n]φ(d)i=1∑n[d∣i]=d=1∑n[d∣n]φ(d)⌊dn⌋=d∣n∑φ(d)dni=1∑nlcm(i,n)=i=1∑ngcd(i,n)in=i=1∑nd∑[gcd(i,n)=d]din=i=1∑nd∑[gcd(di,dn)=1]d⋅didn=d=1∑ni=1∑n[gcd(di,dn)=1]d⋅didn=d=1∑nni=1∑⌊dn⌋[gcd(i,dn)=1]i=d=1∑nni=1∑⌊dn⌋j∣gcd(i,dn)∑μ(j)i=d=1∑nni=1∑⌊dn⌋j∑[j∣i][j∣dn]μ(j)i=d∣n∑ni=1∑dj∑[j∣i][j∣d]μ(j)i=nj=1∑nμ(j)d∣n∑[j∣d]i=1∑d[j∣i]i=nj=1∑nμ(j)d∣n∑[j∣d]k=1∑⌊jd⌋kj=nj=1∑njμ(j)d∣n∑[j∣d]k=1∑⌊jd⌋k=nj=1∑nd∣n∑μ(j)[j∣d]2d(jd+1)=nd∣n∑j∣d∑μ(j)2d(jd+1)=2nd∣n∑dj∣d∑μ(j)(jd+1)=2nd∣n∑d(j∣d∑μ(j)jd+[d=1])i=1∑nlcm(i,n)=i=1∑ngcd(i,n)in=i=1∑nd∑[gcd(i,n)=d]din=i=1∑nd∑[gcd(di,dn)=1]d⋅didn=d=1∑ni=1∑n[gcd(di,dn)=1]d⋅didn=d=1∑nni=1∑⌊dn⌋[gcd(i,dn)=1]i=nd∣n∑i=1∑d[gcd(i,d)=1]i=nd∣n∑(2φ(d)d+[d=1])i=1∑nlcm(i,n)=i=1∑ngcd(i,n)in=i=1∑nd∑[gcd(i,n)=d]din=i=1∑nd∑[gcd(di,dn)=1]d⋅didn=d=1∑ni=1∑n[gcd(di,dn)=1]d⋅didn=d=1∑nni=1∑⌊dn⌋[gcd(i,dn)=1]i=d=1∑nni=1∑⌊dn⌋j∣gcd(i,dn)∑μ(j)i=nd∣n∑j∣dn∑μ(j)i=1∑⌊djn⌋iji=1∑nf(i)=i=1∑nii∣k∑=i=1∑ni⌊in⌋i=1∑nf(i)=i=1∑ni∣d∑1=i=1∑n⌊in⌋i=1∑nj=1∑n[gcd(i,j)=1]=2i=1∑nj=1∑i[gcd(i,j)=1]−1=2i=1∑nφ(i)−1i=1∑nj=1∑m(2gcd(i,j)−1)=2i=1∑nj=1∑mgcd(i,j)−mn=2d=1∑min(n,m)i=1∑⌊dn⌋j=1∑⌊dm⌋d[gcd(i,j)=1]−mn=2d=1∑min(n,m)di=1∑⌊dn⌋(j=1∑⌊dn⌋[gcd(i,j)=1]+j=⌊dn⌋+1∑⌊dm⌋[gcd(i,j)=1])−mn=2d=1∑ndi=1∑⌊dn⌋j=⌊dn⌋+1∑⌊dm⌋[gcd(i,j)=1]+2d=1∑nd(2k=1∑⌊dn⌋φ(k)−1)−mni=1∑nj=1∑m(2gcd(i,j)−1)=2i=1∑nj=1∑mgcd(i,j)−mn=2d=1∑min(n,m)i=1∑⌊dn⌋j=1∑⌊dm⌋d[gcd(i,j)=1]−mn=2d=1∑ndi=1∑⌊dn⌋j=1∑⌊dm⌋k∣gcd(i,j)∑μ(k)−mn=2d=1∑ndk=1∑⌊dn⌋μ(k)i=1∑⌊dn⌋[k∣i]j=1∑⌊dm⌋[k∣j]−mn=2d=1∑ndk=1∑⌊dn⌋μ(k)⌊k⌊dn⌋⌋⌊k⌊dm⌋⌋−mni=1∑nj=1∑m[gcd(i,j)=k]=i=1∑⌊kn⌋j=1∑⌊km⌋[gcd(i,j)=1]=i=1∑⌊kn⌋j=1∑⌊km⌋d∣gcd(i,j)∑μ(d)=d=1∑⌊kn⌋μ(d)i=1∑⌊kn⌋[d∣i]j=1∑⌊km⌋[d∣j]=d=1∑⌊kn⌋μ(d)⌊d⌊kn⌋⌋⌊d⌊km⌋⌋i=1∑nj=1∑nd(i)d(j)d(gcd(i,j))=k=1∑ni=1∑⌊kn⌋j=1∑⌊km⌋d(ik)d(jk)d(k)[gcd(i,j)=1]=k=1∑ni=1∑⌊kn⌋j=1∑⌊km⌋d(ik)d(jk)d(k)t∣gcd(i,j)∑μ(t)=k=1∑nd(k)i=1∑⌊kn⌋d(ik)j=1∑⌊km⌋d(jk)t=1∑⌊kn⌋[t∣i][t∣j]μ(t)=k=1∑nd(k)t=1∑⌊kn⌋i=1∑⌊kn⌋[t∣i]d(ik)j=1∑⌊km⌋d(jk)[t∣j]μ(t)=k=1∑nd(k)t=1∑⌊kn⌋μ(t)i=1∑⌊t⌊kn⌋⌋d(itk)j=1∑⌊t⌊km⌋⌋d(jtk)上面的式子做不了,内存会爆,继续化简
令x=kt
=k=1∑nd(k)x=1,k∣x∑nμ(kx)i=1∑⌊xn⌋d(ix)j=1∑⌊xn⌋d(jx)=x=1∑nk∣x∑d(k)μ(kx)i=1∑⌊xn⌋d(ix)j=1∑⌊xn⌋d(jx)=x=1∑ni=1∑⌊xn⌋d(ix)j=1∑⌊xn⌋d(jx)p=mq+n
k=1∑2p−1⌊pkq⌋+k=1∑2q−1⌊qkp⌋=k=1∑2p−1⌊pkq⌋+k=1∑2q−1⌊qkp⌋i≤pkq<i+1
ip≤kq<ip+p
qip≤k<qip+p
i=1∑nj=1∑m(nmodi)×(mmodj)=i=1∑nj=1∑m(n−i⌊in⌋)(m−j⌊jm⌋)=i=1∑nj=1∑m(nm−nj⌊jm⌋−mi⌊in⌋+ij⌊in⌋⌊jm⌋)=i=1∑nj=1∑mmn−i=1∑nnj=1∑mj⌊jm⌋−i=1∑nj=1∑mmi⌊in⌋+i=1∑nj=1∑mij⌊in⌋⌊jm⌋=m2n2−n2j=1∑mj⌊jm⌋−m2i=1∑ni⌊in⌋+i=1∑ni⌊in⌋j=1∑mj⌊jm⌋i=1∑n(nmodi)(mmodi)=i=1∑n(n−i⌊in⌋)(m−i⌊im⌋)=i=1∑n(nm−i(m⌊in⌋+n⌊im⌋)+i2⌊in⌋⌊im⌋)k∈P∑i=1∑nj=1∑m[gcd(i,j)=k]=k∈P∑d=1∑⌊kn⌋μ(d)⌊d⌊kn⌋⌋⌊d⌊km⌋⌋=k∈P∑T=1,k∣T∑nμ(kT)⌊Tn⌋⌊Tm⌋=T=1∑n⌊Tn⌋⌊Tm⌋k∈P,k∣T∑μ(kT)i=1∑nj=1∑md(ij)=i=1∑nj=1∑md(i′j′gcd(i,j)2)=i=1∑nj=1∑md(i′)d(j′)d(gcd(i,j)2)=k=1∑ni=1∑⌊kn⌋j=1∑⌊km⌋d(i)d(j)d(k2)[gcd(i,j)=1]=k=1∑nd(k2)i=1∑⌊kn⌋j=1∑⌊km⌋d(i)d(j)t∣gcd(i,j)∑μ(t)=k=1∑nd(k2)t=1∑⌊kn⌋μ(t)i=1∑⌊ktn⌋d(it)j=1∑⌊ktm⌋d(jt)=k=1∑nd(k2)f(⌊kn⌋,⌊km⌋)令x=kt
=k=1∑nd(k)x=1,k∣x∑nμ(kx)i=1∑⌊xn⌋d(ix)j=1∑⌊xn⌋d(jx)=x=1∑nk∣x∑d(k)μ(kx)i=1∑⌊xn⌋d(ix)j=1∑⌊xn⌋d(jx)=x=1∑ni=1∑⌊xn⌋d(ix)j=1∑⌊xn⌋d(jx)p=mq+n
k=1∑2p−1⌊pkq⌋+k=1∑2q−1⌊qkp⌋=k=1∑2p−1⌊pkq⌋+k=1∑2q−1⌊qkp⌋i≤pkq<i+1
ip≤kq<ip+p
qip≤k<qip+p
i=1∑nj=1∑m(nmodi)×(mmodj)=i=1∑nj=1∑m(n−i⌊in⌋)(m−j⌊jm⌋)=i=1∑nj=1∑m(nm−nj⌊jm⌋−mi⌊in⌋+ij⌊in⌋⌊jm⌋)=i=1∑nj=1∑mmn−i=1∑nnj=1∑mj⌊jm⌋−i=1∑nj=1∑mmi⌊in⌋+i=1∑nj=1∑mij⌊in⌋⌊jm⌋=m2n2−n2j=1∑mj⌊jm⌋−m2i=1∑ni⌊in⌋+i=1∑ni⌊in⌋j=1∑mj⌊jm⌋i=1∑n(nmodi)(mmodi)=i=1∑n(n−i⌊in⌋)(m−i⌊im⌋)=i=1∑n(nm−i(m⌊in⌋+n⌊im⌋)+i2⌊in⌋⌊im⌋)k∈P∑i=1∑nj=1∑m[gcd(i,j)=k]=k∈P∑d=1∑⌊kn⌋μ(d)⌊d⌊kn⌋⌋⌊d⌊km⌋⌋=k∈P∑T=1,k∣T∑nμ(kT)⌊Tn⌋⌊Tm⌋=T=1∑n⌊Tn⌋⌊Tm⌋k∈P,k∣T∑μ(kT)i=1∑nj=1∑md(ij)=i=1∑nj=1∑mx∣i∑y∣j∑[gcd(x,y)=1]=x=1∑ny=1∑m⌊xn⌋⌊ym⌋[gcd(x,y)=1]=x=1∑ny=1∑m⌊xn⌋⌊ym⌋d∣gcd(x,y)∑μ(d)=d=1∑nμ(d)x=1∑n[d∣x]⌊xn⌋y=1∑m[d∣y]⌊ym⌋=d=1∑nμ(d)x=1∑⌊dn⌋⌊xdn⌋y=1∑⌊dm⌋⌊ydm⌋i=1∑nj=1∑nlcm(Ai,Aj)=2i=1∑nj=1∑i−1lcm(Ai,Aj)−i=1∑nAi=2i=1∑nj=1∑i−1gcd(Ai,Aj)AiAj−i=1∑nAi=2i=1∑nAij=1∑i−1gcd(Ai,Aj)Aj−i=1∑nAi好神秘的做法,加一个出现次数就好做了
i=1∑Nj=1∑Nlcm(Ai,Aj)=i=1∑nj=1∑nlcm(i,j)sisj=i=1∑nj=1∑ngcd(i,j)ijsisj=d=1∑ni=1∑nj=1∑ndijsisj[gcd(i,j)=d]=d=1∑ndi=1∑⌊dn⌋isidj=1∑⌊dn⌋jsjdk∣gcd(i,j)∑μ(k)=d=1∑ndk=1∑⌊dn⌋μ(k)k2(i=1∑⌊dkn⌋isidk)2=d=1∑ndd∣Q∑μ(dQ)(dQ)2(i=1∑⌊Qn⌋isiQ)2=Q=1∑nQd∣Q∑dμ(d)(i=1∑⌊Qn⌋isiQ)2i=1∏nj=1∏ngcd(i,j)lcm(i,j)=i=1∏nj=1∏ngcd(i,j)2ij=(n!)2ni=1∏nj=1∏ngcd(i,j)21=(n!)2n−2i=1∏nj=1∏i−1gcd(i,j)41=(n!)2n−2(i=1∏nj=1∏i−1gcd(i,j)1)4i=1∏nj=1∏i−1gcd(i,j)1=d=1∏ndf(d)1f(d)=i=1∑nj=1∑n[gcd(i,j)=d]=i=1∑⌊dn⌋j=1∑⌊dn⌋[gcd(i,j)=1]=2i=1∑⌊dn⌋j=1∑i−1[gcd(i,j)=1]−1=2i=1∑⌊dn⌋φ(i)−1杜教筛
id=1∗φi=1∑n(1∗φ)(i)=i=1∑nd∣i∑1(dn)φ(d)=d=1∑nφ(d)i=1∑⌊dn⌋=d=1∑ni=1∑⌊dn⌋φ(i)d=1∑ni=1∑⌊dn⌋φ(i)=i=1∑n(1∗φ)(i)=i=1∑ni=2n(n+1)S(n)=2n(n+1)−d=2∑nS(⌊dn⌋)ε=1∗μi=1∑n(1∗μ)(i)=i=1∑nd∣i∑μ(d)=d=1∑ni=1∑⌊dn⌋μ(i)S(n)=1−d=2∑nS(⌊dn⌋)i=1∑nj=1∑nijgcd(i,j)=d=1∑ni=1∑⌊dn⌋j=1∑⌊dn⌋ijd3[gcd(i,j)=1]=d=1∑nd3i=1∑⌊dn⌋j=1∑⌊dn⌋ijk∣gcd(i,j)∑μ(k)=d=1∑nd3k=1∑⌊dn⌋μ(k)i=1∑⌊dkn⌋ikj=1∑⌊dkn⌋jk=d=1∑nd3k=1∑⌊dn⌋k2μ(k)(i=1∑⌊dkn⌋i)2=d=1∑nd3k=1∑⌊dn⌋k2μ(k)s(⌊dkn⌋)=Q=1∑nd∣Q∑d3(dQ)2μ(dQ)s(⌊Qn⌋)=Q=1∑nQ2s(⌊Qn⌋)d∣Q∑dμ(dQ)=Q=1∑nQ2s(⌊Qn⌋)φ(Q)=Q=1∑ns(⌊Qn⌋)f(Q)S(n)=i=1∑nf(i)=i=1∑ni2φ(i)i=1∑n(g∗f)(i)=i=1∑nd∣i∑d2φ(d)g(di)=i=1∑nd∣i∑i2φ(d)=i=1∑ni2d∣i∑φ(d)=i=1∑ni3i=1∑n(g∗f)(i)=i=1∑nd∣i∑f(d)g(di)=d=1∑ng(d)i=1∑⌊dn⌋f(i)=d=1∑ng(d)S(⌊dn⌋)g(1)S(n)=i=1∑ni3−d=2∑ng(d)S(⌊dn⌋)ba<qp<dcbaq<p<dcq⌊baq⌋+1≤p≤⌈dcq⌉⌊baq⌋≤p−1≤⌊dcq−1⌋ax+by≤cax≤c−byx≤⌊a−by+c⌋i=0∑⌊bc⌋⌊a−bi+c⌋=i=0∑n⌊a−(a⌊ab⌋+bmoda)i+c⌋i=0∑⌊bc⌋⌊a−bi+c⌋=i=0∑nj=0∑n[j≤⌊a−bi+c⌋]=i=0∑nj=0∑n[j≤⌈a−bi+c+1⌉−1]=i=0∑nj=0∑n[j+1≤a−bi+c+1]=i=0∑nj=0∑n[aj+a≤−bi+c+1]=i=0∑nj=0∑n[bi≤c−aj−a+1]=i=0∑nj=0∑n[i≤⌊b−aj+c−a+1⌋]=n+f′(−a,c−a+1,b,m)i=1∑nj=1∑mk=1∑pgcd(ij,ik,jk)gcd(i,j,k)(gcd(i,k)gcd(j,k)gcd(i,j)+gcd(i,j)gcd(j,k)gcd(i,k)+gcd(i,j)gcd(i,k)gcd(j,k))=d=1∑ni=1∑⌊dn⌋j=1∑⌊dm⌋k=1∑⌊dp⌋gcd(idjd,idkd,jdkd)gcd(id,jd,kd)(gcd(id,kd)gcd(jd,kd)gcd(id,jd)+gcd(id,jd)gcd(jd,kd)gcd(id,kd)+gcd(id,jd)gcd(id,kd)gcd(jd,kd))[gcd(i,j,k)=1]=d=1∑nd2i=1∑⌊dn⌋j=1∑⌊dm⌋k=1∑⌊dp⌋gcd(ij,ik,jk)(gcd(i,k)gcd(j,k)gcd(i,j)+gcd(i,j)gcd(j,k)gcd(i,k)+gcd(i,j)gcd(i,k)gcd(j,k))[gcd(i,j,k)=1]=d=1∑nd2t=1∑⌊dn⌋i=1∑⌊dtn⌋j=1∑⌊dtm⌋[gcd(i,j)=1]k=1∑⌊dp⌋[gcd(k,t)=1]gcd(i,k)gcd(j,k)t(gcd(i,k)gcd(j,k)t+tgcd(j,k)gcd(i,k)+igcd(i,k)gcd(j,k))=d=1∑nd2t=1∑⌊dn⌋i=1∑⌊dtn⌋j=1∑⌊dtm⌋x∑[x∣i][x∣j]μ(x)k=1∑⌊dp⌋y∑[y∣k][y∣t]μ(y)(gcd(i,k)2+gcd(j,k)2+t2)=d=1∑nd2y=1∑⌊dn⌋μ(y)t=1∑⌊dyn⌋x=1∑⌊dtyn⌋μ(x)i=1∑⌊dtxyn⌋j=1∑⌊dtxym⌋k=1∑⌊dyp⌋(gcd(ix,k)2+gcd(jx,k)2+t2)min{i+j,i+k,i+j}+min{i,j,k}=min{i,j}+min{i,k}+min{j,k}i+j+i=i+i+ji=1∑nj=1∑mk=1∑pgcd(ij,ik,jk)gcd(i,j,k)(gcd(i,k)gcd(j,k)gcd(i,j)+gcd(i,j)gcd(j,k)gcd(i,k)+gcd(i,j)gcd(i,k)gcd(j,k))=i=1∑nj=1∑mk=1∑pgcd(i,j)gcd(j,k)gcd(i,k)(gcd(i,k)gcd(j,k)gcd(i,j)+gcd(i,j)gcd(j,k)gcd(i,k)+gcd(i,j)gcd(i,k)gcd(j,k))=i=1∑nj=1∑mk=1∑p(gcd(i,j)2+gcd(j,k)2+gcd(i,k)2)f(n,m,p)=i=1∑nj=1∑mk=1∑pgcd(i,j)2=pd=1∑nd2i=1∑⌊dn⌋j=1∑⌊dm⌋[gcd(i,j)=1]=pd=1∑nd2k=1∑⌊dn⌋μ(k)i=1∑⌊dkn⌋j=1∑⌊dkm⌋=pQ=1∑nd∣Q∑d2μ(dQ)⌊Qn⌋⌊Qm⌋=pQ=1∑n⌊Qn⌋⌊Qm⌋d∣Q∑d2μ(dQ)i=1∏Aj=1∏Bk=1∏C(gcd(i,k)lcm(i,j))i=1∏Aj=1∏Bk=1∏Clcm(i,j)=(i=1∏Aj=1∏Blcm(i,j))Ci=1∏Aj=1∏Blcm(i,j)=i=1∏Aj=1∏Bgcd(i,j)ij=(i=1∏Aj=1∏Bij)(i=1∏Aj=1∏Bgcd(i,j)1)=(B!)A(A!)B(i=1∏Aj=1∏Bgcd(i,j)1)=(B!)A(A!)B(d=1∏Adf(d)1)f(d)=i=1∑Aj=1∑B[gcd(i,j)=d]=i=1∑⌊dA⌋j=1∑⌊dB⌋[gcd(i,j)=1]=i=1∑⌊dA⌋j=1∑⌊dB⌋[gcd(i,j)=1]=k=1∑⌊dA⌋μ(k)⌊dkA⌋⌊dkB⌋i=1∏Aj=1∏Bk=1∏Cgcd(i,k)=(i=1∏Ak=1∏Cgcd(i,k))Bi=1∏Ak=1∏Cgcd(i,k)=i=1∏Adf(d)i=1∏Aj=1∏Bk=1∏C(gcd(i,k)lcm(i,j))ijki=1∏Aj=1∏Bk=1∏Clcm(i,j)ijk=(i=1∏Aj=1∏Blcm(i,j)ij)2C(C+1)h(n)=i=1∏niii=1∏Aj=1∏Blcm(i,j)ij=i=1∏Aj=1∏B(gcd(i,j)ij)ij=i=1∏Aj=1∏B(ij)iji=1∏Aj=1∏B(gcd(i,j)1)ij=i=1∏Aii2B(B+1)j=1∏Bjiji=1∏Aj=1∏B(gcd(i,j)1)ij=h(A)2B(B+1)h(B)2A(A+1)i=1∏Aj=1∏B(gcd(i,j)1)ijg(d)=i=1∑nj=1∑mij[gcd(i,j)=d]=i=1∑⌊dn⌋j=1∑⌊dm⌋idjd[gcd(i,j)=1]=d2k=1∑⌊dn⌋μ(k)k2i=1∑⌊dkn⌋ij=1∑⌊dkm⌋ji=1∏Aj=1∏Bk=1∏C(gcd(i,k)lcm(i,j))gcd(i,j,k)i=1∏Aj=1∏Bk=1∏C(gcd(i,j)ij)gcd(i,j,k)=i=1∏Aj=1∏Bk=1∏C(ij)gcd(i,j,k)i=1∏Aj=1∏Bk=1∏C(gcd(i,j)1)gcd(i,j,k)i=1∏Aj=1∏Bk=1∏Cigcd(i,j,k)=i=1∏Aj=1∏Bk=1∏Cigcd(i,j,k)F(i)=j=1∑Bk=1∑Cgcd(i,j,k)=d∣i∑dj=1∑⌊dB⌋k=1∑⌊dC⌋[gcd(i/d,j,k)=1]=d∣i∑dt=1∑⌊dB⌋j=1∑⌊dtB⌋k=1∑⌊dtC⌋[gcd(i/d,t)=1][gcd(j,k)=1]G(d)=i=1∑⌊dn⌋j=1∑⌊dm⌋[gcd(i,j)=1]k=1∑pgcd(d,k)i=1∏Aj=1∏Bk=1∏C(gcd(i,k)lcm(i,j))f(type)=i=1∏Aj=1∏Bk=1∏C(gcd(i,j)gcd(i,k)ij)f(type)F(A,type)=i=1∏Aj=1∏Bk=1∏Cif(type)G(A,B,type)=i=1∏Aj=1∏Bk=1∏Cgcd(i,j)f(type)F(A,0)=i=1∏Aj=1∏Bk=1∏Ci=i=1∏AiBC=(A!)BCG(A,B,0)=i=1∏Aj=1∏Bk=1∏Cgcd(i,j)=d=1∏Ad∑i=1A∑j=1B∑k=1C[gcd(i,j)=d]=d=1∏AdC∑i=1A∑j=1B[gcd(i,j)=d]=d=1∏AdC∑i=1A/d∑j=1B/d[gcd(i,j)=1]=d=1∏AdC∑t=1A/dμ(t)∑i=1tdA∑j=1tdB=(d=1∏Ad∑t=1A/dμ(t)⌊tdA⌋⌊tdB⌋)C=(T=1∏Ad∣T∏dμ(dT)⌊TA⌋⌊TB⌋)C=(T=1∏A(d∣T∏dμ(dT))⌊TA⌋⌊TB⌋)CF(A,1)=i=1∏Aj=1∏Bk=1∏Ciijk=i=1∏Aj=1∏Biij2C(C+1)=i=1∏Aii2B(B+1)2C(C+1)=(i=1∏Aii)2B(B+1)2C(C+1)=(i=1∏Aii)S1(B)S2(C)G(A,B,1)=i=1∏Aj=1∏Bk=1∏Cgcd(i,j)ijk=(i=1∏Aj=1∏Bgcd(i,j)ij)S1(C)=(d=1∏Ad∑i=1A∑j=1Bij[gcd(i,j)=d])S1(C)=(d=1∏Add2∑i=1A/t∑j=1B/tij[gcd(i,j)=1])S1(C)=(d=1∏Add2∑t=1A/dμ(t)∑i=1A/dt∑j=1B/dtitjt)S1(C)=(d=1∏Add2∑t=1A/dμ(t)t2S1(⌊dtA⌋)S1(⌊dtB⌋))S1(C)=(T=1∏Ad∣T∏dμ(dT)T2S1(⌊TA⌋)S1(⌊TB⌋))S1(C)=(T=1∏A(d∣T∏dμ(dT)T2)S1(⌊TA⌋)S1(⌊TB⌋)S1(C)F(A,2)=i=1∏Aj=1∏Bk=1∏Cigcd(i,j,k)=d=1∏Ai=1∏A/d(id)d∑j=1B/d∑k=1C/d[gcd(j,k)=1]=d=1∏At=1∏A/di=1∏A/td(itd)dμ(t)∑j=1B/dt∑k=1C/dt=d=1∏At=1∏A/di=1∏A/td(itd)dμ(t)⌊dtB⌋⌊dtC⌋=T=1∏A(d∣T∏(⌊TA⌋!T⌊TA⌋)dμ(dT))⌊TB⌋⌊TC⌋=T=1∏A((⌊TA⌋!T⌊TA⌋)φ(T))⌊TB⌋⌊TC⌋=T=1∏A(Tφ(T))⌊TA⌋⌊TB⌋⌊TC⌋T=1∏A((⌊TA⌋!)φ(T))⌊TB⌋⌊TC⌋G(A,B,2)=i=1∏Aj=1∏Bk=1∏Cgcd(i,j)gcd(i,j,k)=d=1∏Ai=1∏A/dj=1∏B/d(dgcd(i,j))d∑k=1C/d[gcd(i,j,k)=1]=d=1∏Ai=1∏A/dj=1∏B/d(dgcd(i,j))d∑k=1C/d∑t∣gcd(i,j,k)μ(t)=t=1∏Ad=1∏A/ti=1∏A/dtj=1∏B/dt(dtgcd(i,j))μ(t)d∑k=1C/dt=t=1∏Ad=1∏A/ti=1∏A/dtj=1∏B/dt(dtgcd(i,j))μ(t)d⌊dtC⌋=t=1∏Ad=1∏A/ti=1∏A/dtj=1∏B/dt(dt)μ(t)d⌊dtC⌋t=1∏Ad=1∏A/ti=1∏A/dtj=1∏B/dt(gcd(i,j))μ(t)d⌊dtC⌋=T=1∏Ad∣T∏(T)μ(t)d⌊TA⌋⌊TB⌋⌊TC⌋g=1∏At=1∏A/gd=1∏A/tgi=1∏A/dtgj=1∏B/dtg(g)[gcd(i,j)=1]μ(t)d⌊dtC⌋=T=1∏A(T)φ(T)⌊TA⌋⌊TB⌋⌊TC⌋h=1∏Ag=1∏At=1∏A/gd=1∏A/tg(g)μ(h)μ(t)d⌊dtC⌋⌊dtghA⌋⌊dtghB⌋把后面那一坨拿出来
h=1∏Ag=1∏A/ht=1∏A/ghd=1∏A/tgh(g)μ(h)μ(t)d⌊dtC⌋⌊dtghA⌋⌊dtghB⌋=Q=1∏Ag∣Q∏t=1∏A/Qd=1∏A/tQ(g)μ(gQ)μ(t)d⌊dtC⌋⌊dtQA⌋⌊dtQB⌋=Q=1∏Ag∣Q∏T=1∏A/Qd∣T∏(g)μ(gQ)μ(t)d⌊TC⌋⌊TQA⌋⌊TQB⌋=Q=1∏Ag∣Q∏(T=1∏A/Qd∣T∏(g)μ(dT)d⌊TC⌋⌊TQA⌋⌊TQB⌋)μ(gQ)=Q=1∏Ag∣Q∏((g)∑T=1A/Q∑d∣Tμ(dT)d⌊TC⌋⌊TQA⌋⌊TQB⌋)μ(gQ)=T=1∏C(Q=1∏A/Tg∣Q∏gμ(gQ)⌊TQA⌋⌊TQB⌋)φ(T)⌊TC⌋=T=1∏C(Q=1∏A/T(g∣Q∏gμ(gQ))⌊QA/T⌋⌊QB/T⌋)φ(T)⌊TC⌋⌊dr⌋=⌊dqp⌋(−1)k=1−2(kmod2)=1−2(k−2⌊2k⌋)=1−2k+4⌊2k⌋f(a,b,c,n)=i=1∑n⌊car+bi⌋t=car+b
f(a,b,c,n)=i=1∑n⌊ti⌋=i=1∑n⌊ti−⌊t⌋i+⌊t⌋i⌋=i=1∑n⌊t⌋i+i=1∑n⌊(t−⌊t⌋)i⌋=⌊t⌋2n(n+1)+i=1∑n⌊(car+b−⌊t⌋)i⌋=⌊t⌋2n(n+1)+f(a,b−c⌊t⌋,c,n)小于1
f(a,b,c,n)=i=1∑n⌊ti⌋=i=1∑nj=1∑⌊tn⌋[j<⌊ti⌋]=i=1∑nj=1∑⌊tn⌋[j<ti]=i=1∑nj=1∑⌊tn⌋[i>tj]=i=1∑nj=1∑⌊tn⌋[i>⌊tj⌋]=j=1∑⌊tn⌋(n−⌊tj⌋)=n⌊tn⌋−i=1∑⌊tn⌋⌊ti⌋=n⌊tn⌋−i=1∑⌊tn⌋⌊ar+bci⌋=n⌊tn⌋−i=1∑⌊tn⌋⌊a2r−b2acr−bci⌋=n⌊tn⌋−f(ac,−bc,a2r−b2,⌊tn⌋)n=i=1∏spiein=p=1×p−−−>0令f(n)表示n被拆成互不相同的数之和的方案数
f(1)=0,f(2)=0,f(3)=1,f(4)=1,f(5)=2,f(6)=3,f(7)=4
7=1+6=2+5=3+4=1+2+4
Ci+xPi=Cj+xPj+yM(Pi−Pj)x−My=Cj−Ci检查是否有非负整数解
ax+by=c,x=x0+b,y=y0−aax\equiv c(\bmod b)
$$ 这里有问题 n=2^{e_{2}}5^{e_{5}}t,f(n,N)=\lfloor\frac{N}{t}\rfloor
\begin{align}
\sum_{i=1}^{n}f(n)
&=\sum_{e_{2}=0}\sum_{e_{5}=0}\sum_{i=1}^{\lfloor\frac{n}{2^{e_{2}}\times5^{e_{5}}}\rfloor}[\gcd(i,10)=1]\lfloor\frac{n}{i}\rfloor\
&=\sum_{e_{2}=0}\sum_{e_{5}=0}(F(m)-F(m/2)-F(m/5)+F(m/10))\
\end{align}
F(n)=\sum_{i=1}^{n}\lfloor\frac{n}{i}\rfloor
换一种更直接的枚举方式\begin{align}
\sum_{i=1}^{n}f(n)
&=\sum_{t=1}^{n}\lfloor\frac{n}{t}\rfloor\times G(\lfloor\frac{n}{t}\rfloor)
\end{align}
连续一段求和时,注意$t$既不是2的倍数,也不是5的倍数
\binom{n}{k}\bmod 2=\nu_{2}(n!)-\nu_{2}(k!)-\nu_{2}((n-k)!)=0?1:0
\begin{align}
\prod_{i=l}^{r}lcm(a_{i},x)
&=(\prod_{i=l}^{r}a_{i}x)\times(\prod_{i=l}^{r}\gcd(a_{i},x))^{-1}
\end{align}
x=\prod_{i=1}^{s}p_{i}^{e_{i}}
i->2i(\bmod n+1)
i\times 2^{M}\equiv L(\bmod n+1)
i\equiv L\times (2^{-1})^{M}\equiv L\times(\frac{n+2}{2})^{M}(\bmod n+1)
g^{\sum_{i\mid s}\binom{s}{i}}