NOIP 模拟 $85; m 莓良心$

题解 (by;zjvarphi)

考虑每个数单独的贡献。

每个数一定会贡献自己，即为 (egin{Bmatrix}n\ kend{Bmatrix})，而两个不同的数在一起就会使得这两个都互相有贡献，所以原问题可以转化为不同的数对的贡献，即为 ((n-1)egin{Bmatrix}n-1\ kend{Bmatrix})。

后一个公式意思就是在剩下的数里选一个和当前数绑定（合并为一个数），再用这 (n-1) 个数分成 (k) 个集合，大括号表示第二类斯特林数。

答案就是 (sum_{i=1}^{n}w_i imes (egin{Bmatrix}n\ kend{Bmatrix}+(n-1)egin{Bmatrix}n-1\ kend{Bmatrix}))。

而第二类斯特林数有一个容斥公式，看 它 就行。

其中的次方可以用一个类似线性筛的东西。

Code

#include<bits/stdc++.h>
#define ri signed
#define pd(i) ++i
#define bq(i) --i
#define func(x) std::function<x>
namespace IO{
    char buf[1<<21],*p1=buf,*p2=buf;
    #define gc() p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?(-1):*p1++
    #define debug1(x) std::cerr << #x"=" << x << ' '
    #define debug2(x) std::cerr << #x"=" << x << std::endl
    #define Debug(x) assert(x)
    struct nanfeng_stream{
        template<typename T>inline nanfeng_stream &operator>>(T &x) {
            bool f=false;x=0;char ch=gc();
            while(!isdigit(ch)) f|=ch=='-',ch=gc();
            while(isdigit(ch)) x=(x<<1)+(x<<3)+(ch^48),ch=gc();
            return x=f?-x:x,*this;
        }
    }cin;
}
using IO::cin;
namespace nanfeng{
    #define FI FILE *IN
    #define FO FILE *OUT
    template<typename T>inline T cmax(T x,T y) {return x>y?x:y;}
    template<typename T>inline T cmin(T x,T y) {return x>y?y:x;}
    using ll=long long;
    static const int N=1e6+7,MOD=998244353;
    int prim[N],cnt,a,n,k;
    ll frac[N],inv[N],g[N],p[N],sum,ans,res1,res2;
    bool vis[N];
    auto fpow=[](ll x,int y) {
        ll res=1;
        while(y) {
            if (y&1) res=res*x%MOD;
            x=x*x%MOD;
            y>>=1;
        }
        return res;
    };
    auto C=[](int n,int m) {return frac[n]*inv[m]%MOD*inv[n-m]%MOD;};
    auto Getn=[](int x) {
        p[1]=1;
        for (ri i(2);i<=x;pd(i)) {
            if (!vis[i]) prim[++cnt]=i,p[i]=fpow(i,n-1);
            for (ri j(1);j<=cnt&&i*prim[j]<=x;pd(j)) {
                vis[prim[j]*i]=true;
                p[prim[j]*i]=p[i]*p[prim[j]]%MOD;
                if (!(i%prim[j])) break;
            }
        }
    };
    inline int main() {
        FI=freopen("ichigo.in","r",stdin);
        FO=freopen("ichigo.out","w",stdout);
        cin >> n >> k;
        frac[0]=inv[0]=1ll;
        for (ri i(1);i<=n;pd(i)) frac[i]=frac[i-1]*i%MOD;
        inv[n]=fpow(frac[n],MOD-2);
        for (ri i(n-1);i;bq(i)) inv[i]=inv[i+1]*(i+1)%MOD;
        for (ri i(1);i<=n;pd(i)) cin >> a,sum+=a;
        Getn(k);
        for (ri i(0),f=1;i<k;pd(i),f=-f) res1+=f*C(k,i)*p[k-i]%MOD;
        for (ri i(0),f=1;i<k;pd(i),f=-f) res2+=f*C(k,i)*(p[k-i]*(k-i)%MOD)%MOD;
        ((res1%=MOD)+=MOD)*=inv[k];
        ((res2%=MOD)+=MOD)*=inv[k];
        ans=(sum%MOD)*((res2%MOD+(n-1)*(res1%MOD))%MOD);
        printf("%lld
",ans%MOD);
        return 0;
    }
}
int main() {return nanfeng::main();}