[NOI2005] 瑰丽华尔兹

\[ \mathfrak{<<The Crave>>} \]

题目大意:\(N\times M\)的矩阵,\(T\)个时间段,某个特定的时间段可以向一个方向滑动或不滑动,不可以撞到边界和障碍,求最长滑动距离

Solution

• \({f[k][i][j]}\)为第\(i\)个时间段结束时走到\((i,j)\)的最长滑动距离,无法到达表示为\(-\infty\),设\(len=t_k-s_k+1\),即第\(k\)个时间段的持续时间
• \(f[k][i][j]=\max\limits_{j-len\leq t\leq j}(f[k-1][i][t]+j-t)=\max\limits_{j-len\leq t\leq j}(f[k-1][i][t]-t)+j\)(这是向右走)

我们可以维护一个单调队列，保存\(k−1\)时刻的所有可行状态的\(f\)值与\(t\)，保证\(t\)单调递增，\(f\)值单调递减，在\(dp\)到第\(t\)段时，首先枚举行\(i\),然后从左到右来枚举\(j\)，并时刻保证队首的\(t\)满足限制条件j−t≤len，这样的单调队列的队首显然是最优的，用此时的队首的\(f[k−1][i][t]+j-t\)来更新答案。

Code

#include <bits/stdc++.h>using namespace std;const int N = 205;
const int INF = 2147483644;
const int dx[] = {0, -1, 1, 0, 0};
const int dy[] = {0, 0, 0, -1, 1};//第一位是0 char qwq[N][N];int n, m, T, ans;
int dp[N][N];struct Node {int dp, pos;
}q[N];//一行或一列 void solve(int x, int y, int len, int d) {int head = 1, tail = 0;for(int i = 1; x >= 1 && x <= n && y >= 1 && y <= m;  i++, x += dx[d], y += dy[d]) {//一直朝一个方向走if(qwq[x][y] == 'x') head = 1, tail = 0;//之前的都清除else {while(head <= tail && q[tail].dp + i - q[tail].pos < dp[x][y]) tail--;//不符合单调递减的单调队列性质 q[++tail] = Node{dp[x][y], i};//入队 if(q[tail].pos - q[head].pos > len) head++;//队首元素超出"max()"的范围 dp[x][y] = q[head].dp + i - q[head].pos;//i-q[head].pos 就是这个时间段走的距离 ans = max(ans, dp[x][y]);}}return;
}int main () {int sx, sy;scanf("%d %d %d %d %d", &n, &m, &sx, &sy, &T);for(int i = 1; i <= n; ++i)scanf("%s", qwq[i] + 1);for(int i = 1; i <= n; ++i)for(int j = 1; j <= m; ++j) // dp[i][j] = -INF;dp[sx][sy] = 0;//其他地方都是-INF for(int i = 1, s, t, d, len; i <= T; ++i) {scanf("%d %d %d", &s, &t, &d);len = t - s + 1;if(d == 1) for(int j = 1; j <= m; ++j) solve(n, j, len, d);//向上if(d == 2) for(int j = 1; j <= m; ++j) solve(1, j, len, d);//向下if(d == 3) for(int j = 1; j <= n; ++j) solve(j, m, len, d);//向左if(d == 4) for(int j = 1; j <= n; ++j) solve(j, 1, len, d);//向右     }cout << ans << endl;        return 0;
}