CodeForces - 1427C - The Hard Work of Paparazzi dp

CodeForces - 1427C - The Hard Work of Paparazzi dp

题意：给出n个点$(x_i,y_i)$，如果主人公在$t_i$在这个点上，就可以拍照，从一个点到另一个点的花费时间是两点的曼哈顿距离。
想不出来 又是抄的题解

dp状态:$dp[i]$表示$[1,i]$个点最多可以拍多少照片
初始化:$dp[0]=0,dp[i]=$负无穷

思路：(假设$i<j$)
如果曼哈顿距离$|x_i-x_j|+|y_i-y_j|\le t_i-t_j$，就说明从$j$点到$i$点拍照是可能的。如果$n^2$暴力dp，显然不行
根据矩形性质，可以得到$|x_i-x_j|+|y_i-y_j|\le 2r$
当$2r\le t_i-t_j$时，$|x_i-x_j|+|y_i-y_j|\le 2r\le t_i-t_j$恒成立，满足这个条件的$i,j$可达。

由于$t_j<t_i$恒成立，所以$i-j\le t_i-t_j$

将$j$分为两段：

• 当$2r\le i-j$时，$|x_i-x_j|+|y_i-y_j|\le 2r\le i-j\le t_i-t_j$，对于这些$j<i$，与$i$是可达的，所以可以进行状态转移，但是这样的$j$显然有很多个，可以用一个前缀数组记录下最大值，转移一次即可。
• 当$i-2r<j$时，$|x_i-x_j|+|y_i-y_j|\le t_i-t_j$不一定成立，所以要逐个判断，但是最多只有$2r$个$j$，所以复杂度是$O(2nr)$

代码：

const int maxn=2e6+7;
const int INF=0x3f3f3f3f;
const ll INFF=1e18;
int r,n,t[maxn],x[maxn],y[maxn],dp[maxn],ans=0,maxx[maxn];
int main()
{
    scanf("%d%d",&r,&n);
    rep(i,1,n)scanf("%d%d%d",&t[i],&x[i],&y[i]),dp[i]=maxx[i]=-INF;
    x[0]=1,y[0]=1;
    dp[0]=maxx[0]=0;
    rep(i,1,n)
    {
        if (i>=2*r)dp[i]=maxx[i-2*r]+1;//j from[0,max(0,i-2r-1)]
        for (int j=i-1;j>=max(0,i-2*r);j--)//j from[max(0,i-2r),i-1]
        {
            if (abs(x[i]-x[j])+abs(y[i]-y[j])<=t[i]-t[j])dp[i]=max(dp[i],dp[j]+1);
        }
        maxx[i]=max(maxx[i-1],dp[i]);
    }
    W(maxx[n]);
    return 0;
}