$dp_{i,j,l,r}$ 表示 $i$ 到 $j$ 的区间值域为 $[l,r]$ 的最大长度。

那么初始化时为什么不是 $dp_{i,i,a_i,a_i}=1$？

而是如tj一样的繁杂的初始化：

for (int i=1;i<=n;i++)
    {
        scanf("%d",&a[i]);
        for (int L=1;L<=a[i];L++)
            for (int R=a[i];R<=50;R++)
                dp[i][i][L][R]=1; // L, R还需要枚举？
    }