#L32110. 同解变形日志审计
同解变形日志审计
同解变形日志审计
题目描述
审计n条分数操作日志。作用域B表示等式两边,L仅左边,R仅右边。ADD/SUB操作数为0、MUL/DIV操作数为1时是单边中性操作;其他单边操作不保持通用同解。两边同步MUL 0也不保持同解。
输入格式
第一行输入n;接下来n行输入scope、op、p、q,scope为B、L或R。
输出格式
q=0或DIV的操作数为0时输出INVALID i;首个合法但不保持同解的操作输出NOT_EQUIVALENT i;全部通过输出ALL_EQUIVALENT。按日志顺序只报告第一个问题。
样例
输入
3
B ADD 3 1
B MUL 2 1
L SUB 1 1
输出
NOT_EQUIVALENT 3