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}\)

而这个序列显然是更优的