哎……做了几个小时最后还是没能想到怼大佬的合法性到底怎么搞。写暴力爆搜感觉复杂度爆炸就没敢写 bfs / dfs 一类,后来发现在种种的约束条件下(远小于所给的 \(n, m\))复杂度完全是可以承受的。不过就算想到了这一步谅我也想不出用单调栈来搞两次的组合吧。

  这题最开始就应该发现:扣血和回血完全是可以分开的两个操作。为什么这个点很容易发现呢:1.扣血的多少与时间是无关的。2.本题要求活着(血量 >= 0)而非最大化血量。所以第一步显然应当 dp 出在保证活着的前提下最多能够空出多少天来对付 ‘大佬’。

  然后来考虑,假设我们最多拥有 \(D\) 天来攻击,是否存在一种攻击方案使得'大佬'的血量正好为0。预处理出 \(g[k][d]\) 代表 \(d\) 次操作,是否可能对'大佬'产生 \(k\) 点伤害。(这里用Map来存储,并注意这里的方案只考虑怼一次)。然后我们假设存在一种合法的方案怼大佬两次使得大佬血量正好为0,第一次扣血 \(f1\) 点,耗费时间为 \(d1\) 天,第二次扣血 \(f2\) 点,耗费时间为 \(d2\) 天。他们之间该满足什么样的关系式呢? (设大佬血量为 \(M\))

\(M >= f1 + f2\)

\(M - f1 - f2 <= D - d1 - d2\)

  其中(1)式表示不能减为负数,(2)式表示没有减完的血量可以通过还嘴来减掉。之后将(2)式移项(构造常量与非常量之间的不等式以方便检查)

\(D >= M - f1 - f2 + d1 + d2\)

  然后我们选择枚举这两次怼大佬之间的其中一个,则不确定的项即为 \(d2 - f2\) ,因为要求右边的小,所以求这个的最小值之后判断就好了。又因为有之前(1)式的约束,我们在固定了 \(f1\) 后如果能够将 \(f\) 从小到大排序,即可方便判断何时一定不满足(单调递增)。

#include <bits/stdc++.h>
using namespace std;
#define maxn 110
#define ll long long
#define INF 990000000
int n, m, mc, a[maxn], w[maxn];
int ans, maxx, top, B[maxn];
int mark[maxn], f[maxn][maxn];
pair <int, int> S[];
map <int, int> Map[maxn]; struct node
{
int num, v, lev;
}; int read()
{
int x = , k = ;
char c;
c = getchar();
while(c < '' || c > '') { if(c == '-') k = -; c = getchar(); }
while(c >= '' && c <= '') x = x * + c - '', c = getchar();
return x * k;
} void upmax(int &x, int y) { x = x > y ? x : y; } void DP()
{
for(int i = ; i <= n; i ++)
for(int j = ; j <= mc - a[i]; j ++)
{
upmax(f[i][min(mc, j + w[i])], f[i - ][j + a[i]]); // add blood
upmax(f[i][j], f[i - ][j + a[i]] + ); // do nothing
ans = max(f[i][j], ans);
}
} void BFS(int tot)
{
queue <node> q; q.push((node) {, , });
while(!q.empty())
{
node x = q.front(); q.pop();
if(x.num < tot)
{
q.push((node) {x.num + , x.v, x.lev + });
if(x.lev > && x.v < maxx / x.lev && !Map[x.lev][x.v * x.lev])
{
node y = (node) { x.num + , x.v * x.lev, x.lev};
Map[x.lev][x.v * x.lev] = ;
S[++ top] = make_pair(y.v, y.num); q.push(y);
}
}
}
} int main()
{
n = read(), m = read(), mc = read();
for(int i = ; i <= n; i ++) a[i] = read();
for(int i = ; i <= n; i ++) w[i] = read();
for(int i = ; i <= m; i ++) B[i] = read(), maxx = max(maxx, B[i]);
memset(f, , sizeof(f)); f[][mc] = ; DP();
BFS(ans); sort(S + , S + top + );
for(int i = ; i <= m; i ++)
{
int t = B[i], fans = , fmin = INF;
if(t < ans) { printf("1\n"); continue; }
for(int j = top, k = ; j; j --)
{
while(k <= top && S[k].first + S[j].first <= t)
fmin = min(fmin, S[k].second - S[k].first), k ++;
if(fmin + t - S[j].first + S[j].second <= ans) { fans = ; break; }
if(S[j].first <= t && S[j].second + t - S[j].first <= ans) { fans = ; break; }
}
printf("%d\n", fans);
}
return ;
}
05-12 11:38