@Webreh вот взял алгоритм поиска НВП с emaxx там такие строчки int

Question

@Webreh вот взял алгоритм поиска НВП с emaxx там такие строчки int

d[MAXN];
d[0] = -INF;
...
for (int i=1; i<=n; ++i)
d[i] = INF;
...
for (int i=0; i<n; i++) {
int j = int (upper_bound (d , d + MAXN, a[i]) - d);
if (d[j-1] < a[i] && a[i] < d[j])
d[j] = a[i];
}
j может же быть равно MAXN?
и тогда вызовется d[j] - это же ub?
или тут как то умно это предусмотрено и я ничего не вижу?