題意：

遞迴定義了k-quotation是k個分號+若干個(k-1)-quotataion+k個分號，然後給你很多個分號，叫你求一下最大是多少quotation。

思路：

對於一個k-quotation，分號的字首形式肯定是(k)(k-1)(k-2)..(1)(1)，然後後面可以考慮繼續接(1)(1)或者接一個(2)。因此，可以先列舉quotation為k，從後往前dp。dp[i][j][t] 表示考慮a[i]第j個以及後面的分號，它的前面是有一個(t - 1)的分號，能不能構成滿足條件的分法。有兩種轉移，一種是再接一個(t-1)-quotation，也就是(t-1)(t-2)...(1)(1)，或者是結束這個(t-1)-quotation,加上一個(t)。

#include <bits/stdc++.h>

using namespace std;

#define LL long long
#define pii pair<int, int>
#define MP make_pair
#define inf 0x3f3f3f3f
#define mod 1000000007
#define eps 1e-12
#define Pi acos(-1.0)
#define N 110
#define M 200020
#define PB push_back
#define MP make_pair
#define fi first
#define se second

bool dp[N][N][N];
pii f[N][N][N];

int n, a[N];

pii calc(int x, int y, int t) {
	pii ret(-1, -1);
	for(int i = t; i >= 1; --i) {
		if(y + i - 1 > a[x]) return ret;
		y += i;
		if(y > a[x]) x++, y = 1;
		if(x > n) return ret;
	}
	y++;
	if(y > a[x]) x++, y = 1;
	return MP(x, y);
}

pii jump(int x, int y, int t) {
	if(y + t - 1 > a[x]) return MP(-1, -1);
	y += t;
	if(y > a[x]) x++, y = 1;
	return MP(x, y);
}
int main() {
	scanf("%d", &n);
	for(int i = 1; i <= n; ++i) {
		scanf("%d", &a[i]);
	}
	for(int i = 1; i <= n; ++i) {
		for(int j = 1; j <= a[i]; ++j) {
			for(int t = 1; t <= 100; ++t) {
				f[i][j][t] = calc(i, j, t);
			}
		}
	}
	int ans = 0;
	for(int k = 1; k <= 100; ++k) {
		if(f[1][1][k].fi == -1) continue;
		memset(dp[n + 1][1], 0, sizeof dp[n + 1][1]);
		dp[n + 1][1][k] = 1;
		int dx = f[1][1][k].fi;
		int dy = f[1][1][k].se;
		for(int i = n; i >= dx; --i) {
			for(int j = a[i]; j >= 1; --j) {
				for(int t = k - 1; t >= 1; --t) {
					pii p = jump(i, j, t + 1);
					dp[i][j][t] = 0;
					if(p.fi != -1) {
						dp[i][j][t] |= dp[p.fi][p.se][t + 1];
					}
					if(f[i][j][t].fi != -1) {
						int xx = f[i][j][t].fi;
						int yy = f[i][j][t].se;
						dp[i][j][t] |= dp[xx][yy][1];
					}
				}
			}
		}
		if(dp[dx][dy][1]) ans = max(ans, k);
	}
	if(ans == 0) puts("no quotation");
	else printf("%d\n", ans);
	return 0;
}