codeforces1145D Divide and Sum

题目链接

题目：

给定一个长度为长度为 $2n$ 的数组 $a$ ，现在将数组$a$分裂成两个长度为 $n$ 的数组 $p$ 和数组 $q$，将数组 $p$ 按从小到大排序得到 $x$，将数组 $q$ 按从大到小排序，得到数组 $y$，定义 $f(p,q)={\sum }_{i=1}^n|x_i-y_i|$，问所有对$a$的合法划分的$f(p,q)$的和是多少。
$(1\le n\le 150000,1\le a_i\le 10^9)$

题解：

由于划分之后需要排序，所以在划分前进行排序不影响结果，我们令 $b=$从小到大排序后的$a$。
结论：对于所有的合法划分，$f(p,q)$ 的值都是相同的。
证明：令集合 L = { x ∣ x ∈ b 1... n } L=\{ x|x \in b_{1...n}\} L={x∣x∈b1...n​}， R = { x ∣ x ∈ b n + 1...2 n } R=\{x|x \in b_{n+1...2n} \} R={x∣x∈bn+1...2n​}。现在我们来证明对于任意的$|x_i-y_i|$都对应于一个$R$中的元素减去一个$L$中的元素。利用反证法，如果不满足，不妨设 $\exists x_i,y_i\in L,x_i<y_i$，那么$y_i>x_{1...i}$且$y_i>y_{i+1...n}$，那么$y_i$至少比$n$个数大，则$y_i$不可能在$L$中，矛盾，其他情况也可以类似证明，所以对于任意的$|x_i-y_i|$都对应于一个$R$中的元素减去一个$L$中的元素，所以上述结论成立。
所有的合法划分的个数为$C_{2n}^n$，所以最后的答案为
$$C_{2n}^n\times \sum _{i=1}^n{b}_{i+n}-b_i$$

复杂度：$O(nlogn)$

代码：

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<vector>
#include<queue>
#include<stack>
#include<map>
#include<set>
#include<string>
#include<bitset>
#include<sstream>
#include<ctime>
//#include<chrono>
//#include<random>
//#include<unordered_map>
using namespace std;


#define ll long long
#define ls o<<1
#define rs o<<1|1
#define pii pair<int,int>
#define fi first
#define se second
#define pb push_back
#define mp make_pair
#define sz(x) (int)(x).size()
#define all(x) (x).begin(),(x).end()
const double pi=acos(-1.0);
const double eps=1e-6;
const int mod=998244353;
const int INF=0x3f3f3f3f;
const int maxn=3e5+5;
int n;
int a[maxn];
ll qpow(ll a,ll p=mod-2){
	ll res=1;
	while(p){
		if(p&1)res=res*a%mod;
		a=a*a%mod;
		p>>=1;
	}
	return res;
}
int main(void){
	scanf("%d",&n);
	for(int i=1;i<=2*n;i++){
		scanf("%d",&a[i]);
	}
	sort(a+1,a+2*n+1);
	ll sum=0;
	for(int i=1;i<=n;i++){
		sum-=a[i];
	}
	for(int i=n+1;i<=2*n;i++){
		sum+=a[i];
	}
	sum%=mod;
	ll num=1;
	for(int i=n+1;i<=2*n;i++){
		num=num*i%mod;
	}
	ll tmp=1;
	for(int i=1;i<=n;i++){
		tmp=tmp*i%mod;
	}
	tmp=qpow(tmp);
	num=num*tmp%mod;
	ll ans=sum*num%mod;
	printf("%lld\n",ans);
	return 0;
}