第2章节认识计算机学科主编发课件幻灯片.pptVIP

2.证比求易与并行计算 * 国王回去后立即开始逐个数地进行试除，总共试了三万多个数，还是没有结果。国王向公主求情，公主将答案相告：223 092 827是它的一个因子，国王很快就验证了这个数的确能除尽48 770 428 433 377 171。 告诉你吧，223 092 827是它的一个因子 再给我一次机会吧！ 2.证比求易与并行计算 * 国王立即回国，并向时任宰相的大数学家求教，宰相在仔细地思考后认为这个数为17位，如果这个数存在因子，则最小的一个因子不会超过9位。 于是，他给国王出了一个主意：按自然数的顺序给全国的老百姓每人编一个号发下去，等公主给出数后，立即将它通报全国，让每个老百姓用自己的编号去除这个数，除尽了立即上报，赏金万两。最后国王用这个办法求婚成功。 国王使用的是串行算法，宰相提出的是一种并行算法。 3.计算过程的能行操作与效率问题 * 一个问题在判定为可计算问题后，为求解这个问题，必须给出实际解决该问题的操作序列，同时还必须确保操作序列的资源（时间和空间）消耗是合理的。 围绕这一问题，计算机学科发展了大量与之相关的研究内容与分支学科方向。例如，集成电路技术、数字系统逻辑设计、自动布线技术、RISC技术、数值计算方法、算法设计技术、计算复杂性理论、密码学、演化计算、人工智能等都是围绕这一基本问题展开的， 其核心是计算的效率。 1.背包问题与贪心法 * 背包问题：给定n种物品和一个容量为C的背包，物品i的重量是wi，其价值为vi，如何选择装入背包的物品，使得装入背包中物品的总价值最大? 至少有三种看似合理的贪心策略： （1）选择价值最大的物品。但背包容量可能消耗得太快，使得装入背包的物品个数减少，从而不能保证目标函数达到最大。 （2）选择重量最轻的物品。但背包的价值没能保证迅速增长，从而不能保证目标函数达到最大。 （3）选择单位重量价值最大的物品。在背包价值增长和背包容量消耗两者之间寻找平衡。 2.3.2 计算过程的能行操作与效率问题 背包问题与贪心法 * 例如，有3个物品，其重量分别是{20, 30, 10}，价值分别为{60, 120, 50}，背包的容量为50， 2.图灵测试与人工智能 * 提问者 回答者A 回答者B “机器能思考吗？” “如何才能知道何时是成功了呢？” 如果机器在一场会话中成功地扮演人的角色，就可以认为它具有智能。 图灵测试不要求接受测试的思维机器在内部构造上与人脑相同，而只是从功能的角度来判定机器是否具有思维，也就是从行为角度对机器思维进行定义。 2.3.3 计算的正确性问题 * 一个问题在给出了能行的操作序列并解决了其效率问题之后，必须确保计算的正确性，否则，计算是无意义的。围绕这一基本问题，计算机学科发展了一些相关的分支学科与研究方向，例如，算法理论、程序设计方法、形式语义学、计算语言学、容错理论与技术、电路测试技术、程序测试技术、软件工程、网络协议等都是围绕这一基本问题展开的，其核心是计算的正确性。 1.GOTO语句问题与程序设计方法学 1968年，计算机科学家狄杰斯特拉（Dijkstra ）首次提出GOTO语句是有害的。 1974年，计算机科学家克努斯（Knuth ）发表论文《带有GOTO语句的结构化程序设计》作了较全面而公正的论述。 关于GOTO语句问题的争论直接导致了一个新的学科分支领域——程序设计方法学的产生，它是一个对程序的性质及其设计的理论和方法进行研究的学科。 * 面条程序示例 2.两军问题与网络协议 * 两军问题：一支白军被围困在一个山谷中，山谷的两侧是蓝军，困在山谷中的白军人数多于山谷两侧的任一支蓝军，而少于两支蓝军的人数之和。若一支蓝军对白军单独发起进攻，则必败无疑；但若两支蓝军同时发起进攻，则蓝军可取胜。两支蓝军希望同时发起进攻，这样他们就需要传递消息，以确定发起进攻的具体时间。假设他们只能派遣士兵穿越白军所在山谷来传递信息，那么在穿越山谷时，士兵就有可能被俘，从而造成信息的丢失。现在的问题是：如何进行通信，才能使得蓝军获胜？ 两军问题与网络协议 * 两步握手协议：蓝军A的指挥官发出消息：“我建议在明天拂晓发起进攻，请确认”，消息到达了蓝军B，其指挥官也同意这个建议，并且他的回信也安全送到了，那么能否进攻呢？不能！因为蓝军B的指挥官无法知道他的回信是否安全送到，所以，他不能发起进攻。 两军问题与网络协议 * 三步握手协议：蓝军A的指挥官必须确认对该建议的应答信息，假如蓝军A的指挥官收到确认消息，则他必须将收到的确认消息告诉对方，从而完成三步握手协议。然而，这样他也无法知道消息是否被对方收到，因此，他不能发起进攻。 两军问题与网络协议 * 结论：不存在使蓝军必胜的通信约定（即协议）。 两军问题阐述了网络传