AtCoder Problems in C++ #E - Gluttony

AtCoder Beginner Contestの過去問から、その提出コードの解答例です。
AtCoderとは、コンテストを通じて、プログラミングやアルゴリズムを学習するサービスです。
atcoder.jp
プログラミングコンテストとは、「与えられた問題をいかに素早く、正確に」解くことができるかを競うものです。
「競技プログラミング」を略して、「競プロ」などと呼ばれています。

#E - Gluttony

atcoder.jp

僕が作成、提出したコードは、以下のとおりです。

/*
AtCoder Problems in C++
#E - Gluttony
https://atcoder.jp/contests/abc144/tasks/abc144_e
提出コードの解答例
https://neguse-atama.hatenablog.com
*/
#include<bits/stdc++.h>
using namespace std;
using ll=long long;
const ll N=200020;
ll n,k,l,r,a[N],f[N];
ll tf(ll x){
  ll cnt=0;
  for(ll i=1;i<=n;i++){
    if(a[i]*f[n-i+1]>x){
      cnt+=a[i]-x/f[n-i+1];
    }
  }
  return (cnt<=k);
}
int main(void){
  cin>>n>>k;
  for(ll i=1;i<=n;i++){
    cin>>a[i];
  }
  for(ll i=1;i<=n;i++){
    cin>>f[i];
  }
  sort(a+1,a+1+n);
  sort(f+1,f+1+n);
  l=0,r=1e18;
  while(l-r<0){
    ll mid=(l+r)/2;
    if(tf(mid)){
      r=mid;
    }else{
      l=mid+1;
    }
  }
  cout<<r<<endl;
  return 0;
}

AtCoder Beginner Contestは、オンラインジャッジによるプログラミングコンテストです。
日本語と英語に対応していて、週末ごとに実施されているみたいです。
https://practice.contest.atcoder.jp/tutorial
アカウントを登録すれば、誰でも参加できます。