【笔试题】 二分查询 | 贪吃的小Q ——M块巧克力，每天吃的巧克力数量不少于前一天吃的一半 ...

小Q的父母要出差N天，走之前给小Q留下了M块巧克力。小Q决定每天吃的巧克力数量不少于前一天吃的一半，但是他又不想在父母回来之前的某一天没有巧克力吃，请问他第一天最多能吃多少块巧克力。

牛客网：贪吃的小Q

例：input：出差 3 天，７块奶糖
　　output：4
即：第一天吃4块糖，第二天吃2块糖，第三天吃1块糖。

对于题中条件，每天吃的巧克力数量不少于前一天吃的一半，也就是后一天大于等于前一天的一半。

• 第n天吃的糖为奇数，第n+1天吃的糖为第n天的对半向上取整。 大于前一天的一半。
  如：第n天吃了 5 颗，第n+1天吃 (5+1)/2 = 3 颗。（$[2.5{]}^{上}=3$）
  如：第n天吃了 3 颗，第n+1天吃 (3+1)/2 = 2 颗。（$[1.5{]}^{上}=2$）
• 第n天吃的糖为偶数，第n+1天吃的糖为第n天的对半向下取整。等于前一天的一半。
  如：第n天吃了 6 颗，第n+1天吃 (6+1)/2 = 3 颗。（$[3.5{]}_{下}=3$）
  如：第n天吃了 4 颗，第n+1天吃 (4+1)/2 = 2 颗。（$[2.5{]}_{下}=2$）

通过以上分析，我们得到一个计算下一天所吃糖数的公式 $mid=(right+left)/2$

其中运用了折半的思想，并且对于每天所吃的糖的数量是一个单调递减的序列。因此我们可以使用二分查询设计算法。以上公式是一个递推公式，只要知道首项，也就是第一天所吃的糖的数量就可以计算出后面若干项。

而题目中**请问他第一天最多能吃多少块巧克力？**其实是要求我们，最后一天必须把糖吃完 。并且要保证第一天吃到最多。那么我们可以这样设计算法：

• 模拟总的奶糖数为一个数组，如 $ar[m]=1,2,3,4,5,6,7,8,9,......,m$
• 假设第一天吃 $(m+1)/2$ 块奶糖，并计算按此方法，到最后一天是否有剩余的糖。设吃了sum块（前n项和）
  • 情况一：不够吃，即到最后一天所需奶糖数超过所给奶糖数。sum > m
    • 减少第一天的奶糖数，$right=mid-1;$
  • 情况二：够吃，即到最后吃完还有剩余。 sum < m
    • 增加第一天的奶糖数，$left=mid+1;$
• 最后，$left=right$ 时，即不会有剩余，也不会不够吃。即 sum == m

/* 第一天吃num块，nday天后吃的块数 */
int Sum(int nday, int num)	// 天数 第一天吃的奶糖数
{
	int sum = 0;
	while (nday--)
	{
		sum += num;
		num = (num + 1) / 2;
	}
	return sum;
}

/* 贪吃的小Q */
int GreedyLittleQ(int days, int num)	// 天数  糖数
{
	if (days < 1 || num < 1) return -1;
	int left = 1, right = num;
	while (left <= right)
	{
		int mid = (right + left) / 2;	// 如果第一天吃mid块
		int sum = Sum(days, mid);		// days天后吃的总块数
		bool tag = sum > num;			// 糖是否够吃
		if (tag)	// 不够吃
		{
			right = mid - 1;// 减少第一天的数量
		}
		else	// 够吃 ==》还有剩余的糖
		{
			left = mid + 1;// 适当增加第一天的糖
		}
	}
	return right;
}

int main()
{
	int days, num;
	while (cin >> days >> num)//, days > 0 && num > 0
	{
		cout << GreedyLittleQ(days, num) << endl;
	}

	return 0;
}