nowcoder20102 [HNOI2013]数列

最新推荐文章于 2023-12-06 11:19:27 发布

*ACoder*

最新推荐文章于 2023-12-06 11:19:27 发布

阅读量94

点赞数

分类专栏： # 数学杂题

本文链接：https://blog.csdn.net/FSAHFGSADHSAKNDAS/article/details/104086994

版权

数学杂题专栏收录该内容

93 篇文章 0 订阅

订阅专栏

链接

点击跳转

题解

思路清奇

因为 $m (k - 1) < n$ ，所以对于 $(1,1,1,\dots,1)$ 到 $(m,m,m,\dots,m)$ 的每一种差序列，都有对应的数列，且个数为 $\sum d_i ) +1 = n - \sum d_i$ ，其中 $d_i$ 表示差序列的第 $i$ 项

然后算贡献

$m^{k-1} - (1+2+\dots+m)m^{k-2} (k-1) \\ = n m^{k-1} - \frac{1}{2}m^{k-1}(m+1)(k-1)$

代码

#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#define iinf 0x3f3f3f3f
#define linf (1ll<<60)
#define eps 1e-8
#define maxn 1000010
#define maxe 1000010
#define cl(x) memset(x,0,sizeof(x))
#define rep(_,__) for(_=1;_<=(__);_++)
#define em(x) emplace(x)
#define emb(x) emplace_back(x)
#define emf(x) emplace_front(x)
#define fi first
#define se second
#define de(x) cerr<<#x<<" = "<<x<<endl
using namespace std;
using namespace __gnu_pbds;
typedef long long ll;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
ll read(ll x=0)
{
    ll c, f(1);
    for(c=getchar();!isdigit(c);c=getchar())if(c=='-')f=-f;
    for(;isdigit(c);c=getchar())x=x*10+c-0x30;
    return f*x;
}
struct EasyMath
{
    ll prime[maxn], phi[maxn], mu[maxn];
    bool mark[maxn];
    ll fastpow(ll a, ll b, ll c)
    {
        ll t(a%c), ans(1ll);
        for(;b;b>>=1,t=t*t%c)if(b&1)ans=ans*t%c;
        return ans;
    }
    void shai(ll N)
    {
        ll i, j;
        for(i=2;i<=N;i++)mark[i]=false;
        *prime=0;
        phi[1]=mu[1]=1;
        for(i=2;i<=N;i++)
        {
            if(!mark[i])prime[++*prime]=i, mu[i]=-1, phi[i]=i-1;
            for(j=1;j<=*prime and i*prime[j]<=N;j++)
            {
                mark[i*prime[j]]=true;
                if(i%prime[j]==0)
                {
                    phi[i*prime[j]]=phi[i]*prime[j];
                    break;
                }
                mu[i*prime[j]]=-mu[i];
                phi[i*prime[j]]=phi[i]*(prime[j]-1);
            }
        }
    }
    ll inv(ll x, ll p)  //p是素数
    {return fastpow(x%p,p-2,p);}
}em;
int main()
{
    ll n=read(), k=read(), m=read(), p=read(), ans=0;

    ans = n%p * em.fastpow(m,k-1,p) %p;

    if(m&1) ans -= em.fastpow(m,k-1,p) * (m+1>>1) %p * (k-1)%p;
    else ans -= em.fastpow(m,k-2,p) * ( m*(m+1)/2 %p ) %p * (k-1)%p;

    ans = (ans%p+p)%p;

    printf("%lld",ans);

    return 0;
}