離散數學與最優化

  1. 「離散數學」是什麼?

    「離散數學」亦稱「組合數學」。自遠古數學活動肇始之初,算術與幾何便分別代表了離散與連續觀念的源頭。兩種思維方式相互的辯證發展,造就了內容繽紛的數學世界。但自牛頓開創微積分以後,以分析為首的連續性數學獨領風騷近三百年之久。今日所謂離散數學的若干題材,雖然可在數論、代數、機率、初等幾何等學科中,發現其萌芽之跡,但終未能成氣候。甚至有局限於益智遊戲形式,是理論深度未被辨識的研究課題。

    本世紀以來,離散的工具與方法,逐漸在廣泛的學科中,被發展及使用起來。因此慢慢產生出新的焦點,以及新的科學意識。一些彼此關連掛鉤的研究領域,開始匯聚在離散數學(或稱組合數學)這張大傘之下。特別自三十年代以後,計算科學在理論與實用上都有突破性的發展。電子計算機這種能力巨大的資訊處裡工具,把人類文明帶入一個嶄新的階段。它不僅提供了生活的方便,更深深影響人的思惟方式與知識發展的進步。計算機必須通過離散的表徵才能處裡資訊,古典連續數學經由它的離散化,反而產生了深刻的離散問題,同時彰顯了離散現象的重要性。此外,計算機幫助人處理極大量的有限數及有限結構,踏入前人無法想像的天地,更開展了新意義、新層次的問題以供研究。

  2. 「組合數學」這個領域包含了什麼?

    組合數學這個名詞只是一個通稱,其中包羅了許多學域,比較居樞紐地位的包括下列幾種:

    1. 由古典計算問題一脈相傳而下,包括有限集合族上的各類組合問題;
    2. 以代數、拓樸方法建立組合學體系的研究;
    3. 以群論、有限幾何為主要工具的設計理論(Design Theory);
    4. 群作用所產生的組合現象;
    5. 圖形、網路與超圖的理論(Hypergraphs);
    6. 最佳化、運籌學(Operation Research)與賽局理論(Game Theory);
    7. 編碼(Coding Theory)與密碼理論(Cryptography);
    8. 擬陣(Matroid)、廣義擬陣論(Greedoid);
    9. 離散與計算幾何學;
    10. 演算法則的設計與分析;
    11. 離散機率方法的應用;
    12. 利用微積分、複變方法進行演算分析;
    13. 特徵值估計及其應用。
  3. 「組合數學」這個領域有些什麼應用?

    在應用方面,最大的市場之一是計算機科學,已成為該領域的必修課程。所有數位化的產物,如雷射唱盤、光碟、大哥大、衛星通訊等等都仰賴錯誤糾正碼(Error Correcting Code)的設計以增加它們的可靠性;提款卡、簽帳卡等也是密碼學的附產品;少了這些,人類的生活都不知道要如何繼續下去!另外,DNA的定序問題,選舉權力的分析,生物食物網的平衡,實驗設計的安排,處處可見組合數學應用的例子。由此可預見,非數學科系對組合數學的需求將日漸增高,甚至已經有人呼籲,以「組合數學」取代微積分,作為大一的基礎數學課程。

  4. 本系與「組合數學領域」之關連?

    本系在組合數學方面的師資充實,其人數之多,在台灣各大學數學系所稱冠,研究領域亦涵蓋各主要方向。分述如下:

    1. 傅恆霖教授:圖論、組合設計
    2. 陳秋媛教授:演算法、圖論、離散數學
    3. 翁志文教授:代數組合學、矩陣理論

老師的研究興趣

傅恆霖 老師

在組合數學方面的研究目前的研究工作有下列幾項:

  1. 在圖論方面主要的內容為圖的分割、圖的覆蓋以及圖的著色。
  2. 在組合設計方面主要是應用圖設計於網路設計與生物計算中的群試理論。
  3. 在代數圖論方面則致力於探討二分圖的最大及次大的特徵值。
陳秋媛 老師

我主要研究的興趣在於「圖論」及「演算法」。在「圖論」方面,主要著眼於problems related to triangulations, planar graphs, perfect graphs, hamiltonian cycles, and graph embedding。在「演算法」方面,主要著眼於problems related to double-loop networks, triple-loop networks, and interconnection networks。

翁志文 老師

我的研究環繞距離正則圖為中心。早期以尋找距離正則圖的「弱測地封閉性子圖」(weak-geodetically closed subgraphs; strongly closed subgraphs) 為目標,之後探討一類有許多弱測地封閉性子圖的距離正則圖,稱之為 「D-封閉距離正則圖」(D-bounded distance-regular graphs),然後對「負型古典距離正則圖」(classical distance-regular graphs of negative type) 進行分類探討。距離正則圖的研究包含組合方法、代數方法、矩陣方法,因此我也從事「設計編碼」、「結合代數」、「組合矩陣論」相關的研究。如我曾參與「群試設計」(group testing)、「量子群」 (quantum groups)、「矩陣群」 (matrix group) 等研究。最近我較關心「組合矩陣論」,與李光祥合作推廣「值譜剩餘定理」 (Spectral Excess Theorem),「奇圍長定理」 (Odd Girth Theorem) 到非正則圖上。另一方面,我對距離正則圖或一般圖的「特徵值」 (eigenvalues) 之具組合意義的上下界及達到此界的圖刻畫也感興趣。