题意

题目链接

Sol

打出暴力不难发现时间复杂度的瓶颈在于求\(\sum_{i = 1}^n i^k\)

老祖宗告诉我们,这东西是个\(k\)次多项式,插一插就行了

上面的是\(O(Tk^2)\)的

下面是\(O(Tk^3)\)的

// luogu-judger-enable-o2
#include<bits/stdc++.h>
#define LL long long
using namespace std;
const int MAXN = 66, mod = 1e9 + 7;
inline LL read() {
char c = getchar(); LL x = 0, f = 1;
while(c < '0' || c > '9') {if(c == '0') f = -1; c = getchar();}
while(c >= '0' && c <= '9') x = x * 10 + c - '0', c = getchar();
return x * f;
}
LL N, M, a[MAXN], tot, inv[3601];
LL add(LL x, LL y) {
if(x + y < 0) return x + y + mod;
return x + y >= mod ? x + y - mod : x + y;
}
void add2(LL &x, LL y) {
if(x + y < 0) x = x + y + mod;
else x = (x + y >= mod ? x + y - mod : x + y);
}
LL mul(LL x, LL y) {
return 1ll * x * y % mod;
}
LL fp(LL a, LL p) {
LL base = 1;
while(p) {
if(p & 1) base = mul(base, a);
a = mul(a, a); p >>= 1;
}
return base;
}
LL x[MAXN], y[MAXN], fac[MAXN], ifac[MAXN], pre[MAXN], suf[MAXN];
LL get(LL N, LL M) {// \sum_{i=1}^n i^m
//printf("%d %d\n", N, M);
LL Lim = M + 1, ans = 0; memset(y, 0, sizeof(y));
for(int i = 1; i <= Lim; i++) add2(y[i], add(y[i - 1], fp(i, M)));
pre[0] = N; suf[Lim + 1] = 1;
for(int i = 1; i <= Lim; i++) pre[i] = mul(pre[i - 1], add(N, -i));
for(int i = Lim; i >= 1; i--) suf[i] = mul(suf[i + 1], add(N, -i));
for(int i = 0; i <= Lim; i++) {
LL up = mul(y[i], mul(pre[i - 1], suf[i + 1])),
down = mul(ifac[i], ifac[Lim - i]);
if((Lim - i) & 1) down = mod - down;
//printf("%d %d\n", up, down);
ans = add(ans, mul(up, down));
}
return ans;
}
void solve() {
N = read(); M = read();
memset(a, 0, sizeof(a));
LL ans = 0;
for(LL i = 1; i <= M; i++) a[i] = read(); a[++M] = ++N;
sort(a + 1, a + M + 1);
for(LL i = 1; i <= M; i++) {
for(LL j = i; j <= M; j++) ans = add(ans, add(get(a[j] - 1, M ), -get(a[j - 1], M)));
for(LL j = i + 1; j <= M; j++) a[j] = add(a[j], -a[i]); a[i] = 0;
}
printf("%lld\n", ans);
}
int main() {
inv[1] = 1; for(int i = 2; i <= 3600; i++) inv[i] = mul((mod - mod / i), inv[mod % i]);
fac[0] = 1; for(int i = 1; i <= 60; i++) fac[i] = mul(i, fac[i - 1]);
ifac[60] = fp(fac[60], mod - 2);
for(int i = 60; i >= 1; i--) ifac[i - 1] = mul(ifac[i], i);
//cout << get(10, 2) << endl;
for(LL T = read();T--; solve());
return 0;
}
/*
1
1044536146 2
883276404
640705454 */
// luogu-judger-enable-o2
#include<bits/stdc++.h>
using namespace std;
const int MAXN = 103, mod = 1e9 + 7;
inline int read() {
char c = getchar(); int x = 0, f = 1;
while(c < '0' || c > '9') {if(c == '-') f = -1; c = getchar();}
while(c >= '0' && c <= '9') x = x * 10 + c - '0', c = getchar();
return x * f;
}
int add(int x, int y) {
if(x + y < 0) return x + y + mod;
return x + y >= mod ? x + y - mod : x + y;
}
int mul(int x, int y) {
return 1ll * x * y % mod;
}
int fp(int a, int p) {
int base = 1;
while(p) {
if(p & 1) base = mul(base, a);
a = mul(a, a); p >>= 1;
}
return base;
}
int N, M, K, f[MAXN][MAXN], C[MAXN][MAXN], U[MAXN], R[MAXN], g[MAXN];
int get(int U, int R) {
memset(g, 0, sizeof(g));
for(int i = 1; i <= MAXN - 1; i++)
for(int k = 1; k <= i; k++)
g[i] = add(g[i], mul(fp(k, N - R), fp(i - k, R - 1)));
int ans = 0;
for(int i = 1; i <= MAXN - 1; i++) {
int up = 1, down = 1;
for(int j = 1; j <= MAXN - 1; j++) {
if(i == j) continue;
up = mul(up, add(U, -j));
down = mul(down, add(i, -j));
}
ans = add(ans, mul(g[i], mul(up, fp(down, mod - 2))));
}
return ans;
}
int main() {
//freopen("a.in", "r", stdin);
N = read(); M = read(); K = read();
for(int i = 0; i <= N; i++) {
C[i][0] = C[i][i] = 1;
for(int j = 1; j < i; j++) C[i][j] = add(C[i - 1][j - 1], C[i - 1][j]);
}
for(int i = 1; i <= M; i++) U[i] = read();
for(int i = 1; i <= M; i++) R[i] = read();
f[0][N - 1] = 1;
for(int i = 1; i <= M; i++) {
int t = get(U[i], R[i]);
for(int j = K; j <= N; j++) {
for(int k = j; k <= N - 1; k++)
if(k - j <= R[i] - 1) f[i][j] = add(f[i][j], mul(mul(f[i - 1][k], C[k][k - j]), C[N - 1 - k][R[i] - 1 - (k - j)]));
f[i][j] = mul(f[i][j], t);
}
}
printf("%d", f[M][K]);
return 0;
}
/*
100 3 50
500 500 456
13 46 45
*/

