【USACO 2020 January Silver】Loan Repayment 题解

【USACO 2020 January Silver】Loan Repayment

题目：

题目描述
Farmer John 欠了 Bessie N 加仑牛奶（1≤N≤10^12）。他必须在 K 天内将牛奶给 Bessie。但是，他不想将牛奶太早拿出手。另一方面，他不得不在还债上有所进展，所以他必须每天给 Bessie 至少 M 加仑牛奶（1≤M≤10^12）。
以下是 Farmer John 决定偿还 Bessie 的方式。首先他选择一个正整数 X。然后他每天都重复以下过程：
（1）假设 Farmer John 已经给了 Bessie G 加仑，计算 (N−G）/X 向下取整。令这个数为 Y。
（2）如果 Y 小于 M，令 Y 等于 M。
（3）给 Bessie Y 加仑牛奶。
求 X 的最大值，使得 Farmer John 按照上述过程能够在 K 天后给 Bessie 至少 N 加仑牛奶 （1≤K≤10^12）。

输入
输入仅有一行，包含三个空格分隔的正整数 N、K 和 M，满足 K⋅M<N。
注意这个问题涉及到的整数规模需要使用 64 位整数类型（例如，C/C++ 中的“long long”）。

输出
输出最大的正整数 X，使得按照上述过程 Farmer John 会给 Bessie 至少 N 加仑牛奶。

样例输入
10 3 3

样例输出
2

数据范围限制
测试点 1-3 满足 K≤10^5。
测试点 4-10 没有额外限制。

提示
在这个测试用例中，当 X=2 时 Farmer John 第一天给 Bessie 5 加仑，后两天每天给 Bessie M=3 加仑。

解题方法：

这道题目的方法是二分答案+数学。

对于$30$%的数据

我们只要二分答案，然后直接模拟$k$天就行了。
时间复杂度为$O(k{\log }_n^2)$。

对于$100$%的数据

我们要二分答案$x$，对上面的办法进行优化。
假设当天要给的牛奶数是$y$，一共有连续$a$天要给一样的数量，然而还有$g$个牛奶没给，还剩下$t$天要给牛奶。
那么，我们可以知道第$a$天要给$y$个$(1)$，第$a+1$天给的数量一定比$y$要小$(2)$。
则
$\lfloor \frac{g-(a-1)y}{x}\rfloor =y(1)$
$\lfloor \frac{g-ay}{x}\rfloor <y(2)$

简化$1$式：

把向下取整去掉，得
$\frac{g-(a-1)y}{x}\ge y$
两边同时乘以$x$，得
$g-(a-1)y\ge xy$
两边同时除以$y$，得
$\frac{g}{y}-(a-1)\ge x$
拆括号，得
$\frac{g}{y}-a+1\ge x$
整理出关于$a$的式子，得
$\frac{g}{y}-x+1\ge a$

简化$2$式：

把向下取整去掉，得
$\frac{g-ay}{x}<y$
两边同时乘以$x$，得
$g-ay<xy$
两边同时除以$y$，得
$\frac{g}{y}-a<x$
整理出关于$a$的式子，得
$\frac{g}{y}-x<a$

整理$1$和$2$式：

将两个式子合并，得
$\frac{g}{y}-x<a\le \frac{g}{y}-x+1$
因为$a$是整数，所以
$a=\lfloor \frac{g}{y}-x+1\rfloor$

所以我们只要进行分块计算，也就是一次计算$a$次，这样就会提高效率。
但是有时候$a$会大于你剩下的天数$t$，就会越界，所以
$a=\min (\lfloor \frac{g}{y}-x+1\rfloor ,t)$
我们只需要这样做：将$g$减去$a$乘以$y$，得到剩下要给的牛奶数，然后再将$t$减去$a$，得到剩下的天数。
注：上面的运算仅限于$y>m$。
如果$y<=m$，我们应该直接把剩下的所有都拿走，也就是将$g$减去$y$乘以$t$，然后$t=0$。
这是判断$x$是否合法的程序：

int ck(long long x)
{
	long long g=n,t=k,y,a;
	while(g>0&&t>0)
	{
		y=g/x;
		if(y<=m) g=g-t*m,s=0;
		else a=min(g/y-x+1,t),g=g-a*y,t-=a;
	}
	if(g<=0) return 1;
	return 0;
}

这道题就这样被解决了，时间复杂度大概为$O(\sqrt{n}{\log }_n^2)$，可以过$n\le 10^{12}$的数据。