LeeCode打卡第十四天：1106解析布尔表达式

题目：

给你一个以字符串形式表述的 布尔表达式（boolean） expression，返回该式的运算结果。

有效的表达式需遵循以下约定：

• "t"，运算结果为 True
• "f"，运算结果为 False
• "!(expr)"，运算过程为对内部表达式 expr 进行逻辑 非的运算（NOT）
• "&(expr1,expr2,...)"，运算过程为对 2 个或以上内部表达式 expr1, expr2, ... 进行逻辑 与的运算（AND）
• "|(expr1,expr2,...)"，运算过程为对 2 个或以上内部表达式 expr1, expr2, ... 进行逻辑 或的运算（OR）

示例：

输入：expression = "!(f)"
输出：true

输入：expression = "|(f,t)"
输出：true

思路：

方法一：栈
给定的字符串 expression\textit{expression}expression 是有效的布尔表达式，每个运算符后面都有一对括号，括号中有一个或多个表达式。其中，逻辑非运算符后面的括号中有一个表达式，逻辑与运算符和逻辑或运算符后面的括号中有两个或以上表达式。

可以使用栈实现布尔表达式的解析。从左到右遍历布尔表达式，对于每种类型的字符，执行相应的操作：

如果当前字符是逗号，则跳过该字符；

如果当前字符是除了逗号和右括号以外的任意字符，则将该字符添加到栈内；

如果当前字符是右括号，则一个表达式遍历结束，需要解析该表达式的值，并将结果添加到栈内：

将栈内字符依次弹出，直到栈顶字符是左括号，然后将左括号和运算符从栈内弹出，记录弹出的 ‘t’\text{`t'}‘t’ 和 ‘f’\text{`f'}‘f’ 的个数；

根据运算符以及 ‘t’\text{`t'}‘t’ 和 ‘f’\text{`f'}‘f’ 的个数计算表达式的值，并将表达式的值添加到栈内：

如果运算符是 ‘!’\text{`!'}‘!’，则是逻辑非运算符，表达式的值为括号内的值取反，因此当 ‘f’\text{`f'}‘f’ 的个数等于 111 时表达式的值为 ‘t’\text{`t'}‘t’，否则表达式的值为 ‘f’\text{`f'}‘f’；

如果运算符是 ‘&’\text{`\&'}‘&’，则是逻辑与运算符，当括号内的所有值都是 ‘t’\text{`t'}‘t’ 时结果是 ‘t’\text{`t'}‘t’，否则结果是 ‘f’\text{`f'}‘f’，因此当 ‘f’\text{`f'}‘f’ 的个数等于 000 时表达式的值为 ‘t’\text{`t'}‘t’，否则表达式的值为 ‘f’\text{`f'}‘f’；

如果运算符是 ‘|’\text{`|'}‘|’，则是逻辑或运算符，当括号内至少有一个值都是 ‘t’\text{`t'}‘t’ 时结果是 ‘t’\text{`t'}‘t’，否则结果是 ‘f’\text{`f'}‘f’，因此当 ‘t’\text{`t'}‘t’ 的个数大于 000 时表达式的值为 ‘t’\text{`t'}‘t’，否则表达式的值为 ‘f’\text{`f'}‘f’；

遍历结束之后，栈内只有一个字符，该字符为 ‘t’\text{`t'}‘t’ 或 ‘f’\text{`f'}‘f’，如果字符为 ‘t’\text{`t'}‘t’ 则返回 true\text{true}true，如果字符为 ‘f’\text{`f'}‘f’ 则返回 false\text{false}false。

代码：

class Solution:

    def parseBoolExpr(self, expression: str) -> bool:

        stk = []

        for c in expression:

            if c == ',':

                continue

            if c != ')':

                stk.append(c)

                continue

            t = f = 0

            while stk[-1] != '(':

                if stk.pop() == 't':

                    t += 1

                else:

                    f += 1

            stk.pop()

            op = stk.pop()

            if op == '!':

                stk.append('t' if f == 1 else 'f')

            elif op == '&':

                stk.append('t' if f == 0 else 'f')

            elif op == '|':

                stk.append('t' if t else 'f')

        return stk[-1] == 't'