拉格朗日插值
公式
是
次多项式
复杂度为
一些特殊条件下可以优化
一道裸题
题目传送门:622F-The Sum of the k-th Powers
题目大意
求
因为模数的关系,显然不可以
这题其实是拉格朗日插值的裸题
解题思路
令
通过低次的规律可以发现,应该是一个
次的多项式,我们可以通过拉格朗日插值求出
到
然后就可以求出其他的每个值了
则原式变为
观察后半部分可以发现,分母其实是两个阶乘相乘再乘上一个形式的系数
而分子同样可以看作是两个以为分界的两段连乘
则原式变为
分母的阶乘范围在,而分子的连乘也就只有
个值,可以预处理
记
则原式变为
其中
只需要求的逆元,然后
预处理其他逆元即可
显然是一个积性函数,可以欧拉筛,但是每个求一遍逆元也可以接受
最后枚举求和即可
本题模板
//#pragma GCC optimize(3,"Ofast","inline")
#include <cstdio>
#include <cmath>
#include <cstring>
#include <algorithm>
#include <queue>
#include <map>
#include <set>
#include <stack>
#include <vector>
#include <string>
#include <iostream>
#include <list>
#include <cstdlib>
#include <bitset>
#include <assert.h>
// #define getchar() (p1 == p2 && (p2 = (p1 = buf) + fread(buf, 1, 1 << 21, stdin), p1 == p2) ? EOF : *p1++)
// char buf[(1 << 21) + 1], * p1 = buf, * p2 = buf;
// #define int long long
#define lowbit(x) (x & (-x))
#define lson root << 1, l, mid
#define rson root << 1 | 1, mid + 1, r
#define pb push_back
typedef unsigned long long ull;
typedef long long ll;
typedef std::pair<ll, ll> pii;
#define bug puts("BUG")
const long long INF = 0x3f3f3f3f3f3f3f3fLL;
const int inf = 0x3f3f3f3f;
const int mod = 1e9 + 7;
const double eps = 1e-6;
template <class T>
inline void read(T &x)
{
int sign = 1;char c = getchar();x = 0;
while (c > '9' || c < '0'){if (c == '-')sign = -1;c = getchar();}
while (c >= '0' && c <= '9'){x = x * 10 + c - '0';c = getchar();}
x *= sign;
}
#ifdef LOCAL
FILE* _INPUT=freopen("input.txt", "r", stdin);
// FILE* _OUTPUT=freopen("output.txt", "w", stdout);
#endif
using namespace std;
const int maxn = 1e6 + 10;
ll fac[maxn], pre[maxn], suf[maxn], infac[maxn];
ll f[maxn];
ll qmod(ll a,ll n)
{
ll ans = 1;
while(n)
{
if (n & 1)
ans = ans * a % mod;
a = a * a % mod;
n >>= 1;
}
return ans;
}
int main()
{
ll n, m;
ll d;
read(n), read(m);
d = m + 1;
f[0] == 0;
fac[0] = 1;
for (int i = 1; i <= d; ++i)
{
fac[i] = fac[i - 1] * i % mod;
f[i] = (f[i - 1] + qmod(i, m)) % mod % mod;
}
infac[d] = qmod(fac[d], mod - 2);
for (int i = d - 1; i >= 0; --i)
{
infac[i] = infac[i + 1] * (i + 1) % mod;
}
if (n <= d)
{
printf("%lld\n", f[n]);
return 0;
}
pre[0] = 1;
suf[d] = 1;
for (int i = 1; i <= d; ++i)
{
pre[i] = pre[i - 1] * (n - i + 1) % mod;
}
for (int i = d; i >= 1; --i)
{
suf[i - 1] = suf[i] * (n - i) % mod;
}
ll res = 0;
for (int i = 0; i <= d; ++i)
{
ll ret = f[i] * pre[i] % mod * suf[i] % mod * infac[d - i] % mod * infac[i] % mod;
if ((d - i) & 1)
res = (res - ret + mod) % mod;
else
res = (res + ret) % mod;
}
printf("%lld\n", res);
}


京公网安备 11010502036488号