atcoderの問題(ABC136_C)が解けません。

Question

例の入力に対しての出力は合っていましたが、testcaseが2つほど通りません。
お力添えいただけると幸いです。
https://atcoder.jp/contests/abc136/tasks/abc136_c

N = int(input())
H = list(map(int,input().split()))
for i in range(N-1):
    if (H[i+1]-H[i]<=-1):
        H[i] -= 1
for i in range(N-1):
    if (H[i+1]-H[i]<=-1):
        print('No')
        exit()
print('Yes')

Answer 1

(H[i+1]-H[i]<=-1)

この条件式すごくわかりにくくないですか?
H[i] >= H[i+1] + 1
とかのほうがいいと思いますよ．条件式はなるべく簡潔に，見やすく，できれば負数の比較とかせずに行うのがおすすめです．

本題です．
この問題は「単調非減少にする」というものなので，左は小さくできるだけ小さくするべきですよね？ですので，H[i] == H[i+1]でもH[i]は全然-1できます．というかするべきです．なるべく減算していかないと，正しい結果が得られません．「もっと減算していれば単調非減少にできた」みたいなケースが出てきます．つまり減算は「できるならする」が原則になります．
ここで重要になる，「減算できない場合」です．それはずばり「減算すると左より小さくなる場合」です．つまりH[i-1] > H[i]-1です．逆にH[i-1] < H[i]であるなら減算できます．
あと減算した時点でA[i]より左は変わらないし，A[i+1]は小さくなりこそすれ大きくなることはないので，直後にNoの判定をするべきです．
というわけで自分がACしたのは次のコードです．for文中ではH[i-1]を参照するのでH[0]は先に処理しておきます．

def main():
    N = int(input())
    H = [int(x) for x in input().split()]
    H[0] -= 1
    for i in range(1, N - 1):
        if H[i-1] < H[i]:
            H[i] -= 1
        if H[i] > H[i+1]:
            print('No')
            break
    else:
        print('Yes')
    return
 
main()

Comments

[Taurus423]

回答いただきありがとうございます。
H[i] == H[i+1]のとき減算するとなると12113のときなどで通らないと思うのですが...
以下のように書き換えてみたのですがまだ通らないようです。
引き続き回答頂けると幸いです。

N = int(input())
H = list(map(int,input().split()))

for i in range(1,N):
if H[i-1]>H[i]:
H[i-1] -= 1
for i in range(1,N):
if H[i-1]>H[i]:
print('No')
exit()
print('Yes')

[kairi003]

減算するかどうかは、次の値ではなく前の値で評価するべきです。
H[i-1] -= 1 だと結局iとi+1で評価してるのと変わりません。
H[i] -= 1 です。
またH[0]は必ず減算できます。