感觉#7和#8应该是n%3==0的情形
【之前写错一个数……会导致n%3==0的情形只输出-1……
修改之后虽然#7和#8还是WA（那么这两个点肯定不是-1了），
但是程序的运行时间足足长了一倍（应该多在输出上了……）】
现在，
当n%3==0时，如果方程组有解，则必有无穷多组整数解，
不过如果t[0]确定，那么t[3],t[6],...也随之确定，
同样地如果t[1]确定，那么t[4],t[7],...也随之确定，
然后……如果t[0],t[1]确定了，t[2]也确定了……然后所有都确定了，
于是……
我现在暂定t[0]=1，然后计算t[3],t[6],....，
找出其中最小的数，记其大小为t，如果t=1就皆大欢喜，
否则令t[0]=2-t，这相当于把所有数加上1-t，使得最小数=1，
对t[1]进行相同操作，
这样能使t[0]和t[1]最小化，
然后再依次计算t[2],t[3],...,t[n-1]，
若t[n-1]+t[0]+t[1]!=b[0]或者t[n-2]+t[n-1]+t[0]!=b[n-1]
则此时原方程是无解的，
否则判断是否每一个数≥1，
根据之前的操作，此时只有t[2],t[5],...可能≤0，
如果这组解是合法的，由于t[0],t[1]最小，应该是字典序最小的一组解……
虽然还是WA了#7和#8……
【或者这两组数据其实不是n%3==0的情形？】
于是现在各种求解……先预支万分的感谢好啦……

附上代码：http://paste.ubuntu.com/10271559/