很显然，我们先二分求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;
}