题目大意：

有an,bn ，我们找到an和bn每个元素的一种一一对应关系。使得min( max(ai*bi))。

已知我们可以进行操作让an中的任一个元素减少1。操作数最大为k，问我们怎么操作，可以min( max(ai*bi))。

解题思路：

首先，我们一个很直接的发现是：让an和bn进行一个排序，让an从小到大让bn从大到小排序，这时候让它们上下对齐放好，它们上下连线即为一个最佳匹配。em 证明..... 不懂。但是这样的确是最优匹配。因为很直观的发现，我们不想让ai和bi中大的放在一起，尽量让他们和对面的小的进行匹配。这时候，进入最关键的一步，枚举答案！

这里我们二分枚举答案。 这是本题最重要的思路！这里，为什么想到二分呢？首先，我们要想到枚举答案这个思路。其次我们试一下暴力枚举，但是暴力枚举在这里会超时，我们尝试二分枚举。每次得到一个答案，我们扫一遍数列，需要多大的操作数，若是小于k，我们则把答案继续缩，若是比k大，我们则把答案往大的扩。

二分的左边界是0，右边界是max(ai*bi)

#include <bits/stdc++.h>
#define int long long
using namespace std;
vector<int> a;
vector<int> b;
int32_t main(){
  int n,k;cin>>n>>k;
  for(int i=0;i<n;i++){
    int t;cin>>t;
    a.push_back(t);
  }
  for(int i=0;i<n;i++){
    int t;cin>>t;
    b.push_back(t);
  }
  sort(a.begin(),a.end(),less<int>());
  sort(b.begin(),b.end(),greater<int>());
  int y=-1;
  for(int i=0;i<n;i++){
    y=max(a[i]*b[i],y);
  }
  int x=0;
  int time=0;
  while(x<y){
    int m=x+(y-x)/2;
    int suc=1;
    int tmpk=0;
    time++;
    cerr<<"mid "<<m<<endl;
    cerr<<time<<endl;
    for(int i=0;i<n;i++){
      int res=m/b[i];
      //cerr<<i<<" "<<res<<endl;
      if(res>a[i])continue;
      tmpk+=a[i]-res;
      //cerr<<tmpk<<endl;
      if(tmpk>k){
      suc=0;
      break;}
    }
    if(suc)y=m;
    else x=m+1;
  }
  assert(x==y);
  cout<<x<<endl;
  
  return 0;
}