如果面试贪心算法，需要证明正确性的吧。。。好难，求教

看了一些贪心算法的证明方法，可惜不会应用到实际中来，真蛋疼。
以Leecode jump game 2为例吧。

Given an array of non-negative integers, you are initially positioned at the first index of the array.

Each element in the array represents your maximum jump length at that position.

Your goal is to reach the last index in the minimum number of jumps.

For example:
Given array A = [2,3,1,1,4]

The minimum number of jumps to reach the last index is 2. (Jump 1 step from index 0 to 1, then 3 steps to the last index.)

贪心算法。贪心就要每次都试图走的更远，意思并不是走到这一次所能走范围的最远，而是在这一次所能走范围里寻找下一次能走最远的位置。

这样的策略就是竭力要走的更远。

谁来试着证明以下算法的正确性？

这道确定是贪心？如果按LZ的说法，反例是：

[4,3,2,1,0] 第一步明显直接到终点，不是先找到“下次能走的最远"的index 1 (data = 3)

我觉得这是个DP

dp[0..n-1] = INF
dp[0] = 0
for i = 0 to n-2 do
    for j = 1 to min{n-1-i, data[i]}
        dp[i+j] = min{dp[i]+1, dp[i+j]}
return dp[n-1]

372284362 发表于 2014-4-26 04:39
这道确定是贪心？如果按LZ的说法，反例是：

[4,3,2,1,0] 第一步明显直接到终点，不是先找到“下次能走的 ...

这真是贪心，好好想想

以我和周围同学经验，要看课，如果HW占得比重大，对答案的多，如果占得不多比如10次才10%这种，又不是太难，一般就没怎么对

回复错了。。。。求删除

2楼说的对, 用反证法

海拔2纳米 发表于 2014-4-26 05:18
这真是贪心，好好想想

= =好吧。。。那求指导我是想不出来跟DP有本质上不同的贪心。。。
t = 0
p = data[0]
cnt = 0
tmp = 0
while (t < n)
    while (t < n and t < p)
        tmp = max{tmp, data[t] + t}
        t++
    cnt++
    p = tmp
return cnt

你可以看下图书馆有没有《算法设计与分析》 屈婉玲写的，提供了几种贪心法的证明思路。
另外，可以用贪心的，DP都能解吧。

额，我只会用文字说。学的时候也是用文字证明的，所以。。。

每次的贪心解都取 当前一步的长度 加上 跳过去之后的数字 之和最大的那个，因为数字最大是9，所以这一步是O(1)的。

因为取得是两步加起来的最大长度，所以即使最优解不包含这一步的greedy choice，交换这个greedy choice和最优解里面的那个choice也是同样的最优解。

inductive就随便证一下就好了。

这题用BFS来想更加容易