BAJ-Bytecomputer

这一道题目作为最玄学的无法严格证明的题目记住，加深一下印象

主要是阐述第一个题解说明的问题

我们的AC代码也有这个问题，对于第一篇题解给出的那个反例，我们也会输出INF的

但是看看第一篇题解下面说的，我们不用考虑来回修改的问题

为什么？这里解释一下$a_i$为$-1$但是要将$a_i$修改为$0$的情形（其他情况还没思考过，有空了思考一下）

如果我们硬要将$a_i$变成$0$且符合单调递增的情形，那么有四步：

一.将$a_{i-1}$变为$1$

二.将$a_i$加上$a_{i-1}$

三.将$a_{i-2}$变为$-1$

四.将$a_{i-1}$加上$a_{i-2}$

经过这四步之后，这个序列就变成了一个以$0$结尾的不降序列了

然而，我们却可以用同样的步数，将这个序列变成一个以$1$结尾的不降序列：

一.将$a_{i-1}$变为$1$

二.将$a_{i-2}$变为$-1$

三.将$a_{i-1}$加上$a_{i-2}$

四.将$a_{i-1}$加上$a_{i-2}$

而这个序列显然是更优的