【ACM】POJ 3295 Tautology-白红宇

【ACM】POJ 3295 Tautology

阅读量：363 次

发布时间：2019-03-04

本文共 424 字，大约阅读时间需要 1 分钟。

根据题目要求，以下是关于判断表达式是否为永真式的详细解答：

表达式结构分析

表达式由变量p、q、r、s、t和运算符K、A、N、C、E组成。运算符的定义如下：

K：与运算（m ∧ n）

A：或运算（m ∨ n）

N：非运算（!m）

C：等于运算（m == n）

E：等于运算（m == n）

枚举变量情况

变量p、q、r、s、t的取值范围为0和1，共有32种组合。通过系统枚举每种情况，记录每个变量的值。

表达式计算

使用栈模拟运算，按照前缀表达式的运算顺序从右到左处理字符。每次遇到操作符时，弹出栈顶元素进行运算后再推入栈中。处理完所有字符后，栈顶即为结果。

注意事项

表达式为前缀，需从数组末尾开始遍历。

全局变量每次循环后需重置，确保每次计算独立。

数组存储变量p、q、r、s、t，索引对应变量名。

验证与结果

通过手动计算部分情况，发现无论变量p、q、r、s、t如何组合，表达式结果均为0。因此，该表达式为永真式，输出“tautology”。

转载地址：http://knzg.baihongyu.com/

你可能感兴趣的文章

Openlayers实战：自定义版权属性信息

Openlayers实战：输入WKT数据，输出GML、Polyline、GeoJSON格式数据

Openlayers实战：选择feature，列表滑动，定位到相应的列表位置

Openlayers实战：非4326,3857的投影

Openlayers高级交互（1/20）：控制功能综合展示（版权、坐标显示、放缩、比例尺、测量等）

Openlayers高级交互（10/20）：绘制矩形,截取对应部分的地图并保存

Openlayers高级交互（11/20）：显示带箭头的线段轨迹，箭头居中

Openlayers高级交互（12/20）：利用高德逆地理编码，点击位置，显示坐标和地址

Openlayers高级交互（13/20）：选择左右两部分的地图内容，横向卷帘

Openlayers高级交互（14/20）：汽车移动轨迹动画（开始、暂停、结束）

Openlayers高级交互（15/20）：显示海量多边形，10ms加载完成

Openlayers高级交互（16/20）：两个多边形的交集、差集、并集处理

Openlayers高级交互（17/20）：通过坐标显示多边形，计算出最大幅宽

Openlayers高级交互（18/20）：根据feature，将图形适配到最可视化窗口

Openlayers高级交互（19/20）：地图上点击某处，列表中显示对应位置

Openlayers高级交互（2/20）：清除所有图层的有效方法

Openlayers高级交互（20/20）：超级数据聚合，页面不再混乱

Openlayers高级交互（3/20）：动态添加 layer 到 layerGroup，并动态删除

Openlayers高级交互（4/20）：手绘多边形，导出KML文件，可以自定义name和style

Openlayers高级交互（5/20）：右键点击，获取该点下多个图层的feature信息