309：最佳买卖股票时机含冷冻期

思路：用两个长度为n的列表分别存储第i天buy和sell的最大收益，cool表示第i天冷冻时的最大收益。
递推公式：sell[i] = max(buy[i-1]+prices[i], sell[i-1])
buy[i] = max(cool[i-1]-prices[i], buy[i-1])
cool[i] = max(sell[i-1], buy[i-1], cool[i-1])
但其实cool[i]实际上只能等一sell[i-1]，所以第三个公式可以去掉。