[Muse Dash] 乐串

传送门 luogu U139568

题目背景

(Welcome ~~ to~ ~Muse~ Dash ~!)

题目描述

题目共给出 (T) 组字符串。你需要对题目中每组字符串 (s) 进行判断操作。

• 长条：以两个字符 O （大写字母 O）为起点和终点的字符串。它分为 “合法长条” 和 “不合法长条” 两种。题目所给的每组字符串里可以包含多个长条。

• 连接符：字符 - （减号）。它仅能出现在长条的起点和终点之间，一个长条中可以有多个连接符。

• 占位符：字符 . 和 (25) 个大写英文字母（没有大写 O ） 。它们仅能出现在长条之外，起占位作用。

• 合法长条：在长条中间可以有并且仅能有连接符连接，也可以没有连接符连接；而且此长条的起点不能为其他长条的终点，此长条的终点不能为其他长条的起点，即字符 O 不能同时为两个不同长条的组成元素。

如果一个长条不满足上述合法长条的定义，那么这个长条就为 “不合法长条” 。

寻找字符串中长条的顺序：从左至右。各个长条分别取交集的集合都必须为空集。即如果已经找到一个字符 O 为长条的起点，那么右边离它最近的字符 O 就必须为这个长条的终点。具体见样例的第 (4) 组数据。

题目所给的每组字符串分为 “黑乐串” 和 “白乐串”。符合黑乐串的条件为：

1. 本组字符串中有 “不合法长条” 。
2. 连接符出现在了长条外。
3. 存在一长条只有起点没有终点。

白乐串即为非黑乐串的字符串。现在，你需要判断每组字符串是白乐串还是黑乐串。

输入格式

第一行为两个字符 T= 和一个正整数 (T) ，(T) 代表数据组数。

在每组数据中：第一行输入一个正整数 (n) ，代表字符串长度，第二行输入一个非空字符串 (s) ，代表需要判断的字符串。

字符串 (s) 中的每个字符保证为 (26) 个大写英文字母 和 . 和 - 之一。确保每个字符串 (s) 中都出现字符 O 。

输出格式

输出共 (T) 行。

每一行为 Yes 或 No ，分别代表该组数据是白乐串或黑乐串。

样例输入 #1

T=4
4
O--O
4
.OO.
5
O-OOO
15
O--OO-OOOO-O.OO

样例输出 #1

Yes
Yes
Yes
Yes

样例输入 #2

T=4
5
-O--O
5
O-.-O
7
O-O-O-O
21
O-O.I.AK.IOOI.AK..O--

样例输出 #2

No
No
No
No

数据范围

对于前10%的数据，保证所有字符串为黑乐串 .

对于前30%的数据，保证 (T<10,n<200) .

对于前50%的数据, 保证 (T<20,n<5000) .

对于前80%的数据，保证 (T<30,n<50000) .

对于另外10%的数据，保证 (T=2，n=2333333) .

对于再另外10%的数据，保证 $ T=2,n=23333333$ .

时间限制：前90%的数据为 (1s)，后10%的数据为 (2s) 。

空间限制：(10MB)

样例解释：

设每个字符串 (s) 中，从左往右数第一个字符的位置为 (1) 。

#1

2. 对于字符串 .OO. ，其中包含一个合法长条 ([2,3]) 。注意合法长条的定义。
3. 对于字符串 O-OOO ，其中包含 (2) 个合法长条，分别为 ([1,3],[4,5]) 。
4. 对于 O--OO-OOOO-O.OO ，包含 (5) 个合法长条，分别为 ([1,4],[5,7],[8,9],[10,12],[14,15]) 。

#2

1. 对于 -O--O ，字符 (1) 不应该出现在长条外。
2. 对于 O-.-O ，字符 (3) 不应该出现在长条内。
3. 对于 O-O-O-O ，存在两个合法长条：([1,3],[5,7]) 。对于字符 (4) ，因为在 ([1,3]) 已经构成长条，则字符 (4) 位于长条外，这是被禁止的。
4. 对于 O-O.I.AK.IOOI.AK..O--（长度为21） ，字符 (19) 之前无异常现象。字符 (19) 作为新长条的起点，在它右边没有找到终点。