Codeforces Round #680 D Divide and Sum

题目链接：链接
题目大意：2n的序列分成两部分p和q，p递增，q递减，对于每一个下标i求一下abs(p[i] - q[i])的值，p和q都是任意分开的。
题目思路：
首先提出一个结论：对于任意的p序列和q序列，他们的差值和都是一定的。
下面我们思考如何证明：
1.先将2n的序列排序，并将它们分成两部分，我们假设左半部分是L，右半部分是R，他们的长度均为n
2.假设我们在L部分任意拿出了x个数给p序列，那么右半部分一定拿出n-x个数，于是剩下的数就全部属于q序列
p：L中x个数，R中n-x个数
q：R中x个数，L中n-x个数
由于p序列递增，q序列递减，那么p在L中的x个数一定和q序列在R中的x个数一一对应。
即结论得证。
由于2n个元素中任意取出n个元素，直接组合数求出C(n,2n);再乘上差值和即可。

这种题目当然要思考题目本身的性质，属于那种会者不难，难者不会的题目。刚开始处理真是无从下手啊，如果对于这种题目总结一些tricks的话，还是静下心来好好推演一下样例再说吧，对于结论你能否推导出来，真的随缘吧（悲

冲紫计划能成功吗，好好写总结的话我一定行，加油吧。

#include <bits/stdc++.h>
#define fo(i,a,b) for(int i=a;i<=b;i++)
#define fod(i,a,b) for(int i=a;i>=b;i--)
#define me0(a) memset(a,0,sizeof(a))
#define me1(a) memset(a,-1,sizeof(a))
#define pii pair<int,int>
#define Please return
#define AC 0
using namespace std;
const int INF = 0x3f3f3f3f;
typedef long long ll;
template <class T>
void read(T &val) { T x = 0; T bz = 1; char c; for (c = getchar(); (c<'0' || c>'9') && c != '-'; c = getchar()); if (c == '-') { bz = -1; c = getchar(); }for (; c >= '0' && c <= '9'; c = getchar()) x = x * 10 + c - 48; val = x * bz; }
const int mod=998244353;
const int maxn = 2e6+10;
const int N = 3e5+100 ,M = 50500;
int n , _ ;
int v[N] , a[N] , b[N];
ll qp(ll x, ll y){
    ll ans = 1 ;
    x %= mod;
    for(;y ; y >>= 1){
        if(y & 1) ans = (ans * x) % mod;
        x = (x * x) % mod;
    }
    return ans;
}
ll fac[N];

int main(){
    fac[0] = 1;
    for(int i = 1;i < N - 3  ; i ++){
        fac[i] = (fac[i-1] * i) % mod;
    }
//    for(scanf("%d" , &_) ; _ ; _ --){
        scanf("%d", &n);
        for(int i = 1;i <=2* n ;i ++){
            scanf("%d" , &a[i]);
        }
        ll ans = 0;
        sort(a+1,a+2*n+1);
        for(int i = 1 , j = 2*n;i <= n  ;i ++ , j --){
            ans = (ans + a[j] - a[i] ) % mod;
        }
//        cout << ans << endl;
        ans = ans * fac[2*n] % mod  * qp(fac[n],mod-2)%mod * qp(fac[n] , mod-2)%mod;
        printf("%lld\n" , ans);
//    }
}