先部分分,再进阶
先认清任务,再讨论算法
2020 CSP-J 第二轮 T3|表达式
题目信息
- 题目名称:表达式
- 源程序名:
expr.cpp - 输入文件:
expr.in - 输出文件:
expr.out - 时间限制:1 秒
- 内存限制:256 MB
完整题干
小 C 热衷于学习数理逻辑。有一天,他发现了一种特别的逻辑表达式。在这种逻辑表达式中,所有操作数都是变量,且它们的取值只能为 或 ,运算从左往右进行。如果表达式中有括号,则先计算括号内的子表达式的值。特别地,这种表达式有且仅有以下几种运算:
- 与运算:
a & b。当且仅当 和 的值都为 时,该表达式的值为 ,其余情况为 。 - 或运算:
a | b。当且仅当 和 的值都为 时,该表达式的值为 ,其余情况为 。 - 取反运算:
!a。当且仅当 的值为 时,该表达式的值为 ,其余情况为 。
小 C 想知道,给定一个逻辑表达式和其中每一个操作数的初始取值后,再取反某一个操作数的值时,原表达式的值为多少。
为了化简对表达式的处理,表达式将采用后缀表达式的方式输入。后缀表达式的定义如下:
- 如果 是一个操作数,则 的后缀表达式是它本身。
- 如果 是 形式的表达式,其中 是任何二元操作符,且优先级不高于 中括号外的操作符,则 的后缀式为 ,其中 分别为 的后缀式。
- 如果 是 形式的表达式,则 的后缀式就是 的后缀式。
同时为了方便,输入中:
- 与运算符
&、或运算符|、取反运算符!的左右均有一个空格,但表达式末尾没有空格。 - 操作数由小写字母
x与一个正整数拼接而成,正整数表示变量下标。例如x10表示变量 。数据保证每个变量在表达式中恰好出现一次。
输入格式
第一行包含字符串 ,表示后缀表达式。
第二行包含正整数 ,表示变量数量,变量下标为 。
第三行包含 个整数,第 个整数表示 的初值。
第四行包含正整数 ,表示询问数量。
接下来 行,每行一个正整数,表示本次临时取反的变量下标。每次修改都是临时的,不会影响之后的询问。
数据保证表达式合法,变量初值为 0 或 1。
输出格式
输出 行,每行一个 0 或 1,表示对应询问下整个表达式的值。
样例 1
输入:
x1 x2 & x3 |
3
1 0 1
3
1
2
3
输出:
1
1
0
后缀式对应 。分别取反 后,结果依次是 1、1、0。
样例 2
输入:
x1 ! x2 x4 | x3 x5 ! & & ! &
5
0 1 0 1 1
3
1
3
5
输出:
0
1
1
数据范围
- 对于 的数据,表达式中有且仅有与运算,或者有且仅有或运算;
- 对于另外 的数据,,,;
- 对于另外 的数据,变量初值全为 0 或全为 1;
- 对于 的数据,,,。
按测试点取并集,不把重叠分数相加
勾选已掌握的路线,观察它们共同覆盖哪些测试点。这里计算的是该卷条件下的理论覆盖分,不代表程序已经通过正式评测,也不对应任何一等奖分数线。
已掌握的解法
去重后覆盖0 / 100
实际提交时,须将已掌握的分支整合到同一份程序。勾选路线不会自动拼接代码。
测试点覆盖图
已覆盖未覆盖
查看原题评分依据
逐条看懂:性质、推导与完整代码
选择一条路线,查看它为什么成立,再进入同一算法的可视化与代码追踪。
选择得分路线
算法过程执行语句与图示同步
当前变量金色表示与上一步相比发生变化
已输出
尚未输出
0 / 0
键盘 ← → 单步,空格播放 / 暂停
执行记录(最近 8 步)
用边界检查:我真的读懂了吗?
先手算,再展开解释。带入演示时会核对当前路线的适用条件。