分巧克力

原题链接：AcWing. 1227分巧克力
关键词：整数二分

童节那天有 K 位小朋友到小明家做客。

小明拿出了珍藏的巧克力招待小朋友们。

小明一共有 N 块巧克力，其中第 i 块是 Hi×Wi 的方格组成的长方形。

为了公平起见，小明需要从这 N 块巧克力中切出 K 块巧克力分给小朋友们。

切出的巧克力需要满足：

形状是正方形，边长是整数
大小相同
例如一块 6×5 的巧克力可以切出 6 块 2×2 的巧克力或者 2 块 3×3 的巧克力。

当然小朋友们都希望得到的巧克力尽可能大，你能帮小明计算出最大的边长是多少么？

输入格式
第一行包含两个整数 N 和 K。

以下 N 行每行包含两个整数 Hi 和 Wi。

输入保证每位小朋友至少能获得一块 1×1 的巧克力。

输出格式
输出切出的正方形巧克力最大可能的边长。

数据范围

1≤N,K≤105,
1≤Hi,Wi≤105

输入样例：

2 10
6 5
5 6

输出样例：

2

---

分析：

1. 10⁵相乘可能会爆int，因此需要用到long long
2. 只能切不能拼。表示出能切的个数并和k进行比较进行判断，每次不管是否满足条件，都能将区间缩短一半，因此可以二分
3. 假设正方形边长的范围是[l, r]，中间值用mid表示。答案是能满足的最大的那个mid。如果能切出来的数目大于k，说明答案在[mid, r]这个区间
4. 如果不满足大于k，右边区间肯定都不满足。说明答案在[l, mid-1]这个区间

---

c++代码实现：

#include <iostream>
using namespace std;

const int maxn = 1e5;
typedef long long LL;

int n, k;
int h[maxn], w[maxn];

bool check(int mid){
    ll res = 0;     //表示切出来的矩形个数
    for(int i = 0; i < n; i ++ ){
        res += (LL)h[i]/mid * (w[i]/mid);   //这里括号不能少
        if(res > k) return true;
    }
    return false;
}

int main(){
    scanf("%d %d", &n, &k);
    
    for(int i = 0; i < n; i ++ ) scanf("%d %d", &h[i], &w[i]);
    
    int l = 1, r = 1e5;
    while(l < r){
        int mid = l + r + 1 >> 1;
        if(check(mid)) l = mid;
        else r = mid - 1;
    }
    printf("%d\n", r);
    
    
    return 0;
}

补充：
yxc二分模板：

版本1
当我们将区间[l, r]划分成[l, mid]和[mid + 1, r]时，其更新操作是r = mid或者l = mid + 1;，计算mid时不需要加1。

int bsearch_1(int l, int r)
{
    while (l < r)
    {
        int mid = l + r >> 1;
        if (check(mid)) r = mid;
        else l = mid + 1;
    }
    return l;
}

版本2
当我们将区间[l, r]划分成[l, mid - 1]和[mid, r]时，其更新操作是r = mid - 1或者l = mid;，此时为了防止死循环，计算mid时需要加1。

int bsearch_2(int l, int r)
{
    while (l < r)
    {
        int mid = l + r + 1 >> 1;
        if (check(mid)) l = mid;
        else r = mid - 1;
    }
    return l;
}

---

Python3 代码实现：

N, K = map(int, input().split())
MAX = 0
cakes = []
#  _ 占位符 表示不在意变量的值 只是用于循环遍历n次
for _ in range(N):
    w, h = map(int, input().split())
    MAX = max(MAX, w, h)
    cakes.append([w, h])

def cal(size):
    cnt = 0
    for w, h in cakes:
    	# //表示进行整数除法，只保留整数部分
        cnt += (h // size) * (w // size)
    return cnt

# l, r = 0, MAX
l = 0
r = MAX 

while l < r:
    mid = l + r + 1 >> 1
    if cal(mid) >= K: l = mid
    else: r = mid - 1
print(l)