计算机数学的发展与展望.pdfVIP

学科发展 Disciplinary Development 计算机数学的发展与展望* 文/高小山 中国科学院数学与系统科学研究院 北京 100190 【摘 要】计算机数学是研究算法的数学，是数学与计算机科学交叉融合产生的新 兴学科。计算机数学主要研究内容包括：为算法研究提供数学工具的离散数学， 研究算法共性的计算理论，从算法角度研究数学各个分支的机械化数学。本文简 要回顾了计算机数学的历史，介绍了其主要内容并展望了未来的主要研究问题。 【关键词】计算机数学，算法，离散数学，计算理论，机械化数学 DOI ：10.3969/j.issn. 1000-3045.2012.02.007 1 什么是计算机数学 散数学。与传统的连续数学或分析数学不 同，离散数学研究离散对象的数学结构，主 计算机数学，顾名思义，是研究应用计 要包括：集合论、图论、组合数学、抽象代数 算机解决各类问题需要的数学。计算机数 等。需要说明的是，离散数学研究的侧重点 学关注“什么是可以计算的”，对于可计算的 与传统数学有所不同，纯粹数学更关心数学 问题，则关注设计求解该问题的最好算法。 对象的结构与分类，而离散数学则侧重研究 所以，我们可以简单地说计算机数学是研究 相关的算法问题。例如，对于数论中的素 算法的数学。 数，数学家更关心的是素数的分布，而计算 计算机科学大师D. Knuth 将计算机科 机数学则更关心是否存在分解大整数的快 学定义为研究算法的学问。其实，计算机数 速算法。另一方面，两者又密切相关，大整 学是数学与计算机科学的交叉领域：计算机 数分解算法的研究需要数论、代数几何等学 数学是计算机科学的理论基础，也是研究计 科的支撑。一个明显的事实是，由于计算机 算与算法的数学分支。 的广泛使用，离散数学在近半个多世纪以来 计算机数学大致可以分为以下3 部分： 得到了复兴。一些连续数学分支，为了借助 首先，为算法研究提供数学工具的是离 计算机求解，也发展了离散化理论。例如， * 收稿日期：2012 年2 月22 日 微分方程求解的有限元方法，即通过离散化 院刊 189 展t 将微分方程求解变为代数方程求解。又如，为了 2 历史回顾 发 n e 处理计算机图形学中出现的离散曲线与曲面，出 科 m 电子计算机的出现不过数十年，而算法概念 p 学 o [1] l 现