很显然，我们先二分求X,对于验证，一开始我先想的是直接求每个的不足电量再除充电量后向上取整，然后判断与k的大小关系。事实上，如果让k很大，若有两只手机在下一刻多没电，显然上述方法得出的结论是错误的，因为我们忽视了过程性，因此，我们考虑用优先队列来维护每分中电量min的，并且因为耗电量不同，所以我们可以用商的形式来存（即存时间，这样巧妙的化解了耗电量不同带来的影响），并且注意优先队列中存结构体的形式。

下面是常见的三种形式（摘自一个大佬的题解）：

struct node{int a,b;double d;friend bool operator<(node x,node y){return x.d>y.d;//按照d从小到大排序//注意:要记得反符号哦}
}a[200005];

struct node{int a,b;double d;bool operator<(const node &x)const{return d>x.d;}
}a[200005];

struct node{int a,b;double d;
}a[200005];
bool operator<(const node &x,const node &y){return x.d>y.d;
}

下面是AC代码：

#include<bits/stdc++.h>
using namespace std;
#define int long long
int n,k;
struct node{int aa,bb;double d;
}a[200010];
bool operator<(const node &x,const node &y){return x.d>y.d;
}
int check(int mid){priority_queue<node> q;for(int i=1;i<=n;i++) q.push(a[i]);for(int i=1;i<=k;i++){if(q.top().d-i<-1) return 0;node qq=q.top();qq.d+=1.0*mid/qq.bb;q.push(qq);q.pop();}return 1;
}
signed main(){cin>>n>>k;for(int i=1;i<=n;i++) scanf("%d",&a[i].aa);for(int i=1;i<=n;i++) scanf("%d",&a[i].bb);for(int i=1;i<=n;i++) a[i].d=1.0*a[i].aa/a[i].bb;int l=0,r=2000000000000;while(l<r){int mid=(l+r)/2;if(check(mid)==1) r=mid;else l=mid+1;}	if(check(r)==1) cout<<r;else cout<<-1;
}