人民币找零的贪婪算法最有解的证明

人民币的币值有1，5，10，20，50，100。

首先：对于，1<=a<=100，a都能用以上钱币组合而得到。

那为什么我们用贪心算法能找到最优解？其实很简单，因为对于任何一个币值，任何2张比他的小的加起来都不会比他大。比如对于100元，就算用2张50，加起来也不会超过100，那么，能用100的地方，如果你用了比他小的面值，用的张数肯定不会比他小。

我的证明如下：

假设需要找零的钱是a，我们用贪心算法得到的解是{x_1，x_2,....,x_6}，（x_1对应使用1元的张数，x_2对应使用5元的张数，依次类推，比如一个解为{1,0,0,2,0,1},那么对应的是1*1+0*5+0*10+2*20+0*50+1*100=141，），假设 最优解为 {y_1，y_2,....,y_6}  , 

我们用c[i],i=1,2,3,4,5,6.来表示人民币的面值(可以理解为c[1]=1,c[2]=5,...c[6]=100)

如果最优解和我们用贪新算法得到的解不一样，那么一定存在 x_k!=y_k,设 k是其中最大的数，（明显k!=1） ，  那么只有2种情况：

情况1.   x_k<y_k ，由于我们贪婪算法每次选的都是最大的，当贪婪算法都不能再选择c[k]，即当前找零肯定是小于c[k]，如果再选择c[k]是不可能的，所以不存在x_k<y_k 的情况。

 情况2， x_k>y_k,  那么 从 解集y中，从比c[k]小的面值中至少选择2张，组成c[k]的面值，那么，这是我们就能得到另一个最优解 z，明显z使用的张数要比y的小，与y是最有解矛盾。所以假设不成立，得证。

那么有没有办法判断一组币值是否通过贪婪算法得到最优解呢？http://arxiv.org/pdf/0809.0400v1.pdf中给出了相关证明和算法