2022浙江CSP-J第四题

​

-1.这些天有些忙，终于有空写题解了

0.题意

        给定平面直角坐标系内的n个整点，对于任意一个点P的坐标(x,y)都满足0<x，y<1e9。

        现在给定一个自然数k，表示可以任意在平面直角坐标系内添加k个整点。

        对于任意点A，若存在一点B满足欧几里得距离为1，则可以从点A“跳”到点B，跳跃之后便不可以往回跳。

        给定n与k（ k<= n <=500）与n个点的横纵坐标，求最多可以走到多少个点上（包括自行添加的点）。

1.分析题意

        从题目中易得，只要两个点之间的欧几里得距离为1且横纵轴皆非严格单调递增，那么就可以走到另一个点上。

        这不禁使我想到了DP——这道题可以用动规解决吗？

        首先，我们要从DP的三要素出发：
                1.最优子结构：若最优解包含的子问题是最优的那么我们称其具有最有子结构。
                2.无后效性：一个子问题对后来的子问题的决策无影响。
                3.子问题重叠：一个子问题的最优解会被重复使用。
        若用  f[i][k]  表示以i结尾，使用k个点最长能跳多少个点。那么这个问题就变得和最长上升子序列没有差别了：
    以x为第一关键字，y为第二关键字进行排序，之后就重点关注y（毕竟x有序）。

        1.若点A有更优的子结构（DP状态），那么就一定会选择更优子结构，不必证明，想必很直观。     
        2.只要控制使用的点L数量确定，那么一个点之前能跳几个点与这个点能不能往后跳没有关系。       
        3.一个点可能转移到多个点上，就好比(1,2)即可以到(1,3)，又可以到(2,2)。

好的，证明完成，DP开始！

# 2.构建思路
        若用  f[i][k]  表示以i结尾，使用 k 个点最长能跳多少个点。那么确定了 k 以后，就可以像最长上升子序列一样写。
    不同点在于两个点必须x，y都是递增的才可以跳跃，且跳跃需要加上一定的点，消耗一定的代价。

        状态转移方程：，其中p两点之间的欧几里得距离-1，即所需要增加的点的数量。同时，必须满足两点的x，y坐标必须非严格单调递增。所以，我们的代码精华如下：

    int answer = K;
	for (int k = 0; k <= K; k++) {
		for (int i = 1; i <= N; i++) {
			for (int j = 1; j <= N; j++) {
				if (a[j].y > a[i].y || a[j].x > a[i].x) continue;
				int p = a[i].x - a[j].x + a[i].y - a[j].y - 1;
				if(k>=p) f[i][k] = max(f[i][k], f[j][k - p] + p + 1);
			}
			answer = max(f[i][k] + 1 + K - k, answer);
		}
	}

不要只想着源代码~