2020 CSP-J T3 表达式（栈+二叉树）

2020 CSP-J T3 表达式

题解

如何把后缀表达式转回普通表达式？

• 观察样例，不难发现，$and$和$or$运算符一定是插入在前面最近的两对括号之间，$not$则是在前面最近的一对括号前。括号是什么？每个变量两边可以看做有一对括号，每次运算结束后可以在两边加上一对括号。即“$(xxx)$ $(yyy)$ $and$”可变为“$((xxx)$ $and$ $(yyy))$”，其余同理。

• 那么直接把整个字符串从左往右扫一遍，遇到变量则压入栈中，$and$和$or$则弹出栈顶两个元素，$not$则弹出栈顶一个元素，再把运算符连同刚刚弹栈的部分看做是一个整体，一起压入栈中。

怎么维护询问？

• 在弹栈过程中，把整个表达式建成一棵二叉树，所有叶子结点记录变量的编号，非叶子结点记录运算符和左右儿子编号（$not$没有左儿子）。先遍历整棵树，求出每个子树的最初的值，记录在子树的根上。

• 单独维护每个变量修改复杂度过高，可以考虑整棵树一起做。把整棵树遍历一遍，求出使整个表达式的值为真时，每个子树需要满足什么条件，有四种情况，分别为：取$0$，取$1$，取 0 /