本實驗室的主要研究方向為演算法的設計與分析。從計算機問世,實務上的問題對於計算機的仰賴愈來愈重,演算法的設計逐漸成為人們關注的一門學問。研究的方向可粗分如下:
找尋有意義的新課題,進行算法的設計
針對既有問題,提出效率更佳的算法
分析法的改進
要評估算法的效能,一定會伴隨著複雜度的分析,因此數學工具是在進行算法研究必要的知識;此外,好的算法常常仰賴問題的特定性質,性質的存在性論證以及建構方式,也是離散數學中學者們著重的兩個大方向。
在鎖定自己的研究課題之前,需要大量的閱讀,從閱讀找尋自己感興趣的研究課題,並學習算法設計的技巧以及分析工具。下面列出部分在理論計算機科學與算法設計領域相關的重要會議與期刊,供同學參考。
Conferences
STOC | ACM Symposium on Theory of Computation
FOCS | IEEE Symposium on Foundations of Computer Science
SODA | ACM-SIAM Symposium on Discrete Algorithms
ICALP | International Colloquium on Automata, Languages and Programming
STACS | Symposium on Theoretical Aspects of Computer Science
ESA | European Symposium on Algorithms
WADS/SWAT | Algorithms and Data Structures Symposium/Scandinavian Workshop on Algorithm Theory
ISAAC | International Symposium on Algorithms and Computation
COCOON | International Conference Computing and Combinatorics
LATIN | Latin American Theoretical INformatics Symposium
COCOA | International Conference on Combinatorial Optimization and Applications
FUN | Fun with Algorithms
IWOCA | International Workshop on Combinatorial Algorithms
WG | International Workshop on Graph-Theoretic Concepts in Computer Science
MFCS | International Symposium on Mathematical Foundations of Computer Science
Journals
Theoretical Computer Science
European J. Operational Research
Operations Research Letters