题目描述
题目链接：
牛客网：分石子[1]
牛牛有 n 堆石子堆，第 i 堆一共有 a[i] 个石子。
牛牛可以对任意一堆石子数量大于 1 的石子堆进行分裂操作，分裂成两堆新的石子数量都大于等于 1 的石子堆。
现在牛牛需要通过分裂得到 m 堆石子，他想知道这 m 堆石子的最小值最大可以是多少？
示例：
输入：3,5,[3,5,6]输出：2解释：把5分裂成2和3把6分裂成2和4得到五堆石子[3,2,3,2,4]
备注：
- 第一个参数
n代表石子堆的个数 - 第二个参数
m表示需要得到的石子堆数。 - 第三个参数
vector a代表每堆石子堆的石子个数
题解
一拿到这个题目，就看出来这是一道二分答案的题目。
首先定义上下界 l = 1, r = min{a[i]} ，也就是说，每一堆个数最小值至少为 1 ，最多就是初始的时候最小的那堆个数。
然后对于 mid = (l + r) / 2 ，含义就是假设最终最小的那堆有 mid 个。我们求出初始时每一堆最多可以划分出多少个数全部大于等于 mid 的子堆，显然个数是 a[i] / mid 取整，记总堆数为 cnt。
如果 cnt < m ，那么说明 mid 太大了，你最多也不可能划分成 m 堆，所以更新 r = mid - 1 。如果 cnt > m ，那么说明 mid 太小了，你能划分的堆数大于了 m ，那么更新 l = mid + 1 。最后如果 cnt = m ，你就暂存一下答案，因为这时的 mid 是有可能成为最终答案的。但是 mid 还是可能太小了，因为 mid 稍微大一点 cnt 是不会变的，所以继续更新 l = mid + 1 。
最终返回暂存的答案 res 即可。注意这题的二分框架和之前做过的有所不同，在等号判断上得特别小心，我一开始没想清楚，错了好多次才通过的。
代码
classSolution {public: /** * 分石子 * @param n int整型 * @param m long长整型 * @param a int整型vector* @return int整型 */intsolve(intn, longlongm, vector<int>&a) { typedeflonglongll; lll=1, r=*min_element(a.begin(), a.end()), res=0; while (l<=r) { llmid=l+ (r-l) /2; llcnt=0; for (autox : a) { cnt+=x/mid; } if (cnt<m) r=mid-1; else { l=mid+1; res=mid; } } returnres; } };
参考资料
[1]
牛客网：分石子: https://www.nowcoder.com/questionTerminal/1ea5b4eaeff841a4918931791b000756
作者简介：godweiyang，知乎同名，华东师范大学计算机系硕士在读，方向自然语言处理与深度学习。喜欢与人分享技术与知识，期待与你的进一步交流~
