洛谷p2440（木材加工）一个基础的二分答案题目优化反思

题目背景

要保护环境

题目描述

木材厂有 nn 根原木，现在想把这些木头切割成 kk 段长度均为 ll 的小段木头（木头有可能有剩余）。

当然，我们希望得到的小段木头越长越好，请求出 ll 的最大值。

木头长度的单位是 \text{cm}cm，原木的长度都是正整数，我们要求切割得到的小段木头的长度也是正整数。

例如有两根原木长度分别为 1111 和 2121，要求切割成等长的 66 段，很明显能切割出来的小段木头长度最长为 55。

输入格式

第一行是两个正整数 n,kn,k，分别表示原木的数量，需要得到的小段的数量。

接下来 nn 行，每行一个正整数 L_iLi​，表示一根原木的长度。

输出格式

仅一行，即 ll 的最大值。

如果连 \text{1cm}1cm 长的小段都切不出来，输出 0。

输入输出样例

输入 #1复制

3 7
232
124
456

输出 #1复制

114

• 首先分析单调性，单调性一般体现在所求的值(即答案)与给定的值

之间的关系，本题所求为木头的最大长度，给定的值是木头的段

数k  

• 根据分析，本题的单调性体现为：当切割成的木头长度越长，所

得到的木头段数一定单调不增

• 因此可以二分答案，也就是二分木头的长度

• 根据二分出的mid（木头长度）可以求出木头段数，段数比k大证

明木头长度mid太小，则把mid往大的区间调整；若段数比k小证

明木头长度太大，则把mid往小的区间调整

• check函数的写法：每根木头根据二分的mid长度可以求出段数，

累加后再与k进行比较，根据主函数中二分的部分来return对应的

值

下面给出在洛谷测试通过的代码：

#include<bits/stdc++.h>
using namespace std;

const int maxn=1000001;
long long n,k,arr[maxn];

bool check(long long x)
{
	long long ans=0;
	for(int i=1;i<=n;i++)
	{
		ans+=arr[i]/x;
	}
	return ans>=k;
}

int main()
{
	cin>>n>>k;
	long long left=0,right=100000001,mid;
	for(int i=1;i<=n;i++)
	   	cin>>arr[i];
	while(left+1<right)
	{
		mid=(left+right)/2;
		if(check(mid)) left=mid;
		else right=mid;
	}
	if(left<1)
	 cout<<"0"<<endl;
	else 
	 cout<<left<<endl;
	
	return 0;
}

试着对right值做如下优化，但是没有通过所有测试点,顿感自作多情。

for(int i=1;i<=n;i++)
	   {
	   	cin>>arr[i];
	   	if(arr[i]<right) 
		   right=arr[i];
      }