【蓝桥杯】分巧克力 (二分)

资源限制
时间限制：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

请严格按要求输出，不要画蛇添足地打印类似：“请您输入…” 的多余内容。

注意：
　　main函数需要返回0;
　　只使用ANSI C/ANSI C++ 标准;
　　不要调用依赖于编译环境或操作系统的特殊函数。
　　所有依赖的函数必须明确地在源文件中 #include
　　不能通过工程设置而省略常用头文件。

提交程序时，注意选择所期望的语言类型和编译器类型。

思路分析

题意是给定N个已知长和高的矩形，要从矩形中切出K个正方形。要求正方形的边长x，x在满足矩形能切出K个的情况下尽可能大。

首先，根据时间复杂度的分析，能用的算法只能在O(n)和O(nlgn). 再注意到x要尽可能大，可以想到二分枚举x到右边界。
二分枚举x的时间复杂度是O(lgn)，我们只能通过O(n)求出当前枚举的边长x能使矩形切出多少个正方形。我们对样例稍作观察就可发现：1个矩形的高为H，宽为W，这个矩形最多能切出(W/x)*(H/x)个正方形。
因此我们创建一个矩形数组，对于每次枚举的x，O(n)遍历矩形数组，累加所有矩形最多切出该正方形的个数cnt，与目标个数k进行比较。

1. 若cnt < x证明当前枚举的x取值比k所需的x值大，需要右边界指针往左挪
2. 若cnt > x证明当前枚举的x取值比k所需的x值小，需要左边界指针往右挪
3. 若cnt==x我们仍需要让左边界往右挪，保证x尽可能大

对于第3种情况的解释：

x 1 2 3 4 5
k 4 2 2 2 1

这种样例是有可能存在的。x在2,3,4时都可以使k=2，因此我们需要取到右边界x=4.

#include <iostream>
#include <vector>
using namespace std;

struct node{
	int x, y;
};

vector<node> arr;

int main()
{
	int n, k, x;
	scanf("%d%d",&n,&k);
	while(n--)
	{
		node t;
		scanf("%d%d",&t.x,&t.y);
		arr.push_back(t);
	}
	int l = 1, r = 100010; //枚举的区间为[l,r) 
	while(l < r)
	{
		int mid = (l+r)/2; //枚举边长 
		int cnt = 0; //所有矩形能切出边长mid正方形的个数 
		for(int i = 0;i < arr.size();i++)
		{
			node t = arr[i];
			if(t.x >= mid && t.y >= mid) cnt += (t.x/mid)*(t.y/mid);
		}
		if(cnt < k) //能切的正方形数小于k，证明mid取值大了，需要缩小右边界 
		{
			r = mid;
		} 
		else //能切的正方形数大于k，证明mid取小了，需要扩大左边界。当cnt==k时也要扩大左边界，因为要取mid最大值 
		{
			l = mid+1;
		}
	}
//	int cnt = 0, ans = l;
//	for(int i = 0;i < arr.size();i++)
//	{
//		node t = arr[i];
//		if(t.x >= l && t.y >= l) cnt += (t.x/l)*(t.y/l);
//	}
//	if(cnt < k) ans = l-1;
	printf("%d\n",ans-1);
	return 0; 
}