历届试题 分巧克力Python（二分法，枚举优化）

资源限制
时间限制：1.0s 内存限制：256.0MB
问题描述
　　儿童节那天有K位小朋友到小明家做客。小明拿出了珍藏的巧克力招待小朋友们。
　　小明一共有N块巧克力，其中第i块是Hi x Wi的方格组成的长方形。

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

1. 形状是正方形，边长是整数
　　2. 大小相同

例如一块6x5的巧克力可以切出6块2x2的巧克力或者2块3x3的巧克力。

当然小朋友们都希望得到的巧克力尽可能大，你能帮小Hi计算出最大的边长是多少么？
输入格式
　　第一行包含两个整数N和K。(1 <= N, K <= 100000)
　　以下N行每行包含两个整数Hi和Wi。(1 <= Hi, Wi <= 100000)
　　输入保证每位小朋友至少能获得一块1x1的巧克力。
输出格式
　　输出切出的正方形巧克力最大可能的边长。
样例输入
2 10
6 5
5 6
样例输出
2
数据规模和约定
　　峰值内存消耗（含虚拟机） < 256M
　　CPU消耗 < 1000ms

分析：
好久没做过题了…
第一眼看题目，觉得很简单，因为可以很容易想到暴力，取巧克力的长和宽当中较小的作为切割下来巧克力的宽度，计算出每个大块巧克力能够切割出来多少个小块的巧克力。然后每次递减一个单位，直到切割出来的巧克力的数目≥小朋友人数。

暴力是完全可以做出来的，但是肯定会超时。

$10^5\ast 10^5$的复杂度，