二分思想小剖析

这一个月努力冲一冲，三月份的甲级能考掉就考掉了。
今天看算法笔记看到了二分，想着二分还不简单。看了看发现并不是😓
算法笔记中有一句加粗的话是我以前在二分中从没听过的，大部分二分问题可以归结为：寻找有序序列中第一个满足某条件的元素的位置。 这句话一开始听得不明所以，仔细一想别有洞天。
比如下面的木棒切割问题：

#include<iostream>
using namespace std;
int n; //木棒数量 
int stick[110];
int m; //要几根 
int l = 1;
int r;
int main() {
	cin >> n;
	for(int i = 0; i < n; i ++) {
		cin >> stick[i];
		if(stick[i] > r) {
			r = stick[i];
		}
	}
	cin >> m;
	
	int mid;
	int sum;
	while(l < r) {
		sum = 0;
		mid = (l + r) / 2;
		for(int i = 0; i < n; i++) {
			sum += stick[i] / mid;
		}
		if(sum < m) { 
			r = mid;
		}else { 
			l = mid + 1;
		}
	}
	
	cout << l - 1 << endl;
	cout << r - 1; 
	return 0;
}

这道题找的就是第一个不满足条件的长度，再减去一就是答案。
这里将第一个不满足条件的长度看为目标。
于是乎上题中，if里的就是不满足条件的长度这种情况发生，也就是切割出来的木棒比要求的少。

if(sum < m) { 
			r = mid;
		}else { 
			l = mid + 1;
		}

那如何理解上面的五行代码就能得到目标呢？这里的l，r都是闭区间。
当满足条件时，因为要找的是第一个满足条件的，所以还要往前继续找，而且mid也可能就是目标，所以满足条件时： r = mid；
而如果mid不满足时，那前面的也不可能满足了，所以要将前面的都舍弃，考虑后面的，所以 l = mid + 1;