离散数学

研究基於離散空間的數學結構幾個分支的總稱

离散数学(英語:Discrete mathematics)是数学的几个分支的总称,研究基于离散空间而不是连续的数学结构。与連續变化的实数不同,离散数学的研究对象——例如整数数学逻辑中的命题[1]——不是連續变化的,而是拥有不等、分立的值。[2]因此离散数学不包含微积分分析等「连续数学」的内容。

像这样的是离散数学的研究对象之一,它们拥有有趣的数学性质,可以作为现实世界用来解决问题的模型,而且还在计算机算法开发中有着举足轻重的作用。

离散对象经常可以用整数来枚举。更一般地,离散数学被视为处理可数集合(与整数子集基数相同的集合,包括有理数集但不包括实数集)的数学分支。[3]但是,“离散数学”不存在准确且普遍认可的定义。[4]实际上,离散数学经常被定义为不包含连续变化量及相关概念的数学,甚少被定义为包含什么内容的数学。

离散数学中的对象集合可以是有限或者是无限的。有限数学一词通常指代离散数学处理有限集合的那些部分,特别是在与商业相关的领域。

隨著電腦科學的飛速發展,離散數學的重要性則日益彰顯。它為許多資訊科學課程提供了數學基礎,包括数据結構、演算法、数据库理論、形式語言與作業系統等。如果沒有離散數學的相關數學基礎,學生在學習上述課程中,便會遇到較多的困難。此外,離散數學也包含了解決作業研究、化學、工程學、生物學等眾多領域的數學背景。由於運算對象是離散的,所以電腦科學的數學基礎基本上也是離散的。我們可以說電腦科學的數學語言就是離散數學。人們會使用離散數學裡面的槪念和表示方法,來研究和描述電腦科學下所有分支的對象和問題,如電腦運算编程語言密碼學自動定理証明軟件開發等。相反地,计算机的應用使離散數學的概念得以應用於日常生活當中(如運籌學)。

虽然离散数学的主要研究对象是离散对象,但是连续数学的分析方法往往也可以采用。数论就是离散和连续数学的交叉学科。同样的,有限拓扑(对有限拓扑空间的研究)从字面上可看作离散化拓扑的交集。

历史

 
图论领域中,大量研究的动机是企图证明在对所有的地图,譬如说此图,可以用不多于四种颜色上色,而且没有任意两个相接的区域会是同色。1976年,肯尼斯·阿佩尔沃尔夫冈·哈肯最终证明了四色定理。[5]

历史上,离散数学涉及了各个领域的一系列挑战性问题。在图论中,許多的研究动机是來自於嘗試证明四色定理。这些研究虽然从1852年开始,但是直至1976年四色定理才得到证明,是由肯尼斯·阿佩尔(Kenneth Appel)和沃尔夫冈·哈肯(Wolfgang Haken)藉由大量计算机辅助而完成的。[5]

逻辑领域,大卫·希尔伯特(David Hilbert)於1900年提出的公开问题清单的第二个问题是要证明算术的公理一致的。1931年,库尔特·哥德尔第二不完备定理证明这是不可能的——至少算术本身不可能。大卫·希尔伯特的第十个问题是要确定某一整系数多项式丢番图方程是否有一个整数解。1970年,尤里·马季亚谢维奇证明这不可能做到。

第二次世界大戰盟軍破解納粹德軍密碼的需要,帶動了密碼學理論計算機科學的發展。英國的布萊切利園因而發明出第一部數位電子計算機——巨像電腦。與此同時,軍事上的需求亦帶動了運籌學的發展。直至冷戰時期,密碼學的地位依然重要,其後的幾十年間更發展出如公開密鑰加密等根本性的長進。隨著1950年代關鍵路徑方法的創立,運籌學則於商業項目管理上愈趨重要。電訊工業的出現亦助長了離散數學,特別是圖論信息論上的發展。數理邏輯敍述形式驗證至今已經成為安全關鍵系統軟件開發中必不可少的一環,自動定理證明的技術也因此而提高。

当今,理論計算機科學中最著名的开放问题之一是P/NP问题,P/NP问题中包含了复杂度类PNP的关系。克雷数学研究所为此及其他6个千禧年大奖难题的第一个正确证明各悬赏100万美元。[6]

主题

 
"Wikipedia" ASCII码的二进制表示。编码技术信息论领域提供了一种表示语句和信息处理程序的途径。

离散数学包含几个不同的主题,列举如下:

数理逻辑

逻辑是对有效推理和推理原则,及其连续性合理性完整性的研究。举一个简单的例子:在大多数逻辑系统中,皮尔士定律(((PQ)→P)→P)是正确的,而且可以简易地利用真值表得到证明。数学证明在数理逻辑中十分重要,而且在自动定理证明软件开发(如形式验证)有广泛应用。

集合论

集合论是研究集合的数学分支。集合是指一定对象的总和,例如:{蓝色,白色,红色}是一个有限集合;所有素数组成一个无限集合偏序关系和拥有其他关系特征的集合在多个数学领域都有应用。

