沈阳网络赛 G Spare Tire (DFS容斥+推公式)

题目链接：https://nanti.jisuanke.com/t/31448

#include<bits/stdc++.h>
#pragma comment(linker,"/STACK:1024000000,1024000000")
using namespace std;

#define debug puts("YES");
#define rep(x,y,z) for(int (x)=(y);(x)<(z);(x)++)
#define read(x,y) scanf("%d%d",&x,&y)

#define lrt int l,int r,int rt
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
#define ll long long
const int  maxn =1e5+5;
const int mod=1e9+7;
ll powmod(ll x,ll y) {ll t;for(t=1;y;y>>=1,x=x*x%mod) if(y&1) t=t*x%mod;return t;}
ll gcd(ll x,ll y)  {  return y==0?x:gcd(y,x%y); }
const int inv2=powmod(2,mod-2);
const int inv6=powmod(6,mod-2);
/*
题目大意：求出小于等于n的与m互质的所有数，
对这些数进行前缀和处理。

典型的容斥，可以根据容斥思想（先不强行推公式）
枚举m的因子，然后对m 的所有质因子容斥，
DFS容斥即可，因为整体除以因子答案可转换成求前缀和的形式。

强行扯一波公式也可以。

*/
///求质因子
int vis[maxn];
int prim[maxn],tot=0;
void sieve()
{
    memset(vis,0,sizeof(vis));
    for(int i=2;i<maxn;i++)
    {
        if(vis[i]==0) prim[tot++]=i;
        for(int j=0;j<tot;j++)
        {
            int k=i*prim[j];
            if(k>=maxn) break;
            vis[k]=1;
            if(i%prim[j]==0) break;
        }
    }
}
ll n,m;
vector<int> p;
void getprim(ll ub)
{
    for(int i=0;prim[i]*prim[i]<=m;i++)
    {
        if(ub%prim[i]==0)
        {
            while(ub%prim[i]==0)
                ub/=prim[i];
            p.push_back(prim[i]);
        }
    }
    if(ub>1) p.push_back(ub);
}
ll getsum(ll x)
{
    return x*(x+1)%mod*inv2%mod;
}
ll getsum2(ll x)
{
    return x*(x+1)%mod*(2*x+1)%mod*inv6%mod;
}
ll ans;
void dfs(int pos,ll num,int cnt)
{
    if(pos>=p.size()) return;
    ll tp=n/num%mod,ret=(num*num%mod*getsum2(tp)%mod+num*getsum(tp)%mod)%mod;
    if(cnt&1)  ans=(ans+ret)%mod;
    else ans=(ans+mod-ret)%mod;
    for(int i=pos+1;i<p.size();i++)
        if(num*p[i]<=n) dfs(i,num*p[i],cnt+1);
}
int main()
{
    sieve();
    while(scanf("%lld%lld",&n,&m)!=EOF)
    {
        p.clear();   getprim(m);
        ans=0;
        for(int i=0;i<p.size();i++)
            dfs(i,p[i],1);
        ans=(getsum2(n)+getsum(n)-ans+mod)%mod;
        printf("%lld\n",ans);
    }
        return 0;
}