计算机科学的分支域领体系.docVIP

计算机科学的分支领域体系 算法和数据结构 程序设计语言 体系结构 数值和符号计算 操作系统 软件方法学和工程 数据库和信息检索系统 人工智能和机器人学 人机通信 算法和数据结构 本领域研究一些特定类型的问题及它们的有效的解。基本问题包括： 1.对给定类型的问题，最好的算法是什么？ 2.它们要求多少存储空间和时间？ 3.空间与时间的折衷方案是什么？ 4.存取数据最好的方法是什么？ 5.最好算法的最坏情况是什么？ 6.算法的运行按平均来说好到何种程度？ 7.算法一般化到何种程度--即什么类型的问题可以用类似的方法处理？ 1．理论 算法和数据结构领域理论的主要原理是： (1) 可计算性理论。它定义机器能干什么、不能干什么。 (2) 计算复杂性理论。它告诉你如何测度可计算函数的时空要求，把问题的大小和解决该问题算法的最好或最坏情况的性能联系起来，并提供证明对问题的任何可能解的下界的方法。 (3) 算法和算法类的时间和空间界限。 (4) 难解性(intractability) 水平。例如，确定性的多项式时间内可解的问题(P问题入非确定性的多项式时间内可解的问题(NP问题) ；以及有效的并行机可解问题(NC问题) 。 (5) 从算法的数据流要求到机器通讯通路的并行计算、下界和影射。 (6) 在时空上比确定性算法更加有效、且以足够高的概率获得正确结果的概率算法。蒙特卡洛方法。 (7) 密码