[CF 319C] Kalila and Dimna in the Logging Industry

题目

洛谷

思路

考虑 $dp[i]$ 为砍掉第 $i$ 棵树的最小代价，因为 $b[n]=0$，所以目的是求 $dp[n]$

考虑计算 $dp[k]$。因为 $b_i$ 单调递减，所以砍掉编号 $>k$ 的树之后，就不会再回来管 $k$，而是向 $n$ 奋起直追。这一点似乎很多题解里并没有考虑。

所以 $dp[k]$ 只会由 $<k$ 的 $dp$ 来转移，所以我们考虑枚举 $i$，此时 $dp[k]=\min (dp[i]+b[i]\ast a[k])$。于是得到了一个 $O(n^2)$ 的朴素 $\mathtt{d}\mathtt{p}$

考虑优化决策时间复杂度。对于前置决策 $i,j$且$i<j$，当前位置 $k$，该从哪里转移过来。对于选择 $i$ 的条件为 $$dp[i]+b[i]\ast a[k]<dp[j]+b[j]\ast a[k]$$

移项得到：$$\frac{dp[i]-dp[j]}{b[j]-b[i]}>a[k]$$

显然的斜率优化，单调队列维护即可。

Code：

LL a[MAXN], b[MAXN], dp[MAXN];
deque<LL> Q;
DB Getk(LL i,LL j)
{
	return (dp[i] - dp[j] + 0.0) / (b[j] - b[i]);
}
int main()
{
	LL n;
	read( n );
	for (Int i = 1; i <= n; ++ i)
		read( a[i] );
	for (Int i = 1; i <= n; ++ i)
		read( b[i] );
	Q.push_front( 1 );
	for (Int i = 2; i <= n; ++ i)
	{
		while (Q.size() > 1)
		{
			LL t1 = Q.front();
			Q.pop_front();
			LL t2 = Q.front();
			Q.pop_front();
			if (Getk(t1, t2) > a[i])
			{
				Q.push_front( t2 ); 
				Q.push_front( t1 );
				break;
			}
			else Q.push_front( t2 );
		}
		LL j = Q.front();
		dp[i] = dp[j] + b[j] * a[i];
		while (Q.size() > 1)
		{
			LL t1 = Q.back();
			Q.pop_back();
			LL t2 = Q.back();
			Q.pop_back();
			if (Getk(t1, i) > Getk(t2, t1))
			{
				Q.push_back( t2 );
				Q.push_back( t1 );
				break;
			}
			else Q.push_back( t2 );  
		}
		Q.push_back( i ); 
	}
	printf("%lld", dp[n]);
	return 0;
}