AtCoderBeginnerContest136_C

Question

#AtCoderBeginnerContest136_C

以下のような問題に取り組んでいますが、うまく正答が出せないためアドバイスをいただきたいです。

[問題]

左右一列に N個のマスが並んでおり、左から i番目のマスの高さは Hiです。あなたは各マスについて 1度ずつ次のいずれかの操作を行います。マスの高さを 1低くする。何もしない。操作をうまく行うことでマスの高さを左から右に向かって単調非減少にできるか求めてください。入力は全て整数である。
1≤N≤10の5乗　1≤Hi≤10の9乗

##実装

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
const long long INF = 1LL << 60;

int main(){
    int N;
    cin >> N;
    vector<int> V(N);
    for(int i=0; i<N; i++) cin >> V[i];

    for(int i=0; i<N; i++) {
        if (i < N-1) {
            if(V[i] - V[i+1] > 1) {
                cout <<"No" << endl;
                return 0;
            }
        }
        if (i < N-2) {
            if(V[i] >= V[i+1] && V[i+1] > V[i+2]) {
                cout << "No" << endl;
                return 0;
            }
        }
    }
    cout << "Yes" << endl;
}

以上のコードで問題のケースを網羅していると考えていたのですが、正答が出ませんでした。
2ケースほど。

どのようなケースについて考えられていないのかアドバイスをいただけると幸いです。
またコードとしてあまり読みやすいとは言えない（良いコードとは言えない）と思っています。
コードに対する改善点もあればアドバイスをいただけるとありがたいです。

初歩的な質問で申し訳ございませんが、よろしくお願いいたします。

Comments

[mjk]

AtCoderには解説がありますよ。解説を見たくないということでしょうか？
https://img.atcoder.jp/abc136/editorial.pdf
公式ではないですが問題名などで検索れば大抵解答例もあります。
https://yamakasa.net/atcoder-abc-136-c/

Answer 1

            if(V[i] >= V[i+1] && V[i+1] > V[i+2]) {
                cout << "No" << endl;
                return 0;
            }

ここの評価はV[i+1]だけ減らす場合を考えて"No"という評価にしてるのだと思いますが、実際にはV[i]とV[i+1]の両方を減らすことで単調非減少にできる場合があります。

3
2 2 1
=> No(本当はYes, 1 1 1 にできる)