计算机数学简介-数学机械化重点试验室.pdfVIP

计算机数学简介 高小山 中国科学院数学与系统科学研究院 摘要。计算机数学是研究算法的数学，是数学与计算机科学交叉融合产生的新兴 学科。计算机数学主要研究内容包括：为算法研究提供数学工具的离散数学，研 究算法共性的计算理论，从算法角度研究数学各个分支的机械化数学。本文简要 回顾了计算机数学的历史，介绍了其主要内容并展望了未来的主要研究问题。 关键字。计算机数学，算法，离散数学，计算理论，机械化数学 1、什么是计算机数学 计算机数学，顾名思义，是研究应用计算机解决各类问题需要的数学。计算 机数学关注“什么是可以计算的”，对于可计算的问题，则关注设计求解该问题 的最好算法。所以，我们可以简单地说计算机数学是研究算法的数学。 计算机科学大师 D. Knuth 将计算机科学定义为研究算法的学问。其实，计 算机数学是数学与计算机科学的交叉领域：计算机数学是计算机科学的理论基 础，也是研究计算与算法的数学分支。 计算机数学大致可以分为以下三部分。 首先，为算法研究提供数学工具的是离散数学。与传统的连续数学或分析数 学不同，离散数学研究离散对象的数学结构，主要包括：集合论、图论、组合数 学、抽象代数等。需要说明的是，离散数学研究的侧重点与传统数学有所不同。 纯粹数学更关心数学对象的结构与分类，而离散数学则侧重研究相关的算法问 题。例如，对于数论中的素数，数学家更关心的是素数的分布，而计算机数学则 更关心是否存在分解大整数的快速算法。另一方面，两者又密切相关。大整数分 解算法的研究需要数论、代数几何等学科的支撑。一个明显的事实是，由于计算 机的广泛使用，离散数学在近半个多世纪以来得到了复兴。一些连续数学分支， 为了借助计算机求解，也发展了离散化理论。例如，微分方程求解的有限元方法， 即通过离散化将微分方程求解变为代数方程求解。又例如，为了处理计算机图形 学中出现的离散曲线与曲面，出现了离散微分几何[1]。 其次，关于算法共性的研究已经形成一个专门的学科，即计算理论或理论计 算机科学，其核心内容是判定性问题与计算复杂度理论。从算法角度研究一个问 题，首先需要知道是否存在求解给定问题的算法，即判定性问题或可计算问题。 许多重大数学问题由于判定性问题的研究得到澄清。例如，一个公理体系内的所 有命题是否可以判断？什么是可计算的？特别是，实数是否可以计算？等等。对 于一个可判定的问题，我们需要设计求解该问题的“好的算法”。一个算法的好 坏，可以从其时间计算复杂度与空间计算复杂度来判断。所谓时间计算复杂度可 以简单理解成求解问题所需的步骤数，而空间计算复杂度则是求解问题所需要的 存贮空间。计算复杂度理论的主要任务是对各种计算问题根据其计算复杂度进行 分类。 最后，数学本身也因为计算机的使用而得到了长足的发展。一些重大的遗留 问题，如四色定理与 Kepler 猜想，借助计算机得到了解决。更重要的是，出现 了一批借助计算机研究数学自身的分支，如计算数学或数值计算(一般不归在计 算机数学，由其他文章介绍)、自动推理、计算机代数、计算数论、计算代数几 何、计算拓扑、计算几何、符号分析等。这里，每一个学科的出现都有双重目的。 例如，计算数论不仅丰富了数论的内涵，还是密码与编码等重要信息技术的数学 基础。如今，算法这一概念，就像方程、公式一样，已经成为日常数学语言的一 部分。吴文俊在上世纪 70 年代末就敏锐地指出，计算机的出现使得数学的机械 化成为可能，从而会对数学的发展起到重大影响。他将可以借助计算机进行计算 与推理的数学称为机械化数学[2]。 本文将从历史回顾、计算理论与机械化数学三个方面简要介绍计算机数学的 发展趋势与主要研究内容。 2、历史回顾 电子计算机的出现不过数十年，而算法的概念却源远流长。回顾数学发展史， 主要有两种思想：一是公理化思想，另一是算法化或机械化思想[3]。前者源于 希腊，后者则贯穿整个中国古代数学。这两种思想对数学发展都曾起过巨大作用。 从汉初完成的《九章算术》中对开平方、开立方的机械化过程的描述到宋元时代 发展起来的求解高次代数方程组的机械化方法，无一不与数学机械化思想有关， 并对数学的发展起了巨大的作用。公理化思想在现代数学，尤其是纯粹数学中占 据着统治地位。然而，检查数学史可以发现，数学的多次重大跃进无不与机械化 思想有关。数学启蒙中的四则运算由于代数学的出现而实现了机械