AtCoderの問題について質問です。

Question

前提・実現したいこと

初心者です。
以下の問題を解きたいのですが、添付のソースコードを実行すると毎回不定値が出力されてしまいます。
どこが間違っているのか教えていただきたいです。。

N個の箱が横一列に並んでいます。 最初、左から
i番目の箱には
a[i]個のキャンディが入っています。

すぬけ君は次の操作を好きな回数だけ行うことができます。

キャンディが
1個以上入っている箱をひとつ選び、その箱のキャンディを
1個食べる。
すぬけ君の目標は次の通りです。

どの隣り合う
2つの箱を見ても、それらの箱に入っているキャンディの個数の総和が
x以下である。
目標を達成するために必要な操作回数の最小値を求めてください。

制約
2≤N≤10^5
0≤a[i]≤10^9
0≤x≤10^9

該当のソースコード

#include <iostream>

using namespace std;

int main () {

    unsigned long N, x;
    cin >> N >> x;

    unsigned long a[N];

    for (int i=0; i<N; i++)
    cin >> a[i];

    unsigned long sum = 0;
    while (a[0] > x){
        sum++;
        a[0]--;
    }
    for (int j=0; j<N; j++){
        while(a[j]+a[j+1] > x){
            sum++;
            a[j+1]--;
        }
    }

    cout << sum << "\n";
}

Answer 1

ところどころ怪しいところがありますが、とりあえず完全にアウトなのはここです。

for (int j=0; j<N; j++){
while(a[j]+a[j+1] > x){

a[N]への範囲外アクセスが発生しています。

---

配列の要素数を動的に決定することは、標準の文法では許されていないように思います。
C++ならばvectorの利用を検討してください。

Comments

[bumpkei]

範囲外アクセスとはどういうことでしょうか...??

[LouiS0616]

j の値が N-1 のとき、a[j+1] は a[N] へのアクセスになります。
N要素の配列は 0 から N-1 までしか無く、範囲外のアクセスを試みたときの動作は未定義です。

[bumpkei]

ありがとうございます！j<Nをj<N-1に変更したところ正答が得られました！
ただ、もう少し実行速度を上げたいのですが、そのためにはどうすればいいでしょうか...？
あと、配列の要素数を動的に決定してはいけないとよく聞くのですが、実際はこのようなコードでも実行できてしまいます。。なぜなんでしょうか？？
いろいろ聞いてすみません...

[bumpkei]

前者の質問についてなんですが、while文をif文にして、sumと要素にそれぞれ+=と-=を適用することで解決できました！！
後者の質問についてご教授くださると幸いです。。

[LouiS0616]

> 配列の要素数を動的に決定してはいけないとよく聞く

文法上認められていないからです。

コンパイラに依っては独自拡張としてサポートしている場合もありますが、その場合コンパイラを差し替えただけで動作しなくなってしまいます。
実際、ご提示のコードはclangではコンパイルできません。

また、生配列よりvectorの方が機能が充実しており一般にコーディングが楽です。

[bumpkei]

なるほど。。色々とご丁寧に解説してくださり本当にありがとうございました！