t题目链接：http://codeforces.com/contest/1291/problem/B
思路：
用极端的情况去考虑问题，会变得很简单。
无论是单调递增，单调递减，或者中间高两边低的情况都可以变为三种模型。
（1）0,1,2,3,4........n-3,n-2,n-1
（2）n-1,n-2,n-3.....3,2,1,0
（3）0,1,2,3,4,.....n.......4,3,2,1,0
那么，我们只需要查看当前位置是否大于等于极端模型（3）在这个位置的数值，如果当前位置不满足了，
那么我们就让当前位置和之后的数值去和极端模型（3）n后面递减的数值去比较，如果还有不满足的情况说明就是“NO”了。
注意一种情况 0 1 1 0需要特殊处理一下。
1 #include <iostream> 2 using namespace std; 3 4 const int N = (int)3e5+100; 5 int a[N]; 6 7 int main(){ 8 9 int T,n; 10 while(cin >> T){ 11 while(T--){ 12 cin >> n; 13 for(int i = 1; i <= n; ++i) cin >> a[i]; 14 int i; 15 bool ok = 1; 16 //递增区间判断 17 for(i = 1; i <= n; ++i){ 18 if(a[i] >= i-1) continue; 19 break; 20 } 21 // 0 1 1 0 这种情况判定 22 if(i <= n){ 23 if(a[i] == a[i-1] && !(a[i] >= n-i+1)) ok = 0; 24 } 25 //递减区间判定 26 for(; i <= n; ++i){ 27 if(a[i] >= n-i) continue; 28 ok = 0; break; 29 } 30 //if(ok) cout << "----------Yes" << endl; 31 //else cout << "----------No" << endl; 32 if(ok) cout << "----------Yes" << endl; 33 else cout << "----------No" << endl; 34 } 35 } 36 37 }