CF1603A

题面：https://codeforces.com/problemset/problem/1603/A

大致题意：给定数组$a_1,a_2,....,a_n$,每次可以消除掉$a_i$,如果满足条件：$a_i%(i+1)!=0$,每次消除后更新数组的下标，判断所给数组能否变成空数组

题解：对于给定的$a_i$，与其原始下标i，易知，$a_i$的下标经过变换后只能为1~i，若1~i的范围内存在下标，则可将数移到该位置消去。

如何保证下标范围为1~i，即前面的数均可消去，而如果前面的数出现不可消去的数，则直接输出NO，故上述条件为充分必要条件

#include<algorithm>
#include<cmath>
#include<iostream>
#include<cstring>
#include<set>
#include<queue>
#include<vector>
#include<string>
#include<map>
#include<cstdio>
#include<list>
#include<stack>
#include<deque>;
#include<unordered_set>
using namespace std;
using ll = long long;
ll T;
ll n;
ll m, k;
ll a[300005];
ll ans[300005];
const ll INF = 1e12;
int main()
{
	cin >> T;
	while (T--)
	{
		cin >> n;
		for (ll i = 1; i <= n; i++)
		{
			cin >> a[i];
		}
		bool OK = 1;
		for (ll i = 1; i <= n; i++)
		{
			bool flag = 0;
			for (ll j = i; j >= 1; j--)
			{
				if (a[i] % (j + 1) != 0)
				{
					flag = 1;
					break;
				}
			}
			if (!flag)
			{
				OK = 0;
				break;
			}
		}
		cout << (OK ? "YES\n" : "NO\n");
	}
		
	return 0;
}