#P17721. 「FunMusic OI 1D」爱我还是他 / Who Do You Love

「FunMusic OI 1D」爱我还是他 / Who Do You Love

背景

题目来源:【HT-127-Div.3】核桃CSP-J组模拟赛 &「FunMusic OI R1」

题目描述

连续发布四张专辑后,David 过度疲劳,想通过玩牌放松一下。

给定 nn 种等级的王,等级从 11 到 nn,11 级最低,nn 级最高,他有 aia_i 个 ii 级王。

David 可以执行以下操作任意多次(包括 00 次),每次操作从以下三种中选择一种:

  • 上级杀下级(一杀一):选择整数 ii(1≤i<n1 \le i < n),若手牌中 ii 级和 i+1i+1 级王的数量均 ≥1\ge 1,则消耗 11 个 ii 级王和 11 个 i+1i+1 级王。

  • 同级相杀(二杀一):选择整数 ii(1≤i≤n1 \le i \le n),若手牌中 ii 级王的数量 ≥3\ge 3,则消耗 33 个 ii 级王。

  • 下级杀上级(三杀一):选择 ii(1≤i<n1 \le i < n),若手牌中 ii 级王的数量 ≥3\ge 3 且 i+1i+1 级王的数量 ≥1\ge 1,则消耗 33 个 ii 级王和 11 个 i+1i+1 级王。

他的目标是通过一系列操作,使得每种王的数量都变为 00,请你判断是否存在一种操作方案。

输入格式

第一行一个整数 TT,表示测试数据组数。

接下来 2T2T 行,对于每组测试数据:

  • 第一行一个整数 nn。

  • 第二行 nn 个整数 a1,a2,⋯ ,ana_1, a_2, \cdots, a_n,依次表示 1,2,⋯ ,n1, 2, \cdots, n 级王的数量。

输出格式

对于每组测试数据,若能够全部清空,输出 YES,否则输出 NO。

3
3
3 5 1
1
3
5
2 1 0 1 0
YES
YES
NO

提示

【样例解释】

对于第 11 组测试样例,以下是其中一种满足要求的操作方案:

  • 第一次操作,下级杀上级,选择 i=1i=1,消耗 33 个 11 级王和 11 个 22 级王,此时 a=[0,4,1]a=[0, 4, 1]。

  • 第二次操作,同级相杀,选择 i=2i=2,消耗 33 个 22 级王,此时 a=[0,1,1]a=[0, 1, 1]。

  • 第三次操作,上级杀下级,选择 i=2i=2,消耗 22 级和 33 级王各一个,此时 a=[0,0,0]a=[0,0,0],因此答案为 YES。

对于第 33 组测试样例,可以证明不存在任何一种符合要求的操作方案。

【数据范围】

本题采用捆绑测试。

::cute-table{tuack} | 子任务编号 | n≤n\le | ai≤a_i\le | 特殊性质 | 分值 | | :--------: | :------------: | :-------: | :------: | :--: | | 11 | 55 | 55 | 无 | 1010 | | 22 | 3030 | 3030 | 无 | 1515 | | 33 | 100100 | 100100 | 无 | 1515 | | 44 | 2×1052\times 10^5 | 10910^9 | 有 | 55 | | 55 | 2×1052\times 10^5 | 22 | 无 | 1515 | | 66 | 2×1052\times 10^5 | 10910^9 | 无 | 4040 |

特殊性质:保证对于所有 1≤i≤n1\le i\le n,aia_i 是 33 的倍数。

对于 100%100\% 的数据,保证 1≤T≤51\le T\le 5,1≤n≤2×1051\le n\le 2\times 10^5,0≤ai≤1090\le a_i\le 10^9。