关于算法
算法的来源
- 输入和输出的关系
- 讲解了插入算法
计算机的可计算问题
某个问题是否可以计算
世界上的问题和实数一样多
世界上的可计算的问题和有理数一样多(话说,我没有理解啊)
具体的流程
可计算否==>能行可计算否==>算法设计与分析==>用计算机语言实现算法==>软件系统
可计算理论
- 计算模型
- 可计算问题、不可计算问题
- 计算模型的等价性–图灵/church 命题
计算复杂性
在给定的计算模型下研究问题的复杂性
- 固有复杂性
- 上界
- 下界
- 平均
- 复杂性问题的分类:P=NP?
- 抽象复杂性的研究