简介演算法研究的三个新兴议题1引言2性质测定PropertyTesting.PDF

The 25th Workshop on Combinatorial Mathematics and Computation Theory 簡介演算法研究的三個新興議題 張貿翔 資訊工程學系 嘉義縣民雄鄉國立中正大學 mschang@.tw Abstract Algorithms) 。最後一個議題也常被稱為 演算法理論的研究歷史悠久 ，是計算機科學 Exact Algorithms 。 基礎。演算法理論似乎是計算機科學中相當成 熟的次領域 ，但是隨著時代變遷與科技的進 步 ，對演算法的效率的要求似乎有增無減 。因 2 性質測定 (Property Testing) 此為適應新的需求 ，仍然一直有新興議題出 現 。本短 文旨在簡介三個新興議題：性質測定 (Property Testing) 、固 定 參 數 演 算 法 即使電腦的記憶體的容量仍循著摩爾定 (Fixed-parameter Algorithms) ，以及降低指數時 間演算法的時間複雜度 (Lowering Worst Case 律快速成長 ，但是相對的吾人對於計算 Complexity of Exponential Algorithms) 。作為有 的需求也同樣的與日俱增 ，大量資料的 興趣的以及新進學者尋求研究主題的參考 。這 計算需求在許多應用領域日益重要 ，例 些新興的研究議題 ，在歷年演算法研究領域的 一些具代表性的學術會議裡一直佔有相當程度 如 VLSI 、地理資訊與大型社群網路分 的篇幅 ，顯然這些新興議題逐漸吸引學者們的 注目與興趣。. 析 。性質測定演算法是處理大量資料的 一種演算法。大選前，媒體經常報導民 1 引言 調結果並且根據民調結果推論那位候選 人最有可能當選。性質測定(property 演算法理論的研究歷史悠久 ，是計算機 testing)演算法的原理類似民調 。當要測 科學基礎 。演算法理論似乎是計算機科 定某物件是否具有性質P時 ，例如決 定 學中相當成熟的次領域，但是隨著時代 一個圖(graph)是否連通 ，如果無法在時 變遷與科技的進步 ，對演算法的效率的 限之內完全檢視待測物件的所有細節例 要求似乎有增無減 。因此為適應新的需 如待測的圖有億萬個節點 ，可否僅僅檢 求，仍然一直有新興議題出現 。本短文 視部份細節然後根據所檢視的部份細節 旨在提出並說明 三個新興議題 ，作為有 來推論待測物件是否具有性質P ？既然 興趣的以及新進學者尋求研究主題時的 沒有檢視待測物件的全部細節 ，自然難 參考。這些新興的研究議題 ，在歷年演 以確保推論可以百分之百正確。雖然犧 算法研究領域的學術會議裡一直佔有相 牲了正確性 ，但是可以在時限之內得到 當程度的篇幅 ，顯然這些新興議題逐漸 具有參考價值的推論。為了討論的嚴謹 吸引學者們的注目與興趣 。這三個議題 以及評量測定演算法優劣，必須定