洛谷P4593 [TJOI2018]教科书般的亵渎(拉格朗日插值)的更多相关文章

  1. 洛谷 P4593 [TJOI2018]教科书般的亵渎

    洛谷 P4593 [TJOI2018]教科书般的亵渎 神仙伯努利数...网上一堆关于伯努利数的东西但是没有证明,所以只好记结论了? 题目本质要求\(\sum_{i=1}^{n}i^k\) 伯努利数,\ ...

  2. 洛谷P4593 [TJOI2018]教科书般的亵渎 【数学】

    题目链接 洛谷P4593 题解 orz dalao upd:经典的自然数幂和,伯努利数裸题 由题我们只需模拟出代价,只需使用\(S(n,k) = \sum\limits_{i = 1}^{n} i^{ ...

  3. 洛谷P4593 [TJOI2018]教科书般的亵渎

    小豆喜欢玩游戏,现在他在玩一个游戏遇到这样的场面,每个怪的血量为\(a_i\)​,且每个怪物血量均不相同,小豆手里有无限张"亵渎".亵渎的效果是对所有的怪造成\(1\)点伤害,如果 ...

  4. BZOJ.5339.[TJOI2018]教科书般的亵渎(拉格朗日插值) & 拉格朗日插值学习笔记

    BZOJ 洛谷 题意的一点说明: \(k\)次方这个\(k\)是固定的,也就是最初需要多少张亵渎,每次不会改变: 因某个怪物死亡引发的亵渎不会计分. 不难发现当前所需的张数是空格数+1,即\(m+1\ ...

  5. P4593 [TJOI2018]教科书般的亵渎(拉格朗日插值)

    传送门 首先所有亵渎的张数\(k=m+1\),我们考虑每一次使用亵渎,都是一堆\(i^k\)之和减去那几个没有出现过的\(j^k\),对于没有出现过的我们可以直接快速幂处理并减去,所以现在的问题就是如 ...

  6. 并不对劲的复健训练-bzoj5339:loj2578:p4593:[TJOI2018]教科书般的亵渎

    题目大意 题目链接 题解 先将\(a\)排序. \(k\)看上去等于怪的血量连续段的个数,但是要注意当存在\(a_i+1=a_{i+1}\)时,虽然它们之间的连续段为空,但是还要算上:而当\(a_m= ...

  7. Luogu P4593 [TJOI2018]教科书般的亵渎

    亵渎终于离开标准了,然而铺场快攻也变少了 给一个大力枚举(无任何性质)+艹出自然数幂和的方法,但是复杂度极限是\(O(k^4)\)的,不过跑的好快233 首先简单数学分析可以得出\(k=m+1\),因 ...

  8. p4593 [TJOI2018]教科书般的亵渎

    分析 我们发现$Ans = \sum_i \sum_j (j-p_i)^{m+1}$ 因此直接套用622f的方法即可 代码 #include<bits/stdc++.h> using na ...

  9. 【BZOJ5339】[TJOI2018]教科书般的亵渎(斯特林数)

    [BZOJ5339][TJOI2018]教科书般的亵渎(斯特林数) 题面 BZOJ 洛谷 题解 显然交亵渎的次数是\(m+1\). 那么这题的本质就是让你求\(\sum_{i=1}^n i^{m+1} ...

随机推荐

  1. 最大黑区域-DFS

    最大黑区域 Time Limit:1000MS Memory Limit:32768KB 64bit IO Format:%I64d & %I64u Submit Status Practic ...

  2. 使用clipBoard.js进行页面内容复制

    官方网址: https://clipboardjs.com/

  3. php过滤&nbsp;字符

    今天在抓取页面中得到字符串:"卡牌 ",使用str_replace . preg_replace 和 strip_tags过滤都无解. 最后google到2种方式,如下: str_ ...

  4. JavaScript变量转换

    JavaScript变量转换 目录 自动转换 (1)Number与Boolean (2)Number与String (3)String与Boolean (4)null的自动转换 (5)undefine ...

  5. Tomcat添加HTTPS单向认证和双向认证

    前言 前一段时间有了解如何配置Tomcat服务为Https单向认证和双向认证,当时也做了一些记录,今天开始写博客,就把以前的记录拿出来整理下,分享给大家.本文没有介绍证书如何生成,会在下一篇博文里介绍 ...

  6. 微信小程序开发-第一弹

    前言:       本篇文章为大家详细介绍微信小程序开发第一篇,后续步骤会逐步更新,欢迎大家关注. 第一步  注册        1.1 打开网址 https://mp.weixin.qq.com/  ...

  7. SVN切换账号

    问题背景 SVN账号在登录的时候,默认是保存在个人电脑的 C:\Users\Administrator\AppData\Roaming\Subversion\auth\svn.simple\ 目录下的 ...

  8. OAuth2.0介绍

    OAuth2.0介绍 OAuth2.0简介 四种许可类型 2.1. 授权码许可(Authorization Code) 2.2. 隐式许可(Implicit) 2.3. 资源拥有者密码凭据许可(Res ...

  9. C++版-剑指offer 面试题6:重建二叉树(Leetcode105. Construct Binary Tree from Preorder and Inorder Traversal) 解题报告

    剑指offer 重建二叉树 提交网址: http://www.nowcoder.com/practice/8a19cbe657394eeaac2f6ea9b0f6fcf6?tpId=13&tq ...

  10. 【转载】uCOS系统的思考

    一:  世界潮流,浩浩汤汤,顺之者昌,逆之者亡---孙中山 从80X86到ARM9,再从ARM9到ARM7,平台是越做越简单,但是简单并不是意味着退步,反而是种潮流趋势... 在CISC道路上渐行渐远 ...