当前课程知识点:程序设计基础 > 第三章 逻辑推理与枚举解题 > 3.1 谁做的好事——语义表示 > 3.1.1 谁做的好事——语义表示
同学们好
前面我们学习了
如何让计算机进行数学计算
解决数学问题
我们让计算机做了一个超级计算器
还做了一个销售售货人员的一个电子称
有同学说了
这有什么可神奇的
都已经是计算机了
做一点数学计算
那不是小case吗
那么我们说当然了
计算机肯定能够计算
但是计算机的本领可是很大的
它还能做别的事情
今天我们就是要来学习一下
如何让计算机来解决一些逻辑推理问题
那么我们先看一个
简单的逻辑推理问题
生活中的大小事情
处处蕴含着逻辑推理的思路
你留心了吗?
清华附中有四位同学
放学打扫完教室后一起离开
其中的一位把摔倒的老奶奶扶了起来
老奶奶很想感谢这名同学
但是这位同学却没有留下姓名
老奶奶的亲人到了清华附中并送来感恩信
校长希望表扬这位助人为乐的同学
于是他找到那天留下值日的ABCD四位同学
询问是谁帮助了老奶奶
做好事的人是谁
不是我
是C
是D
它胡说
如果已知这四名同学中
有三个人说了真话
一个人说了假话
那么,谁才是助人为乐的同学呢
这个问题比较简单
如果人来做的话
我们会怎么去找这个做好事的人
那我们一般都是这么做的
我们首先先假设说
如果这个做好事的人是A
那么我们再看说
每个人的这个同学的这几句话
是不是都是真的
还是说有人说了假话
所以如果真的做好事的人是A的话
那现在A同学说”这不是我”
那显然他说的就是假话了
B同学说”做好事的人是C”
那他又说了假话
C同学说”是D”
那这也不是真话
最后D说”C是胡说的”
D是说的真话
所以呢这时候我们看
如果做好事的人是A
那么我们发现说
A B和C他们都说的是假话
只有D才说的是真话
那这跟我们题目里面说
有三个同学说的真话
一个人说的假话是不符合的
所以这个做好事的人就不是A
如果我们人来做就是这么去考虑问题的
然后我们依次就会再去想
如果做好事的是B呢
如果是C呢
如果是D呢
那么我们相信
这样仔细的去排查的话
就可以把这个谁做好事找出来
那么怎么让计算机来解决
这样一个逻辑推理问题呢
我们就想
如果计算机能够解决这个问题
显然说
它得能表示说
ABCD这几个不同的人
它得能够区分
如果我们在代码里面直接写ABCD
那显然不行
那怎么办呢
有一个方法
说我们已经学过了这个类型
那么我们可以用字符这种类型
我们用‘A’来表示A
用‘B’来表示B
以此类推。那第二个方法呢
我们可以给ABCD这四个人依次编号
0号就是A
1号是B
2号是C
3号是D
那么我们说这两种方法
在本质上是一样的
所谓的这个字符这个类型
在我们的C++这个程序设计语言中间
它其实本质还是一个整数
所以你用0123还是ABCD
其实都是用整数
来表示这几个不同的人
那么我们说计算机
能够表示不同的人了
那在这个问题中
它还需要能够表示说做好事的人
那这个就不是一个具体的数了
也没有办法用一个具体的数来表示
那怎么办呢
我们用到了前面学过的知识
就是我们上一次讲的这个变量
那么我们说
变量不仅仅能够表示
代数计算中的这些数量
还能够用来表示特定概念的
具体的一个事物
比如现在我们需要用它
来表示一个特定的做好事的一个人
所以我们可以这样来定义这个变量
char表示
我现在打算用字符来表示这个人
然后变量名称叫good_man
我们就说这是一个好人
一个做好事的人
用这样一个变量来表示
我们说的这么一个具体的事物
那这个时候我们就会通过
对变量进行赋值来表示
做好事的这个人是A
做好事的人是B
这样的事情了
那么我们请看一个代码
那我先定义了变量good_man
如果我用赋值语句说
good_man=’A’
那就表示说做好事的人是A
也就意味着说A做了好事
同样我用good_man=’B’
那么就表示说做好事的人是B
也就是说B做了好事
所以我们就会用程序来表示
做好事的人是谁
这样一件事情了
那么下一个问题就是
每个人说的话
每个同学说的话
我们又应该怎样去表示
那我们先看说
A说不是我
B说是C
那这里头
这个B说是C呢
实际上它这句话比较简单
我们如果完整的来理解
实际上B的话更严谨的说法是
做好事的人是C
那如果我们写成good_man=’C’
对不对呢
这里面有点问题
我们说这个赋值语句
表示的是一个既成的事实
或者在当前情况下
我们是认定的这种事实
这是一种不用质疑的真理
但是B同学说的话
实际上是一种说法
一种论断
它是需要我们来判断
他说的是真话还是假话的
并不一定是一个事实
那换句话说
这个B说是C
这一种自然的语言
我们说其实是挺不严谨的
而我们的程序设计语言
是非常严谨的
是有明确意义的
所以我们从一个很严谨的角度
来看A和B说的话
那A的话说
A说不是我
他的真正意义是说
做好事的人和A不是同一个人
那B的话的意思是说
做好事的人和C是同一个人
因此我们在代码中
是应该这么去写的
我们看到这里有两个
以前没有见到过的符号
!= 和 ==
这两个符号我们称为关系运算符
它们表示说
要让计算机来算一下
这个关系运算符的两端的两项
这两个内容是不是符合
这一个关系运算符的意义
让计算机算一下
那如果是符合的
那么计算的结果就应该是
一个真的这么的一个事实
如果不符合
计算结果就是假
我们已经学过了
计算机中间有一个叫布尔类型的
它的取值就是 true or false
就是表示真假的
那么我们的关系运算符
它的计算结果
也就是这个布尔类型
那么我们把这种
含有关系运算符的计算式子
称为关系表达式
那大家看这儿的一个例子
第一个关系表达式说
3!=4
那我们当然知道
这样一个表达是正确的
计算机对3!=4这个
表达式的计算的结果
应该是true
1+2!=3
那显然计算结果应该是错误的
我们计算机也能够正确的算出来说
这个表达式的计算结果应该是false
那下面也同样
1+2==4-1这是正确的
2==4-1是错误的
那这些例子也说明
我们在这个关系运算符的两端
可以是其他的一些算式
那么除了这个==和!=之外
我们还有其他的一些关系运算符
那主要就是有大于小于
大于等于和小于等于
那这个我们以后碰到的时候
可以再详细去说
那么有了这样一些准备
我们就可以来表示
ABCD四个同学所说的话了
那大家请看
A说不是我
那我们应该写成说
good_man!=’A’’
B说是C
那么写成说
good_man==’C’
C说是D
good_man==’D’
D说他胡说
那么我们写成程序就是
good_man!=’D’
-1.1 基础知识
-1.2 买菜问题
-1.3 数学运算
-1.4 补充说明
-1.5 总结
--1.5 总结
-程设论道
--程设论道
-师生问答
-第一章 编程初步--语法自测
-2.1 关于超级计算器的几点思考
-2.2 电子秤模拟 — 背景介绍及需求分析
-2.3 电子秤模拟 — 代码实现
-2.4 变量定义与变量类型
-2.5 猜数游戏与数据表示
-2.6 关于变量的讨论
--公告
-2.7 变量体现的计算思维
-程设论道
--程设论道
-师生问答
--师生问答
-第二章 变量与代数思维--语法自测
-3.1 谁做的好事——语义表示
-3.2 谁做的好事——真假检查
-3.3 谁做的好事——循环枚举
-3.4 谁是嫌疑犯——多重循环枚举
-3.5 谁是嫌疑犯——破案线索表示
-3.6 谁是嫌疑犯——用二进制枚举
-程设论道
--程设论道一
--程设论道二
--程设论道三
-师生问答
-第三章 逻辑推理与枚举解题--语法自测
-4.1 插花游戏
-4.2 筛法
-4.3 线性查找
-4.4 折半查找
--4.4.1 提问
-4.5 排序问题
-4.6 总结
--4.6.1 总结
-程设论道
--程设论道二:筛法
-师生问答
-第四章 筛法与查找--语法自测
-5.1 阶乘
-5.2 排序
-5.3 矩阵填充
-5.4 分书与八皇后
-5.5 青蛙过河
-程设论道
--程设论道一
--程设论道二
-师生问答
--师生问答一
--师生问答二
-第五章 分治思想与递归--语法自测
-6.1 兔子数列问题
-6.2 分鱼问题
-6.3 橱窗的插花问题
-6.4 最长公共子序列问题
-程设论道
--程设论道一
--程设论道二
-师生问答
--师生问答
-第六章 递推与动态规划--语法自测
-7.1 统计记录总数
-7.2 统计活跃用户数
-7.3 统计在线时长
--7.3.2 结构
-7.4 总结
--7.4.1 总结
-程设论道
--程设论道
-师生问答
--师生问答
-第七章 文本数据处理--语法自测
-8.1 将数据组织成链表
-8.2 提高链表访问效率 —— 哈希链表
-8.3 以二进制文件存储链表
-程设论道
--程设论道一
--程设论道二
-师生问答
--师生问答
-第八章 非文本数据处理--语法自测
-9.1 自动售卖程序
-9.2 配制水果信息
-9.3 指定界面语言
-程设论道
--程设论道
-师生问答
--师生问答
-第九章 可配置的程序设计--语法自测