Corral the Cows（二分、前缀和、离散化）

题面：Corral the Cows【牛客】

题目大意

有 $n$ 个单位的三叶草，每单位三叶草占据一个 $1\times 1$ 的土地，每块土地的位置由其左下角的下标确定，并且下标 $x$ 和 $y$ 都是整数，且 $1\le x,y\le 10000$。

农夫约翰希望为他的奶牛们建立一个畜栏。其中畜栏必须是正方形，且至少要包含 $C$ 单位的三叶草。

要求出至少包含 $C$ 单位的三叶草情况下，畜栏的最小边长。

注意：每个区域可能会有多个单位的三叶草，所以输入的时候，可能会出现多个相同区域坐标。

思路

前缀和、离散化思路：

可以很明显地想到用前缀和去维护每个二维区间的三叶草数量，预处理后，可以在 $O(1)$ 的时间复杂度下求出某个区间的三叶草数量。

因为坐标的范围是 $[1,10000]$，直接开二维数组暴力遍历的情况是不现实的，于是要进行坐标的优化。
观察题面 $n\le 500$， 可以知道 $x,y$ 的所有坐标离散化到一个数组后，数组的元素个数最大也只有 $1000$。于是我们可以离散化所有的坐标，并存储到一个数组里，再用这个数组进行前缀和的计算，这样复杂度就大大降低了。

二分思路：

由于要求的是最小的边长，很容易想到可以将问题转化成二分答案的问题。

若 m i d