标签：le frac gcd 题解 sum 2n CF1205E
这题完全体现了我的 数学推导 能力有多差。
中间还被 alpha 教育了，我不会算这个复杂度/kk
\[O(\sum_{i=1}^{n} \sum_{j|i}\sum_{k|\frac{i}{j}}1)=O(n\log^2n) \]根据一些等价我们得到下面的式子。（上面是字符串和图论的部分，下面就全是数学推导了）
\[ans\times k^n=\sum_{i=1}^{n-1}\sum_{j=1}^{n-1}k^{\max{\gcd(i,j), i+j-n}} \]然后有一个不太能扩展的 \(O(n\log^2n)\) 做法。
考虑枚举 \(\gcd(i,j)\) 和 \(i+j\)，然后计算同时满足 \(i,j\) 组数。
\[\begin{aligned} ans\times k^n&=\sum_{s=2}^{2n-2}\sum_{d|s}\sum_{i=1}^{n-1}\sum_{j=1}^{n-1}[\gcd(i,j)=d][i+j=s]\\ &=\sum_{s=2}^{2n-2}\sum_{d|s}\sum_{i=1}^{n-1}[\gcd(i,s-i)=d]\\ &=\sum_{s=2}^{2n-2}\sum_{d|s}\sum_{i=1}^{[\frac{n-1}{d}]}[\gcd(i,\frac{s}{d}-i)=1]\\ &=\sum_{s=2}^{2n-2}\sum_{d|s}\sum_{i|\frac{s}{d}}\mu(i)\sum_{j=ik}1 \end{aligned} \]然后上面的式子有一个缺陷，就是 \(i,j\) 的范围没有表示。
\[1\le i\le n-1\\ 1\le s-i\le n-1\\ \Rightarrow s+1-n\le i\le s-1\\ \]然后令 \(a=\max\{1,\frac{s}{d}-[\frac{n-1}{d}]\},b=\min\{\frac{[n-1]}{d},\frac{s}{d}-1\}\)，有最终的式子 \(ans\times k^n=\sum_{s=2}^{2n-2}\sum_{d|s}\sum_{i|\frac{s}{d}}\mu(i)([\frac{b}{i}]-[\frac{a-1}{i}])\)。
还有一个常见的 \(O(n\logn)\) 算法和一个 \(O(n)\) 算法。看懂了但是不想写了（咕咕有空就补），可以在下面的题解里看到。
reference
标签：le,frac,gcd,题解,sum,2n,CF1205E 来源： https://www.cnblogs.com/zcr-blog/p/15013395.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。