P2512 [HAOI2008]糖果传递（均摊纸牌思想）

思路:多年以前写蓝书碰见过,似乎与求中位数有关,只记得当时只是稀里糊涂地抄了思路,但是现在却完全忘记了,还是说明重在理解而不是抄抄抄。
$X_i$代表第$i$个人给上一个人的糖果数,$X_i<0$就是拿走上一个人糖果的数目。
$ave为a_i的平均数$
于是有:$a_i+X_{(i+1+mod)\%mod}-X_i=ave$
有$n$个未知数,分别是$X_1,X_2,X_3...X_n$
然而把前$n-1$个式子相加得到:
${\sum }_{i=1}^{n-1}{a}_i+X_n-X_1=(n-1)\ast ave$
与最后一项比较:
$a_n+X_1-X_n=ave$
显然,前$n-1$项的求和左侧添加$a_n+X_1-X_n$可以得到右侧,说明最后一项等式是与前$n-1$是等价的,$n-1$个方程,$n$个式子,我们没有办法解方程得到答案,但我们仍能把它们用一个变量表示起来.
用$X_1$表示上述若干个式子.
$X_2=ave-a_1+X_1$
$X_3=ave-a_2+X_2=ave-a2+ave-a1+X_1=2\ast ave-(a1+a2)+X_1$
$X_4=3\ast ave-(a1+a2+a3)+X_1$
$X_i=(i-1)\ast ave-{\sum }_{j=1}^{i-1}{a}_j+X_1$
花费就是:${\sum }_{i=1}^n|X_i|$
仔细观察,除了$X_1$外,前面的$(i-1)\ast ave-{\sum }_{j=1}^{i-1}{a}_j$是一个定值
不妨设为$-C_i$,$C_i={\sum }_{j=1}^{i-1}{a}_j-(i-1)\ast ave$
为什么要把绝对值里面的式子变成一个减法的形式,是为了套接下来的一个模型：仓库选址
变形完,变为求${\sum }_{i=1}^n|C_i-X_1|$
等价以下问题:给定$n$个数轴上的点,选取其中的一个点,使得其他点到它的距离之和最短。
直观想象,这个点就是中点.故只用求出该中点即可
这个问题为什么是中点,鄙人学力有限,各位可以查看相关证明资料。

/*
Stairs upon the temple
I climb and I crawl in
People travel millions of miles just to see it
But they never conquer this way
*/
#include<bits/stdc++.h>
using namespace std;
const int maxn = 1e6+5;
const int INF = 1e9+7;
typedef long long ll;
typedef pair<int,int> pii;
#define all(a) (a).begin(), (a).end()
#define pb(a) push_back(a)
vector<int> G[maxn];
ll C[maxn];ll a[maxn];
int main(){
    ios::sync_with_stdio(false);
	cin.tie(0);
	cout.tie(0);
	int n;cin>>n;
	ll ave = 0;
	for(int i=1;i<=n;i++) cin>>a[i],ave+=a[i];
	ave/=n;
	for(int i=2;i<=n;i++){
		C[i] = C[i-1] + a[i-1] - ave; 
	}
	sort(C+1,C+1+n);
	ll x = C[(n+1)/2];
	ll ans = 0;
	for(int i=1;i<=n;i++){
		ans+=abs(C[i]-x);
	}
	cout<<ans;
}