arc188

A:
考虑判定，我们ABC的数量必须同奇同偶。这样就是可以做掉的。这个n很小啊。我们设dp[i][j][2][2][2]为做到第i位已经有j个子串符合条件且1-i,a,b,c,数量为奇，偶的方案数。这个其实前面。我们总共就四种情况，一个子串已经合法，再+a合法，再+b合法，再+c合法。所以我们dp[i][t1][t2][t3][t4][已经有多少合法子串]有多少方案。感觉完全偏掉了啊。也就是说我们每加进去会贡献一些子串，那这样我们就是n^7，nnd，怎么优化两维。显然是最后寄了。

B:
之前做过了

C:
一眼2-SAT啊。但是发现这个东西有两个属性，怎么办呢？
我们定义一下a。
因为要求的是是否糊涂。如果A糊涂且诚实，那么b就，但这样一个会拆成四个。怎么办呢。

那么我们可以发现一句话的成立条件是和a糊涂，诚实，b的身份有关。
设村民的糊涂为p
a^pc=b的身份
a^p=bc
x^b=c
容易理解
左边和A有关，右边和B
所以我们设d=a^p
所以就变成了正常的2SAT
考虑怎么得出解。
如果r为1，那么b的身份就是c^1，如果r为0，那么b的身份就是c，这不对啊？
这个可以用2sat吗？
我们发现这个l和x无关，所以我们求出一组l和x的解即可。