Carousel of Combinations

由圆排列的公式,不难有 C ( n , k ) = ( k n ) × k ! k C(n,k)=(_k^n)\times \frac{k!}{k} C(n,k)=(kn)×kk!

于是答案为 ∑ i = 1 n ∑ j = 1 i ( ( j i ) ⋅ ( j − 1 ) ! ) m o d j \sum_{i=1}^{n}\sum_{j=1}^{i}((_j^i)\cdot (j-1)!)mod\space j ∑i=1n∑j=1i((ji)⋅(j−1)!)mod j

显然交换求和次序,有 ∑ i = 1 n ∑ j = i n ( ( i j ) ⋅ ( i − 1 ) ! ) m o d i \sum_{i=1}^{n}\sum_{j=i}^{n}((_i^j)\cdot (i-1)!)mod\space i ∑i=1n∑j=in((ij)⋅(i−1)!)mod i

由威尔逊定理可将 i i i限定在质数和 4 4 4之中,再由卢卡斯定理(这个一定要手写写出来才会发现很容易化简,比赛的时候就觉得可以用程序去算就没有化简,从而导致根本没办法往下面做,所以以后遇到公式了一定要手写写出来)可化简为 ∑ i = 1 n ∑ j = i n ( ⌊ j i ⌋ ⋅ ( i − 1 ) ) m o d i \sum_{i=1}^{n}\sum_{j=i}^{n}(\lfloor\frac{j}{i}\rfloor\cdot (i-1))mod\space i ∑i=1n∑j=in(⌊ij⌋⋅(i−1))mod i

补题的时候一直想的是每个 i i i对整体的贡献,但是题解告诉我们也可以考虑 i i i对特定局部的贡献,最后将所有局部汇总就好了

具体来说,这里反过去考虑 ∑ i = 1 n ∑ j = 1 i ( ( j i ) ⋅ ( j − 1 ) ! ) m o d j \sum_{i=1}^{n}\sum_{j=1}^{i}((j^i)\cdot (j-1)!)mod\space j ∑i=1n∑j=1i((ji)⋅(j−1)!)mod j,设 d p i = ∑ j = 1 i ( ( j i ) ⋅ ( j − 1 ) ! ) m o d j dpi=\sum{j=1}^{i}((j^i)\cdot (j-1)!)mod\space j dpi=∑j=1i((ji)⋅(j−1)!)mod j,再考虑 ∑ i = 1 n ∑ j = i n ( ⌊ j i ⌋ ⋅ ( i − 1 ) ) m o d i \sum{i=1}^{n}\sum_{j=i}^{n}(\lfloor\frac{j}{i}\rfloor\cdot (i-1))mod\space i ∑i=1n∑j=in(⌊ij⌋⋅(i−1))mod i,统计每个 i i i对 d p dp dp数组的贡献(枚举倍数利用差分),时间复杂度为 O ( n O(n O(n ln n ) n) n)

相关推荐
旖-旎15 分钟前
《LeetCode 64 最小路径和 || LeetCode 174 地下城游戏》
c++·算法·leetcode·动态规划
森林古猿129 分钟前
再论斜率优化
c++·学习·算法
万法若空38 分钟前
【数学-简单数论】同余中的逆
线性代数·算法
凯瑟琳.奥古斯特1 小时前
力扣1009补码解法C++实现
开发语言·c++·算法·leetcode·职场和发展
KaMeidebaby2 小时前
卡梅德生物技术快报|蛋白的叠氮基修饰:实操解析:核酸模板耦合蛋白的叠氮基修饰实现靶蛋白定点共价标记
前端·人工智能·物联网·算法·百度
通信仿真爱好者3 小时前
第【60期】--大规模MIMO系统信号检测算法误码率比较 --matlab完整代码+参考文章
算法·matlab·mimo·信号检测
AI科技星3 小时前
全域谱分析:无穷维超复数信息场分形统一场论——自然、量子、金融多重分形第一性原理完整体系(中英双语终稿)
人工智能·python·算法·金融·乖乖数学·全域数学
utf8mb4安全女神3 小时前
【Redis数据库】哨兵集群/redis集群/安装配置/主从复制/数据持久化操作/数据结构/安全限制/PHP redis/
linux·服务器·数据结构·数据库·redis·缓存
先吃饱再说4 小时前
为什么堆能 O(log n) 插入?拆解完全二叉树的数组魔法
算法·排序算法
丘山望岳4 小时前
哈希——数据分类存储柜
数据结构·散列表