天天看點

[Codeforces 809E] Surprise me!

題目大意

這題神奇的洛谷有翻譯:https://www.luogu.org/problemnew/show/CF809E。

\(CF\)題面:https://codeforces.com/problemset/problem/809/E。

Solution

奇怪的題...

對于\(\varphi\)有一個長這樣的性質:

\[ \varphi(ab)=\frac{\varphi(a)\varphi(b)\gcd(a,b)}{\varphi(\gcd(a,b))} \]

證明可以針對每個質因子考慮,然後結合\(\varphi\)的性質就好了。

那麼我們就可以愉快的化式子了:

\[ \sum_{i=1}^{n}\sum_{j=1}^{n}\frac{\varphi(a_i)\varphi(a_j)\gcd(a_i,a_j)}{\varphi(\gcd(a_i,a_j))}dis(i,j) \]

枚舉\(\gcd\)結果:

\[ \sum_{d=1}^n\frac{d}{\varphi(d)}\sum_{i=1}^{n}\sum_{j=1}^{n}\varphi(a_i)\varphi(a_j)[\gcd(a_i,a_j)=d]dis(i,j) \]

莫比烏斯反演:

\[ \sum_{d=1}^n\frac{d}{\varphi(d)}\sum_{i=1}^{n/d}\sum_{j=1}^{n/d}\sum_{t|i,t|j}\mu(d)\varphi(id)\varphi(jd)dis(b_{id},b_{jd}) \]

這一步比較神奇,注意到\(a_i\)是個排列,那麼我們可以求出每個值的位置\(b_i\)滿足\(b_{a_i}=i\)。

然後枚舉\(a_i\)的結果,各種亂推就變成這樣了。

把\(\sum_t\)提前:

\[ \sum_{d=1}^n\frac{d}{\varphi(d)}\sum_{t=1}^{n/d}\mu(t)\sum_{i=1}^{n/dt}\sum_{j=1}^{n/dt}\varphi(idt)\varphi(jdt)dis(b_{idt},b_{jdt}) \]

令\(T=dt\):

\[ \sum_{T=1}^n\sum_{d|T}\frac{d}{\varphi(d)}\mu(\frac{T}{d})\sum_{i=1}^{n/T}\sum_{j=1}^{n/T}\varphi(iT)\varphi(jT)dis(b_{iT},b_{jT}) \]

到這一步化式子就差不多了,寫的好看一點,設:

\[ f(T)=\sum_{d|T}\frac{d}{\varphi(d)}\mu(\frac{T}{d}) \]

式子變成:

\[ \sum_{T=1}^nf(T)\sum_{i=1}^{n/T}\sum_{j=1}^{n/T}\varphi(iT)\varphi(jT)dis(b_{iT},b_{jT}) \]

注意到對于每個\(T\)隻涉及到了\(n/T\)個點,那麼總點數就是:

\[ O(\sum_{i=1}^{n}\frac{n}{i})= O(n\log n) \]

那麼直接建虛樹暴力搞就可以了。

總複雜度\(O(n\log ^2 n)\)。

代碼比較精神污染

#include<bits/stdc++.h>
using namespace std;

void read(int &x) {
    x=0;int f=1;char ch=getchar();
    for(;!isdigit(ch);ch=getchar()) if(ch=='-') f=-f;
    for(;isdigit(ch);ch=getchar()) x=x*10+ch-'0';x*=f;
}
 
void print(int x) {
    if(x<0) putchar('-'),x=-x;
    if(!x) return ;print(x/10),putchar(x%10+48);
}
void write(int x) {if(!x) putchar('0');else print(x);putchar('\n');}

#define lf double
#define ll long long 

const int maxn = 2e5+10;
const int inf = 1e9;
const lf eps = 1e-8;
const int mod = 1e9+7;

int a[maxn],n,b[maxn],phi[maxn],isp[maxn],pri[maxn],cnt,f[maxn],iphi[maxn],dfn[maxn],sz[maxn],dep[maxn],mu[maxn];

int qpow(int A,int x) {
    int res=1;
    for(;x;x>>=1,A=1ll*A*A%mod) if(x&1) res=1ll*res*A%mod;
    return res;
}

void sieve() {
    phi[1]=mu[1]=1;
    for(int i=2;i<maxn;i++) {
        if(!isp[i]) pri[++cnt]=i,phi[i]=i-1,mu[i]=-1;
        for(int j=1;j<=cnt&&i*pri[j]<maxn;j++) {
            isp[i*pri[j]]=1;
            if(i%pri[j]==0) {phi[i*pri[j]]=phi[i]*pri[j];break;}
            phi[i*pri[j]]=phi[i]*phi[pri[j]];
            mu[i*pri[j]]=-mu[i];
        }
    }
    for(int i=1;i<maxn;i++) iphi[i]=qpow(phi[i],mod-2);
    for(int d=1;d<maxn;d++)
        for(int T=d;T<maxn;T+=d)
            f[T]=(f[T]+1ll*d*iphi[d]%mod*mu[T/d]%mod)%mod;
}

