这道题的思路：
预处理出物品个数的前缀和、后缀和，以及 将1到i-1位置的物品全部搬到i位置的花费和 与 将n到n-i+1的物品全部搬到i位置的花费和，然后对要求的物品个数二分答案。
check的时候，因为物品个数确定，枚举左端点，左端点位置确定的时候右端点位置和中间值位置也确定，因此可以通过预处理的东西直接计算出全部搬到中间值位置的花费。
但是对于为什么只需要求左端点的箱子都取、右端点在的箱子取部分 和 右端点在的箱子都取、左端点在的箱子取部分就能得到最小花费我还无法理解。。。（纠结了很久了，就是想不清楚= =）
代码：
#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define db double
#define m_p make_pair
#define p_b push_back
#define For(i,a,b) for(int i=a;i<=b;i++)
#define ls (root<<1)
#define rs ((root<<1)|1)
const int N=5e5;
const int M=1e4+5;
const db eps=1e-8;
const int INF=0x3f3f3f3f;
const int mod=1e7;
int n;
struct node{ll x,a;bool operator<(const node &p)const{return x<p.x;}
}a[N+5];
ll T,s[N+5],s1[N+5],pre[N+5],nex[N+5];
bool check(ll num){ll lpos=1,rpos=1,mid=1;ll num1=(num+1)/2;while(rpos<=n&&mid<=n){while(rpos<=n&&s[rpos]-s[lpos-1]<num){rpos++;}if(rpos>n) break;while(mid<=n&&s[mid]-s[lpos-1]<num1) mid++;if(mid>n) break;ll res=pre[mid]-pre[lpos]-2*s[lpos-1]*(a[mid].x-a[lpos].x);res+=nex[mid]-nex[rpos-1]-2*s1[rpos]*(a[rpos-1].x-a[mid].x);res+=2*(num-(s[rpos-1]-s[lpos-1]))*(a[rpos].x-a[mid].x);if(res<=T) return 1;lpos++;}rpos=n,mid=n,lpos=n;while(lpos>=1&&mid>=1){while(lpos>=1&&s1[lpos]-s1[rpos+1]<num) lpos--;if(lpos<1) break;while(mid>=1&&s1[mid]-s1[rpos+1]<num1) mid--;if(mid<1) break;ll res=pre[mid]-pre[lpos+1]-2*s[lpos]*(a[mid].x-a[lpos+1].x);res+=nex[mid]-nex[rpos]-2*s1[rpos+1]*(a[rpos].x-a[mid].x);res+=2*(num-(s[rpos]-s[lpos]))*(a[mid].x-a[lpos].x);if(res<=T) return 1;rpos--;}return 0;
}
int main(){
// freopen("in.txt","r",stdin);scanf("%d %lld",&n,&T);For(i,1,n) scanf("%lld",&a[i].x);For(i,1,n) scanf("%lld",&a[i].a);sort(a+1,a+1+n);ll l=1,r=0,mid,ans=0;For(i,1,n) r+=a[i].a,s[i]=r,pre[i]=2*s[i-1]*(a[i].x-a[i-1].x)+pre[i-1];for(int i=n;i>=1;i--) s1[i]=s1[i+1]+a[i].a,nex[i]=nex[i+1]+2*s1[i+1]*(a[i+1].x-a[i].x);while(l<=r){mid=(l+r)>>1;if(check(mid)) l=mid+1,ans=mid;else r=mid-1;}cout<<ans<<"\n";return 0;
}