信息论

 
质数螺旋图,黑点为质数。

信息论涉及信息量化。与此密切相关的编码理论则用来设计高效可靠的数据传输和数据储存方法。

数论

数论关注普通数字,特别是整数的特性。数论在密码学密码分析中有应用,特别是关于素数素性测试方面。在解析数论中,也使用连续数学的理论。

组合数学

 
代数图论群论有着紧密联系。此截角四面體图与交错群A4有关。

组合数学研究对象进行排列或组合的途径,包含组合设计(Combinatorial design)、计数组合(enumerative combinatorics)、计数组合几何(combinatorial geometry)、组合拓扑(Combinatorial topology)等主题。图论是组合数学的重要部分,有很多实际应用。

组合分析(analytic combinatorics)和代数图论(algebraic graph theory)中也使用连续数学的理论,而且代数图论还与群论有着紧密联系。

图论

图论是研究网络的数学分支,常被认为包含於组合数学中,但这一分支已经发展得足够庞大和有特点,并有自身领域所研究的问题,因此被视为一个独立的主题,在数学和科学的所有领域都有广泛的应用。例如:有名的七橋問題。[7]

抽象代数

代数结构既可以是离散的,也可以是连续的。离散代数包括逻辑门和编程中使用的逻辑代数数据库中使用的关系代数代数编码理论中重要的离散有限、环和形式语言理论中的离散半群幺半群

理论计算机科学

 
复杂度研究程序耗费的时间,例如这个快速排序程序。

离散数学充分描述了计算机科学离散性的特点。

理论计算机科学(Theoretical computer science)包含离散数学计算的领域,并特别注重图论数理逻辑。理论计算机科学包括对计算数学结果的算法研究。可算性理论研究那些对象在原则上可被计算,和逻辑有密切联系。而复杂性则研究计算耗费的时间,自动机理论形式语言理论与复杂性紧密联系。计算几何应用算法解决几何问题,而计算机图像分析则是应用算法在计算机中再现图像。

拓扑学

虽然拓扑学是形式化和一般化物体“连续形变”的直觉概念的研究领域,其也包含很多离散主题,如拓扑变换时常取离散值,组合拓扑拓扑图论拓扑组合计算拓扑离散空间有限拓扑空间等领域。

运筹学

 
像这样的PERT图提供一个基于图论的商业管理技术。

運籌學的研究為解決一些商業上和其他範籌上實質的問題提供方法。這些問題包括如何分配資源以使利潤增至最高和如何為企劃排程使風險減至最低等。運籌學的研究方向包括線性規劃最优化等候理論调度理论网络理论,和一些正在增加的其他方面。运筹学的内容也会涉及一些连续主题,如连续时间马尔可夫过程、连续时间过程优化英语process optimization以及连续混合控制理论

博弈论、决策论、效用理论、社会选择理论

合作 背叛
合作 -1, -1 -10, 0
背叛 0, -10 -5, -5
囚徒困境的支付矩阵

博弈論用於處理的問題比較複雜,通常這些選擇成功與否取決於其他人的選擇,因此如何作最好出一個最好的選擇比較複雜。连续对策甚至也是存在的,如微分博弈。博弈論的主题包括拍卖理论公平分配博弈

决策论是有关判定特定决策的价值、不确定性、合理性以及最终能够确定的最优决策的理论。

效用理论的研究内容是由各种商品和服务评估相对经济满足程度,或是评估各种商品和服务的希求程度。

社会选择理论是关於投票的理论。更近似於谜题的有关投票的问题是抽签问题(Bertrand's ballot theorem)。

离散化

离散化关注将连续模型或等式转化为离散形式的过程,通常是基于简化计算的目的。数值分析是离散化一个重要实例。

连续数学的离散近似

 
计算几何将计算机算法应用於几何物体的描绘

很多的连续数学概念都有离散数学的版本,例如:

应用数学中,离散模型连续模型的离散近似。在离散模型中,离散方程由数据确定。使用递推关系是这种建模方式的一般方法。

离散和连续混合数学

时标微积分差分方程理论与微分方程理论的统一,应用在需要建立离散和连续同步数据模型的领域。

参考文献

  1. ^ Richard Johnsonbaugh, Discrete Mathematics, Prentice Hall, 2008.
  2. ^ Weisstein, Eric W. (编). Discrete mathematics. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. (英语). 
  3. ^ Norman L. Biggs, Discrete mathematics, Oxford University Press, 2002.
  4. ^ Brian Hopkins, Resources for Teaching Discrete Mathematics, Mathematical Association of America, 2008.
  5. ^ 5.0 5.1 Wilson, Robin, Four Colors Suffice, London: Penguin Books, 2002, ISBN 0-691-11533-8 
  6. ^ 千禧年大奖难题. 2000-05-24 [2008-01-12]. (原始内容存档于2008-01-08). 
  7. ^ Graphs on Surfaces页面存档备份,存于互联网档案馆), Bojan Mohar and Carsten Thomassen, Johns Hopkins University press, 2001

延伸阅读

外部連結