\sum_{i=1}^n\sum_{j=1}^m\mu(\gcd(i,j))^2=\sum_{d=1}^{\min(n,m)}\mu^2(d)\sum_{i=1}^{\lfloor\frac n d\rfloor}\sum_{i=1}^{\lfloor\frac m d\rfloor}[\gcd(i,j)=1]=\sum_{d=1}^{\min(n,m)}\mu^2(d)\sum_{d'=1}^{\lfloor\frac{\min(n,m)}d\rfloor}\mu(d')\lfloor\frac n{dd'}\rfloor\lfloor\frac m{dd'}\rfloor\sum_{T=1}^{\min(n,m)}\sum_{d|T}\mu^2(d)\mu(\frac T d)\lfloor\frac nT\rfloor\lfloor\frac mT\rfloor
于是我们来研究 f(T)=\sum_{d|T}\mu^2(d)\mu(\frac T d) 这个函数的性质。
可以发现,只有在 T 的每个质因子的次数都是 2 的时候,f(T)=\mu(\sqrt T),否则 f(T)=0。
证明:
首先,如果 T 的某个质因子的次数 \ge 3,那么 f(T)=0。
然后对于 T 的每个次数为 2 的质因子,d 和 \frac T d 一定各含有一个这个因子。
如果 T 存在某个质因子次数为 1,我们来说明所有贡献都会被抵消掉。
考虑 T 的任意一个次数为 1 的质因子 p,对于 d\times d'=\frac T p,他们给答案的贡献为 \mu^2(dp)\mu(d')+\mu^2(d)\mu(d'p)=\mu^2(d)\mu(d')-\mu^2(d)\mu(d')=0。
如果 T 的所有质因子次数都是 2,那么 f(T)=\mu(\sqrt T)^2\mu(\sqrt T)=\mu(\sqrt T)。
\sum_{i=1}^n\sum_{j=1}^nf(\gcd(i,j))^m
=\sum_{d=1}^nf^m(d)\sum_{i=1}^{\lfloor\frac n d\rfloor}\sum_{j=1}^{\lfloor\frac n d\rfloor}[\gcd(i,j)=1]
=\sum_{d=1}^nf^m(d)\sum_{d'=1}^{\lfloor\frac n d\rfloor}\mu(d')(\lfloor\frac n {dd'}\rfloor)^2
=\sum_{T=1}^n\sum_{d|T}f^m(d)\mu(\frac T d)(\lfloor\frac n T\rfloor)^2
\sum_{i=1}^n\sum_{j=1}^n\sum_{k=1}^nA_iB_jC_kD_{\gcd(i,j)}E_{\gcd(i,k)}F_{\gcd(j,k)}=\sum_{i=1}^n\sum_{j=1}^n\sum_{k=1}^nA_iB_jC_k\sum_{p|i,p|j}D'_p\sum_{q|i,q|k}E'_qF_{\gcd(j,k)}=\sum_{i=1}^nA_i\sum_{p|i}D'_p\sum_{q|i}E'_q\sum_{j=1}^{\lfloor\frac n p\rfloor}B_{pj}\sum_{k=1}^{\lfloor\frac n q\rfloor}C_{qk}F_{\gcd(pj,qk)}
将 D',E' 提前,并设 s=\gcd(p,q)。这样就有 spq\le n。
=\sum_{s=1}^n\sum_{p=1}^{\lfloor\frac n s\rfloor}D'_p\sum_{q=1}^{\lfloor\frac n {sp}\rfloor}E'_q[\gcd(p,q)=1]\sum_{i=1}^{\lfloor\frac n {spq}\rfloor}A_{ispq}\sum_{j=1}^{\lfloor\frac n{sp}\rfloor}B_{spj}\sum_{k=1}^{\lfloor\frac n{sq}\rfloor}C_{sqk}F_{s\times\gcd(pj,qk)}
这样可以设 m=\lfloor\frac n s\rfloor,B1_i=B_{is},C1_i=C_{is},F1_i=F_{is}。
则后面就变成了
\sum_{j=1}^{\lfloor\frac m p\rfloor}B1_{pj}\sum_{k=1}^{\lfloor\frac m q\rfloor}C_{qk}F1_{\gcd(pj,qk)}
然后对 F1 进行变换
\sum_{j=1}^{\lfloor\frac m p\rfloor}B1_{pj}\sum_{k=1}^{\lfloor\frac m q\rfloor}C_{qk}\sum_{r|pj,r|qk}F1'_r=\sum_{j=1}^m B1_j[j\bmod p=0]\sum_{k=1}^m C1_k[k\bmod q=0]\sum_{r|j,r|k}F1'_r=\sum_{j=1}^m B1_j[j\bmod p=0]\sum_{r|j}F1'_r\sum_{r|k}C1_k[k\bmod q=0]
O\left(\sum_{i=1}^n \left(\sqrt{\frac n i}\right)^{1.5}\log\log n\right)=O(n^{1.5}\log\log n)
CF997C Sky Full of Stars
题意:
给一个 n\times n 的正方形网格,要求用红绿蓝三种颜色对每个格子进行染色,求至少有一行或一列为同色的方案数,对 998244353 取模。
1\le n\le 10^6
题解:
考虑二维的容斥,f(x,y) 表示恰好有 x 行 y 列为同色的方案数,g(x,y) 表示钦定 x 行 y 列是同色的方案数。
则
g(x,y)=\sum_{i=x}^n\sum_{j=y}^n f(i,j)\binom i x\binom j yf(x,y)=\sum_{i=x}^n\sum_{j=y}^n g(i,j)\binom i x\binom j y(-1)^{i-x+j-y}
我们只需要求出 f(0,0) 即可。
考虑 g 的表达式。
3^{n^2},& i=0,j=0\\
3^j\binom n j\times 3^{(n-j)n},& i=0,j>0\\
3^i\binom n i\times 3^{(n-i)n},& i>0,j=0\\
3\binom n i\binom n j\times 3^{(n-i)(n-j)},& i>0,j>0
\end{cases}
所以我们要求的
f(0,0)=3^{n^2}+2\sum_{i=1}^n 3^i\binom n i3^{(n-i)n}(-1)^i+3\sum_{i=1}^n\sum_{j=1}^n\binom n i\binom n j3^{(n-i)(n-j)}(-1)^{i+j}
前两个部分都可以容易求出,考虑
\sum_{i=1}^n\sum_{j=1}^n\binom n i\binom n j3^{(n-i)(n-j)}(-1)^{i+j}=\sum_{i=0}^{n-1}\sum_{j=0}^{n-1}\binom n i\binom n j3^{ij}(-1)^{i+j}=\sum_{i=0}^{n-1}\binom n i(-1)^i\sum_{j=0}^{n-1}\binom n j(-3^i)^j=\sum_{i=0}^{n-1}\binom n i(-1)^i\left((-3^i+1)^n-(-3^i)^n\right)
复杂度 O(n\log n)。
CF1278F Cards
题意:
有 m 张牌,其中一张是王牌。现在你执行 n 次如下操作:洗牌后查看第一张牌是什么。
令 x 为洗牌后第一张牌为王牌的次数,现在假设洗牌时 m! 种牌的排列出现的概率均相等,求 x^k 的期望值,对 998244353 取模。
1\le n,m< 998244353,1\le k\le 5000
题解:
我们要求的东西是
\sum_{i=0}^n\binom n i\left(\frac 1 m\right)^i\left(\frac {m-1}m\right)^{n-i}i^k
考虑进行容斥,设 f(x) 为恰好有 x 对行列,满足 r_i=j-1,c_j=i 的方案数,g(x) 为钦定 x 对行列满足 r_i=j-1,c_j=i 的方案数。
g(x)=\sum_{i=x}^{\min(n,m)}f(i)\binom i x
f(x)=\sum_{i=x}^{\min(n,m)}g(i)\binom i x(-1)^{i-x}
f(0)=\sum_{i=0}^{\min(n,m)}g(i)(-1)^i
g(x)=\binom n x\binom m x x!(m+1)^{n-x}(n+1)^{m-x}
复杂度 O(n)。
arc101e Ribbons on Tree
题意:
给一棵 n 个点的树,n 为偶数,要求将 n 个点划分为 \frac n 2 个点对,然后对于每个点对 (x,y),覆盖 x 到 y 的最短路径。求有多少种方案,满足树上每一条边都被覆盖了至少一次。答案对 10^9+7 取模。
2\le n\le 5000
题解:
考虑进行容斥,设 f(x) 为恰好 x 条边没有被覆盖的方案数,g(x) 表示钦定 x 条边没有被覆盖的方案数,则
g(x)=\sum_{i=x}^{n-1}f(i)\binom i x
f(x)=\sum_{i=x}^{n-1}g(i)\binom i x(-1)^{i-x}
我们要求的是
f(0)=\sum_{i=0}^{n-1}g(i)(-1)^i
考虑在树上钦定 x 条边没有被覆盖时,剩下的点被划分为了 x+1 个连通块,设它们的大小为 a_1,a_2,\cdots,a_{x+1}。