本研究室以组合数学(离散数学)为核心和基础,研究内容涵盖编码与密码、数理统计、最优化、约束逻辑编程等领域,以及基于这些理论的算法设计与求解器开发。简单来说,我们利用组合数学和理论计算机科学的工具,从实际问题中提炼出数学模型和统计模型,寻找其中隐藏的离散数学结构,并设计高效的算法和程序来解决这些问题。
此外,我们还特别关注“组合群试”和“组合交互测试”这两个研究方向。例如,在医学检测中,利用组合群试可以通过分组测试快速定位特殊样本;在软件测试中,组合交互测试能够有效减少测试次数,同时最大限度地发现系统中的潜在问题。
如果你对组合数学、组合算法、组合最优化,或者通信技术、信息安全、运筹学等中蕴含的数学理论感兴趣,欢迎加入我们!
希望报考本系并在本研究室完成大学院(硕士课程)学习的同学,请务必先阅读本页。