leetcode33:蓄水

这道题是一个二分题【本菜用了贪心和dp来写，但结果无一例外，麻了】

先看这道题的二段性，二段性很简单就可以想出来；

这里我们二分结果，即操作次数；

我们记t为操作次数，如果t次可以让水桶满，则t+1定然可以，所以有大于t的操作次数都可以让水桶满，相反，如果t不满足，那么小于t的操作次数都不满足；

好了二段性找到了，那么就差check函数的书写了；

（1）先确定目标：check函数的作用是判断一个数是在满足区间，还是在不满足区间；

（2）如何书写check函数：先明确一下一个问题，当出现什么样的现象，我们能确认t次操作能将水桶加满：

这里本菜是用了递归：递归的流程是这样的：

1：递归参数：t【指t次操作】v【一个vector容器，里面存储每个缸的容积】c【里面存储每个水桶的容积，要注意，这边的c会随着递归而变化的，这是因为当我们判断一个缸和其对应的水桶不能在t次“灌溉”后加满，我们会给一次操作让这个水桶容积+1】

2：函数内容：

一个变量cnt：初始值为0

【1】遍历每一个水桶和其对应的缸，判断这个缸桶组合【下文直接叫组合】是否可以在t次灌溉后满，如果可以，cnt++；

【2】判断cnt==v.size()是否成立，如果成立，那么我们return 1；

【3】判断t<=0是否成立，如果成立return 0;

【3】【2】不成立时，我们依旧遍历所有的组合，如何将不能在t次灌溉后装满，那么我们将对应的桶容积++，当然，其t--；

【4】如何我们将在【3】改编后的v、c、t进行一次新的递归；

那么什么就是check函数的全部内容；

接下来就是代码了：

const int N = 100000;
class Solution {
public:

	bool check(int t, vector<int> c, vector<int> v) {//检测是否c，v是否满足条件

		int cnt=0;

		for (int i = 0; i < c.size(); i++) {
			if (t >= ceil((double)v[i] / c[i])) cnt++;
			else cnt--;
		}

		if (cnt == c.size()) return 1;
		if (t<=0) return 0;

		for (int i = 0; i < c.size(); i++) {

			if (t < ceil((double)v[i] / c[i])) {
				t--, c[i]++;
			}
		}

		if (check(t, c, v)) return 1;
		else return 0;

	}

public:
	int storeWater(vector<int>& c, vector<int>& v) {

		int cnt = 0;
        
        if(v.size()==1&&v[0]==0) return 0;
        //这边要初始化，将体积为0的桶加容积+1，如果不加的化会出现float的情况，对应的，也要将付出的操作次数加上
		for (int i = 0; i < c.size(); i++) if (!c[i]) cnt++, c[i] = 1;

		int l=0, r=N;

		while (l < r) {

			int mid = l + r >> 1;

			if (check(mid,c,v)) r = mid;
			else l = mid + 1;

		}
		return l+cnt;

	}
};