首先，要先确定枚举对象和范围。接着，证明答案与给定条件之间的单调性或二段性。然后，确定可行区
和性质。然后编写check（mid）。最后，根据单调性确定保留左侧或右侧。这道题在数据范围上有一个坑，就是第9行算乘法时会超整形范围，所以要把cnt设成long long类型，但是这样还有问题，就是算乘法时已经超了，已经变成负数了，它把负数累加到了cnt上，所以要强制转换成long long。

#include<iostream>
using namespace std;
const int N=1e5;
int h[N],w[N],k,n;
bool check(int mid)
{
    long long cnt=0;
    for(int i=0;i<n;i++)
        cnt+=((long long)h[i]/mid)*(w[i]/mid);
    if(cnt>=k)
        return true;
    else
        return false;
}
int main()
{
    //freopen("xxx.in","r",stdin);
    //freopen("yy.out","w",stdout);
    int maxx=-1;
    cin >> n >> k;
    for(int i=0;i<n;i++)
    {
        cin >> h[i] >> w[i];
        maxx=max(maxx,(h[i],w[i]));
    }
    int l=0,r=maxx;
    while(l<r)
    {
        int mid=(l+r+1)>>1;
        if(check(mid))
            l=mid;
        else
            r=mid-1;
    }
    cout << l << endl;
    //fclose(stdin);
    //fclose(stdout);
    return 0;
}