编程题
### 问题描述
诺伊是一个来自远古的石匠,存在一个长度为 $N$ 的二进制石头队列,他有一个神秘的力量可以进行如下操作:
- 选择一个下标 $i(1 \leq i <|S|)$ 满足 $S_i=S_{i+1}$。
- 将 $S_i$ 设置为 $0$,并移除 $S_{i+1}$。
诺伊的目标是,通过反复执行这个操作,最终只留下一块石头。他拥有的石头队列可以用二进制字符串来表示,其中每个 '1' 表示一块具有共鸣力量的石头,每个 '0' 表示一块力量已经被设为零的石头。
诺伊想知道,对于给定的石头队列,是否有可能通过恰好 $N-1$ 次操作,将石头队列减少到只剩下一块石头?
### 输入格式
输入的第一行包含一个整数 $T$,表示石头队列的个数。接下来的 $T$ 对行,每对行描述一个石头队列:
- 第一行包含一个整数 $N$,表示石头队列的长度。
- 第二行包含一个长度为 $N$ 的二进制字符串,表示石头队列。
数据范围保证:
$1 \leq T \leq 10^3$。
$ 1\leq N \leq 2 \times 10^5$。
保证每个测试用例 $N$ 的总和不超过 $2 \times 10^5$。
### 输出格式
对于每个石头队列,如果存在一种方式,通过恰好 $N-1$ 次操作,将石头队列减少到只剩下一块石头,就输出 "YES"(不含引号);否则,输出 "NO"(不含引号)。每个答案占一行。
### 样例输入
```text
4
2
11
2
10
4
1100
3
101
```
### 样例输出
```
YES
NO
YES
NO
```
### 说明
对于第一个石头队列,诺伊可以选择第 $1$ 块和第 $2$ 块石头进行操作,将第 $1$ 块石头的力量设为零,并移除掉第 $2$ 块石头,这样就只剩下一块石头了。