1. 问题
如果硬币的面值是{1, 1*c, 2*c, …, k*c}, 则贪婪算法总是用最少的硬币找零。
如《离散数学及其应用》书中贪婪算法的反例:
有面值1, 10, 25的硬币,找零30。
贪婪算法的解:5c0 + 0c1 + 1c2 = 5*1 + 0*10 + 1*25 = 30,共需6枚硬币
而最优解是:0c0 + 3c1 + 0c2 = 0*1 + 3*10 + 0*25 = 30,只需3枚硬币
但如果补齐中间缺失的硬币面值:{1, 5, 10, 15, 25},
那么贪婪算法的解是 : 1*25 + 1*5 = 30,只需2枚硬币,依然是最优解之一(因为还有15*2也是最优解)
2. 规律
因为最大的25面值的硬币不再满足《贪婪算法最优解问题》问题中的条件,所以无法用该证明方法证明,思路不通时我们先找找满足问题条件的找零方案,看能不能找出一些规律,然后再证明这些规律找出一些推论来间接证明
假设有面值{1, 3, 6, 9}的硬币,当需找零S的最优贪婪算法找零方案: