leetcode:860.柠檬水找零

题目描述：

在柠檬水摊上，每一杯柠檬水的售价为 5 美元。顾客排队购买你的产品，（按账单 bills 支付的顺序）一次购买一杯。

每位顾客只买一杯柠檬水，然后向你付 5 美元、10 美元或 20 美元。你必须给每个顾客正确找零，也就是说净交易是每位顾客向你支付 5 美元。

注意，一开始你手头没有任何零钱。

给你一个整数数组 bills ，其中 bills[i] 是第 i 位顾客付的账。如果你能给每位顾客正确找零，返回 true ，否则返回 false 。

示例一：

输入：bills = [5,5,5,10,20]
输出：true

示例二：

输入：bills = [5,5,10,10,20]
输出：false

题目解析：

这是一道经典的找零问题，初识的资金是0，需要通过想顾客买水来获取资金，再通过获取到的资金来向用户找钱，如果到最后一个顾客钱还是可以找开，就返回true，否则返回false。

这道题是一道金典的贪心算法问题，可以分为三种情况来讨论：

1.收到是顾客的5元：

直接收下，不用进行找钱，并记录5元钱个数

2.收到是顾客的10元：

需要判断有没有之前顾客给的5元钱，所以需要用一个变量来记录5元钱的个数

有5元钱：直接找给顾客，将自己的5元计数--，再将自己的10元计数++

没有5元钱：进行不下去，直接返回false。无法达到目的

3.收到是顾客的20元：

有两种找钱方法：

（1）10 + 5：

首先判断资有没有顾客之前给的5元和10元，

有5元和10元：

将5元的计数--，将10元的计数--，这里不用设计20元的计数，因为20元是没法找出去的。

没有5元或10元：

进行不下去，直接返回false。

（2） 5 + 5 + 5：

首先判断自己的5元计数的个数是不是>=3，

满足：

将自己的5元计数 -= 3，

不满足：

进行不下去，直接返回false.

对应的代码编写：

class Solution {
public:
    bool lemonadeChange(vector<int>& bills) 
    {
        int five = 0;
        int ten = 0;
        for(auto x : bills)
        {
            if(x == 5)
            {
                five++;
            }
            else if(x == 10)
            {
                if(five == 0)
                {
                    return false;
                }
                else
                {
                    ten++;
                    five--;
                }
            }
            else
            {
                //  贪心
                if(ten && five)
                {
                    ten--;
                    five--;
                }
                else if(five >= 3)
                {
                    five -= 3;
                }
                else
                {
                    return false;
                }
            }

        }
        return true;
    }
};

这就是对应的代码。

那么如何证明这种贪心的算法就是最优的呢？

证明如下：

证明策略：交换论证法

存在异议的只是当客户给20时，对应的10 + 5和5 + 5 + 5，所以只用讨论10的存在与否：

10不存在：

都是 5 + 5 + 5，可以将最优解调整成贪心解。

10存在：

可以将 10 + 5，和 5 + 5 + 5的位置互换，也可以调整成贪心解。