第2章-计算学科的基本问题.pdf

第2章 计算学科的基本问题  对问题进行抽象 （例：哥尼斯堡七桥问题与欧拉回路）  可计算问题 （例：梵天塔问题） P类问题 算法复杂性中的难解性问题：NP类问题  旅行商问题  找零问题、背包问题与贪婪算法 证比求易算法与阿姆达尔定律 百万美元的一个问题：P ＝NP ？ RSA公开密钥密码系统  不可计算问题 （例：停机问题）  GOTO语句与程序的结构  哲学家共餐问题与计算机的资源管理  两军问题与计算机网络  图灵测试与西尔勒的 “中文屋子” 引言  科学研究从问题开始，或者说科学始于问题而非观察。  尽管通过观察可以引出问题，但在观察时必定带有问题， 带有预期的设想，漫无目的的观察是不存在的。  人们对客观世界的认识过程正是一个不断提出问题和解决 问题的过程；这个过程反映的正是抽象、理论和设计3个 过程之间的相互作用，它与3个过程在本质上是一致的。  针对学科抽象第一的教学原则，我们先介绍一个对问题进 行抽象的典型实例，即哥尼斯堡七桥问题。然后再介绍计 算学科的基本问题。 哥尼斯堡七桥问题  17世纪的东