struct Input_Tree {
    int head[maxn],tot,top[maxn],hs[maxn],fa[maxn],dfn_cnt,res;
    struct edge{int to,nxt;}e[maxn<<1];

    void add(int u,int v) {e[++tot]=(edge){v,head[u]},head[u]=tot;}
    void ins(int u,int v) {add(u,v),add(v,u);}
    
    void dfs1(int x,int Fa) {
        fa[x]=Fa,dep[x]=dep[Fa]+1,sz[x]=1;
        for(int i=head[x];i;i=e[i].nxt)
            if(e[i].to!=Fa) {
                dfs1(e[i].to,x);sz[x]+=sz[e[i].to];
                if(sz[hs[x]]<sz[e[i].to]) hs[x]=e[i].to;
            }
    }

    void dfs2(int x) {
        dfn[x]=++dfn_cnt;
        if(hs[fa[x]]==x) top[x]=top[fa[x]];
        else top[x]=x;
        for(int i=head[x];i;i=e[i].nxt)
            if(e[i].to!=fa[x]) dfs2(e[i].to);
    }

    int lca(int x,int y) {
        while(top[x]!=top[y]) {
            if(dep[top[x]]<dep[top[y]]) swap(x,y);
            x=fa[top[x]];
        }return dep[x]<dep[y]?x:y;
    }
}T;

int cmp(int x,int y) {return dfn[x]<dfn[y];}

struct Virtual_Tree {
    int head[maxn],tot,sta[maxn],use[maxn],top,used,r[maxn],k,sum[maxn],sum2[maxn],res,vis[maxn],g[maxn];
    struct edge{int to,nxt;}e[maxn<<1];

    void add(int u,int v) {e[++tot]=(edge){v,head[u]},head[u]=tot;}
    void ins(int u,int v) {add(u,v),add(v,u);}

    void build() {
        sort(r+1,r+k+1,cmp);
        sta[++top]=1;
        for(int i=1;i<=k;i++) {
            if(r[i]==1) continue;
            int t=T.lca(sta[top],r[i]),pre=-1;
            while(dfn[sta[top]]>dfn[t]&&dfn[sta[top]]<dfn[t]+sz[t]) {
                if(pre!=-1) ins(sta[top],pre);
                pre=sta[top];use[++used]=sta[top];top--;
            }
            if(pre!=-1) ins(t,pre);
            if(sta[top]!=t) sta[++top]=t;
            sta[++top]=r[i];
        }
        int pre=-1;
        while(top) {
            if(pre!=-1) ins(sta[top],pre);
            pre=sta[top];use[++used]=sta[top],top--;
        }
    }

    void clear() {
        for(int v,i=1;i<=used;i++) head[v=use[i]]=0,sum[v]=sum2[v]=vis[v]=g[v]=0;
        top=tot=used=k=0;
    }

    void dfs1(int x,int fa) {
        sum[x]=phi[a[x]]*vis[x],sum2[x]=1ll*(dep[x]-1)*phi[a[x]]*vis[x]%mod;
        for(int i=head[x];i;i=e[i].nxt)
            if(e[i].to!=fa) {
                dfs1(e[i].to,x),sum[x]=(sum[x]+sum[e[i].to])%mod;
                sum2[x]=(sum2[x]+sum2[e[i].to])%mod;
            }
    }

    void dfs2(int x,int fa) {
        if(x!=1) {
            g[x]=(1ll*g[fa]-1ll*sum[x]*(dep[x]-dep[fa])%mod+1ll*(sum[1]-sum[x])*(dep[x]-dep[fa])%mod)%mod;
            if(vis[x]) res=(res+1ll*phi[a[x]]*g[x]%mod)%mod;
        }
        for(int i=head[x];i;i=e[i].nxt) if(e[i].to!=fa) dfs2(e[i].to,x);
    }
    
    int solve(int t) {
        for(int i=t;i<=n;i+=t) r[++k]=b[i],vis[r[k]]=1;
        build();res=0;dfs1(1,0),g[1]=sum2[1],dfs2(1,0);
        if(vis[1]) res=(res+1ll*g[1]*phi[a[1]]%mod)%mod;
        clear();return res;
    }
}VT;

int main() {
    sieve();
    read(n);for(int i=1;i<=n;i++) read(a[i]);
    for(int i=1;i<=n;i++) b[a[i]]=i;
    for(int i=1,x,y;i<n;i++) read(x),read(y),T.ins(x,y);
    T.dfs1(1,0),T.dfs2(1);
    int ans=0;
    for(int i=1;i<=n;i++) ans=(ans+1ll*f[i]*VT.solve(i)%mod)%mod;
    write((1ll*ans*qpow(1ll*n*(n-1)%mod,mod-2)%mod+mod)%mod);
    return 0;
}                

轉載于:https://www.cnblogs.com/hbyer/p/10570221.html