DTOJ 4780. 病毒研究

题意

病毒科学家陈博士正在带领着她的团队在研究病毒，她要研究如何降低病毒的活性。病毒的活性可以用一个整数来表示，但她不知道具体的活性是多少。

她可以执行 $m+1$ 种操作，对于前 $m$ 种操作，第 $i$ 种操作为花费 $v_i$ 的代价使得病毒 的活性减少 $w_i$；第 $m+1$ 种操作为查看当前病毒所处的状态，不需要花费任何代价。

病毒一共有 $n$ 种状态。有 $n+1$ 个递增的数 $a_0,a_1,a_2,...,a_n$，其中 $a_0=0$；若病毒的活性 $x$ 满足 $a_{i-1}<x\le a_i$，那么这个病毒就处于状态 $i$。同时，保证病毒的活 性不会大于 $a_n$。

她可以使用每种操作任意多次，但是她不希望病毒完全丧失活性。但是如果在使用了一个操作后，病毒的活性 $\le 0$ 了，那研究就失败了。而病毒的活性太高时也不适合研究，只有病毒处于状态 $1$ 时才最适合研究。

现在，她只知道病毒的活性是 $[1,a_n]$ 中的一个等概率随机的整数。她想知道，在保证病毒不会完全丧失活性的情况下，她使病毒变为状态 $1$ 的过程中，花费代价的期望最少是多少。

可以发现答案乘 $a_n$ 一定是个整数，输出答案乘 $a_n$ 的值即可。

如果不能保证病毒不会完全丧失活性，输出 $-1$。

子任务编号	$a_n\le$	分值
$1$	$10$	$17$
$2$	$50$	$33$
$3$	$200$	$12$
$4$	$2000$	$38$

对于所有数据，满足 $1\le a_1<a_2<...<a_n\le 2000,1\le T\le 10,1\le v_i\le 10^6$。

题解

首先要对题意有正确的把握：由于只能知道病毒所处的状态而不是具体的活性，所以对于同一状态的所有病毒第一步所采取的状态是相同的，而这一步之后它们会被向左平移并可能被分割为一些不同状态的连续区间。于是考虑区间DP:$f[l][r]$为把$[l,r]$解决的最小代价和，枚举第一步即可转移，效率$O(n^{2}m)$。

由于转移时不可避免枚举，不太可优化，考虑优化状态。注意到转移到的区间似乎都是每个状态的前缀或后缀，如果只有这些状态就是$O(n)$的了。但可能原来的区间平移后不被分割就gg了，于是考虑强制让它经过若干次平移后被分割，那就只能枚举平移的长度，对长度做一个完全背包即可。