D - Logical Expression

题目来源：https://atcoder.jp/

一、题目大意

给定N个字符串S₁ ，…，S_n ，每个字符串内容为 AND 或 OR 。找到使y_n为1的序列（x₀ ，…，x_n）的数量。
1.y₀ = x₀
2.对于i >= 1 ,当S_i 为AND时，y_i =y _i-1 ∧x_i ；当S_i 为OR时，y_i =y _i-1 ∨x_i

二、输入

第一行，一个正整数 N 。
后面N行为S₁ …S_n

三、输出

满足条件的序列数量

四、样例

样例一

input:

2
AND
OR

output:

5

样例二

input:

5
OR
OR
OR
OR
OR

output:

63

五、代码+思路

方法一 动态规划

参考大佬：https://www.cnblogs.com/HotPants/p/14320191.html

定义状态f[i][j] 表示y_i 为 j 的方案数量
入口：f[0][0] = 1 , f[0][1] = 1
状态转移：
若第i个操作为AND，若要使y_i 为0：x_i为1，y_i-1为0，或者x_i为0，y_i任意。
若第i个操作为AND，若要使y_i 为1：x_i为1，y_i-1为1。
f[i][0] = f[i - 1][0] + (f[i - 1][0] + f[i - 1][1])
f[i][1] = f[i - 1][1]
若第i个操作为OR，若要使y_i 为0：x_i为0，y_i-1为0。
若第i个操作为OR，若要使y_i 为1：x_i为1，y_i-1任意，x_i 为0，y_i-1 为1
f[i][0] = f[i - 1][0]
f[i][1] =(f[i - 1][1] + f[i - 1][0]) + f[i - 1][1]
出口：f[n][1]

#include<iostream>
typedef long long ll;
using namespace std;
int main() {
	ll f[64][2];
	for (int i = 0; i < 64; i++)
		f[i][0] = 0, f[i][1] = 0;
	f[0][0] = 1, f[0][1] = 1;
	int n;
	cin >> n;
	string op;
	for (int i = 1; i <= n; i++) {
		cin >> op;
		if (op == "AND") {
			f[i][0] = f[i - 1][0] + f[i - 1][1] + f[i - 1][0];
			f[i][1] = f[i - 1][1];
		}
		else {
			f[i][0] = f[i - 1][0];
			f[i][1] = f[i - 1][0] + f[i - 1][1] + f[i - 1][1];
		}
	}
	cout << f[n][1] << endl;
	return 0;
}

方法二 位运算

y₀ = x₀
y₁ = y₀op₁x₁ = x₀op₁x₁
y₂ = y₁op₂x₂ = x₀op₁x₁op₂x2
…
综上
y_n = x₀op₁x₁op₂x₂…x_n-1op_nx_n
要使y_n=1，只需让n+1个x相运算为1.

假设已经有了n个x组成的序列，这时候输入了op_n，如果op_n是AND，也就是说整个运算的最后一步是与运算，所以最后一位就必须是1，总方案数没有增加；如果op_n是OR，也就是说运算的最后一步是或运算，那么，如果x_n为0，总方案数没有增加，如果x_n为1，那么前面n个x可以任取，总方案数就增加2ⁿ个。

#include<iostream>
typedef long long ll;
using namespace std;
int main() {
	string str;
	int n;
	cin >> n;
	ll res = 1;
	for (int i = 1; i <= n; i++) {
		cin >> str;
		if (str == "OR") res += 1ll << i;
	}
	cout << res << endl;
	return 0;
}