Codeforces 1088C Ehab and a 2-operation task

网址：http://codeforces.com/contest/1088/problem/C
对于一个数组可以进行两种操作，一个是使得1到i的所有数加上x，一个是使得1到i的所有数模x，在不超过n+1次操作以内使得这个数组严格单调增。如果a[n]是一个足够大(大于n-1)的数，那么a[n-1]~a[1]只要全部模a[n]等于a[n]-1 a[n]-2 a[n]-3 … 这样就可以通过一次模操作得到一个严格递增序列了。因此先通过至多1次加操作保证a[n]足够大，再通过至多n-1次加操作把a[1]到a[n-1]调整到模a[n]等于a[n]-1 a[n]-2 a[n]-3 … 的状态，再通过一次取模操作得到答案。这样就可以在n+1次操作内完成目标了。程序时间复杂度已经足够，不过plus操作还可以优化，只要维护一个sum就好，没必要真的在每一项上加。
开头特判了一下已经是严格递增序列的情况。

#include <cstdio>
#include <cstdlib>

using namespace std;

const int N=2018;

int n=0,a[N],cnt=0,ans1[N],ans2[N],ans3[N];

void plus(int i,int x) {
	ans1[cnt]=1;
	ans2[cnt]=i;
	ans3[cnt++]=x;
	for (int j=1;j<=i;++j)
		a[j]=a[j]+x;
}

int main(void) {
	scanf("%d",&n);
	for (int i=1;i<=n;++i)
		scanf("%d",a+i);
	int flag=1;
	*a=-1;
	for (int i=1;i<=n;++i)
		if (a[i]<=a[i-1]) {
			flag=0;
			break;
		}
	if (flag) {
		printf("0\n");
		exit(0);
	}
	if (a[n]<n-1)
		plus(n,n-1-a[n]);
	for (int i=n-1;i>0;--i) {
		int mod=a[i]%a[n],g=a[n]-n+i;
		if (mod<g)
			plus(i,g-mod);
		else if (mod>g)
			plus(i,a[n]+g-mod);
	}
	printf("%d\n",cnt+1);
	for (int i=0;i<cnt;++i)
		printf("%d %d %d\n",ans1[i],ans2[i],ans3[i]);
	printf("2 %d %d",n-1,a[n]);
	return 0;
}