SP7001 【VLATTICE - Visible Lattice Points】Solution

题目描述

一共T组数据，每组数据一个整数n，表示有一个大小为$n^3$的正方体。求：在(0,0,0)位置能够看到多少个不被遮挡的点(i,j,k)

特别地，i，j，k均为整数。

思路

不妨从二维的情况开始考虑。事实上，这道题目的确有二维形式。

POJ3090 Visible Lattice Points

不妨这样想，点(i,j)为什么会被看到？是因为它和(0,0)的连线上面没有点了。我们知道这条直线的斜率为$$\frac{j-0}{i-0}=\frac{j}{i}$$
这说明j和i的最大公因数为1，i，j互质。

那么这道题就成了对于每一个$s<=n$，求得所有小于等于s的与s互质的数字的个数，而这就是求欧拉函数
$\phi (s)$的值，乘以2，再去除被计算两次的点(1,1).
所以$ans=2\ast {\sum }_{s=1}^n\phi (s)-1$，利用线性筛求得n以内所有欧拉函数的值即可。

升维打击！

多了一维，思路保持不变。对于所有的i，j，k，我们要找出一共有多少种情况，使得$gcd(i,j,k)=1$.我们可以这样表达这个公式:

• $g(n)={\sum }_{i=1}^n{\sum }_{j=1}^n{\sum }_{k=1}^{n}pd(i,j,k)$
• 其中当且仅当$gcd(i,j,k)=1$时$pd(i,j,k)=1$,否则为0.

显然，我们可以利用三重循环暴力枚举ijk，再用$lo{g}_{2}n$的时间完成gcd，但是在$n=1000000$多组数据的情况下分分钟就T飞了！于是我们来考虑一下新的算法：

变换大法+数学乱搞

如果现在有一个函数$f(x)$,满足如下条件：

• $f(n)={\sum }_{i=1}^N{\sum }_{j=1}^N{\sum }_{k=1}^{N}pd(i,j,k)$
• 其中当且仅当$gcd(i,j,k)=n$时$pd(i,j,k)=1$,否则为0.

很容易看出这个函数表示在0-N范围内有多少对公因数为n的三数对。
很显然$f(1)$就是我们要求的数值。
但是这个函数看起来不好求啊？？

请看：

---

莫比乌斯反演变换

定义：如果有$F(n)={\sum }_{d|n}f(d)(d|n$表示d整除n$)$

那么必然能够得到$f(n)={\sum }_{d|n}\mu (\frac{n}{d})F(d)$

这被称作莫比乌斯反演公式，其中$\mu ()$函数代表莫比乌斯函数。关于这个函数，我们需要知道的是：
如果给出一个合数p的标准分解式：$p=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}...p_m^{{\alpha }_m}$
那么就有

$\mu (p)=\{\begin{array}{llc}1& & p=1\\ (-1{)}^m& & each\alpha =1\\ 0& & otherwise\end{array}$

这是莫比乌斯函数的定义公式

---

定义函数，进行反演

经验告诉我们，$f(n)$的选取常常与等于有关，而$F(n)$的选取通常与整除有关。
这里，我们定义：

• $f(n)={\sum }_{i=1}^N{\sum }_{j=1}^N{\sum }_{k=1}^{N}pd(i,j,k)$
• 其中当且仅当$gcd(i,j,k)=n$时$pd(i,j,k)=1$,否则为0.

那么相应地，我们这样定义大F(n)

• $F(n)={\sum }_{i=1}^N{\sum }_{j=1}^N{\sum }_{k=1}^{N}pd(i,j,k)$
• 其中当且仅当${n}\equiv 0\mod{gcd(i,j,k)} $时$pd(i,j,k)=1$,否则为0.那么我们知道$gcd(i,j,k)$必须是n的因数。

好了，很容易推导出：$F(n)={\sum }_{d|n}f(d)$

莫比乌斯反演变换后得到$f(n)={\sum }_{d|n}\mu (\frac{n}{d})F(d).$

接下来我们对这个式子做一点处理。因为要求得$f(1)$的值，我们令$n=1$，得到$f(1)={\sum }_{d=1}^N\mu (d)F(d)={\sum }_d\mu (d){\sum }_{i=1}^N{\sum }_{j=1}^N{\sum }_{k=1}^{N}pd(i,j,k).$

对右边部分处理。不妨设$i=ad,j=bd,k=cd$,那么d一定是从1到N的。对于每一个d，abc都只能是1-[N/d]中的某一个，因此可得$F(d)={[\frac{N}{d}]}^3$.如果是二维，同理可得$F(d)={[\frac{N}{d}]}^2$

考虑到N的因数只有$\sqrt{N}$个，我们可以在线性筛莫比乌斯函数的时候预处理莫比乌斯函数的前缀和。利用整除分块，对$[\frac{N}{d}]$相同的d进行组合处理.至此，本题得解。最终的答案应该是立体处理+三个平面的处理（分别是$x=0,y=0,z=0$）+ $(0,1,1),(1,1,0),(1,0,1)$三个点.

$ans={\sum }_{d=1}^N\mu (d)({[\frac{N}{d}]}^2([\frac{N}{d}]+1))+3$

总的时间复杂度为$O(T\sqrt{N})$,不用整除分块是$O(TN)$,本来是过不掉的，但是数据似乎太水了

#include<bits/stdc++.h>
using namespace std;
inline int re()
{
    int n=0,k=1;
    char c=getchar();
    while(c>'9'||c<'0'){if(c=='-') k=-1; c=getchar();	}
    while(c<='9'&&c>='0'){n=(n<<1)+(n<<3)+(c^48); c=getchar();	}
    return n*k;
}
bool pd[10010010];
int prime[10010010];
int miu[10010010];
int he[10010010];
inline int shai(int n)
{
    int tot=0;
    memset(pd,true,sizeof(pd));
    miu[1]=1;
    he[1]=1;
    for(int i=2;i<=n;i++)
    {
        if(pd[i])
        {
            prime[++tot]=i;
            miu[i]=-1;
        }
        for(int j=1;j<=tot&&i*prime[j]<=n;j++)
        {
            pd[i*prime[j]]=false;
            if(i%prime[j]==0){miu[i*prime[j]]=0;break;}
            else miu[i*prime[j]]=-miu[i];
        }
        he[i]=he[i-1]+miu[i];
    }
    return tot;
}
int n,T;
int main()
{
    T=re();
    shai(1001000);
    long long ans=0;
    while(T--)
    {
        n=re();
        ans=3ll;
        long long l=1,r;
        while(l<=n)
        {
            long long k=n/l;
            r=n/k;
            ans+=(he[r]-he[l-1])*k*k*(k+3);
            l=r+1;
        }		
        printf("%lld\n",ans);
    }
    return 0;
}