2562: 逻辑运算
Description
Farmer John 有一个布尔语句,包含N个关键字(1≤N<2×105,N为奇数)。奇数位置仅出现 true或 false,偶数位置上仅出现 and 或 or。
一个 x OPERATOR y形式的短语,其中 x 和 y 为 true 或 false,而 OPERATOR 为 and 或 or,按如下规则求值:
- x and y:如果 x 和 y 均为 true,则求值结果为 true,否则为 false。
- x or y:如果 x 或 y 为 true,则求值结果为 true,否则为 false。
在求值该语句时,FJ 必须考虑 Moo 语言中的运算符优先级。与 C++ 类似,and 优先级高于 or。更具体地说,在求值该语句时,重复以下步骤直至该语句仅包含一个关键字。
1. 如果语句中包含 and,选择其中任意一个,并将其周围的短语替换为其求值结果。
2. 否则,该语句包含 or。选择其中任意一个,并将其周围的短语替换为其求值结果。
可以证明,如果在指定的一个步骤中可以求值多个短语,那么选择哪一个求值并不重要;该语句最终的求值结果将始终相同。
FJ 有 Q(1≤Q≤2×105)个询问。在每个询问中,他给你两个整数 L 和 R(1≤L≤R≤N,L和 R均为奇数),并删除关键字 L到关键字 R 之间的段。反过来,他希望用一个简单的true 或 false 替换他刚刚删除的段,以使整个语句的求值结果为某个指定的布尔值。帮助 FJ 判断是否可行!
Input
输入的第一行包含 N 和 Q。
下一行包含 N 个字符串,为一个合法的布尔语句。
以下 Q 行,每行包含两个整数 L和 R,以及一个字符串 true 或 false,表示他希望整个语句的求值结果为 true 还是 false。
Output
输出一个长度为 Q 的字符串,其中如果第 i 个询问的结果为可能,则第 i 个字符为 Y,否则为 N。
Sample Input Copy
5 7
false and true or true
1 1 false
1 3 true
1 5 false
3 3 true
3 3 false
5 5 false
5 5 true
Sample Output Copy
NYYYNYY
HINT
如果我们删除段 [1,1] 并替换为 true,那么整个语句将变为:
true and true or true
我们对位置 2 处的 and 关键字求值,得到
true or true
由于我们没有剩下的 and 关键字,我们必须求值 or 关键字。求值结束后,余下的是
true
可以证明,如果我们用 false 替换该段,该语句仍将求值为 true,因此我们输出 N,因为该语句不可能求值为 false。
对于第二个询问,我们可以将段 [1,3] 替换为 true,整个语句将求值为 true,因此我们输出 Y。
对于第三个询问,由于 [1,5] 是整个语句,我们可以将其替换为任意内容,因此我们输出 Y。
测试点性质:
测试点 3-5:N,Q≤100。
测试点 6-8:N,Q≤1000。
测试点 9-26:没有额外限制。