LeetCode 每日一题 403. 青蛙过河

403. 青蛙过河

一只青蛙想要过河。 假定河流被等分为若干个单元格，并且在每一个单元格内都有可能放有一块石子（也有可能没有）。 青蛙可以跳上石子，但是不可以跳入水中。

给你石子的位置列表 stones（用单元格序号 升序 表示）， 请判定青蛙能否成功过河（即能否在最后一步跳至最后一块石子上）。

开始时， 青蛙默认已站在第一块石子上，并可以假定它第一步只能跳跃一个单位（即只能从单元格 1 跳至单元格 2 ）。

如果青蛙上一步跳跃了 k 个单位，那么它接下来的跳跃距离只能选择为 k - 1、k 或 k + 1 个单位。 另请注意，青蛙只能向前方（终点的方向）跳跃。

示例 1：

输入：stones = [0,1,3,5,6,8,12,17]
输出：true
解释：青蛙可以成功过河，按照如下方案跳跃：跳 1 个单位到第 2 块石子, 然后跳 2 个单位到第 3 块石子, 接着 跳 2 个单位到第 4 块石子, 然后跳 3 个单位到第 6 块石子, 跳 4 个单位到第 7 块石子, 最后，跳 5 个单位到第 8 个石子（即最后一块石子）。

示例 2：

输入：stones = [0,1,2,3,4,8,9,11]
输出：false
解释：这是因为第 5 和第 6 个石子之间的间距太大，没有可选的方案供青蛙跳跃过去。

提示：

• 2 <= stones.length <= 2000
• 0 <= stones[i] <= 2^31 - 1
• stones[0] == 0

方法一：动态规划

定义二维状态 dp[j][k]：其中 j 是 stones 的角标，k 表示上一步跳跃了 k 个单位。

• dp[j][k] = true：表示上一步跳 k 个单位能跳到角标 j。
• 反之 dp[j][k] = false：表示上一步跳 k 个单位不能跳到角标 j。

假设当前的情况是：从角标 i 跳 k 个单位到角标 j。因为每次跳跃的变化区间为 [-1, 0, 1]，要想 dp[j][k] 为 true，那么 dp[i][k - 1] 、dp[i][k]、dp[i][k + 1] 至少有一个要为 true。

• 即 dp[j][k] = dp[i][k - 1] || dp[i][k] || dp[i][k + 1];

上述逻辑清晰后，代码就迎刃而解了，但是还有两个细节要解决：

1. 初始化 = 判断能不能跳出第一步：第一步只能跳到角标 1 且只能跳 1 步，即 dp[1][1] = (stones[1] == 1)。
2. 如何确定 k 的范围：根据提示 k 的范围应该是 [0, 2^31 - 1]，但我们并不需要这么大的空间。因为步长每次最多增长 1，dp[j][k] 的有效范围只在 k <= j 时，其中 j 最大就是数组的长度 n，我们可以定义 k 也为 n。

参考代码

public boolean canCross(int[] stones) {
    int n = stones.length;
    boolean[][] dp = new boolean[n][n];
    dp[1][1] = stones[1] == 1;
    for (int j = 2; j < n; j++) {
        for (int i = 1; i < j; i++) {
            int k = stones[j] - stones[i];
            if (k <= i + 1) {
                dp[j][k] = dp[i][k - 1] || dp[i][k] || dp[i][k + 1];
            }
        }
    }
    return IntStream.range(1, n).mapToObj(i -> dp[n - 1][i]).anyMatch(b -> b);
}

执行结果