卢研究室

本研究室主要研究组合数学（也称为离散数学）及其在计算机科学、信息通信技术（如编码和密码学）以及数据科学等领域的应用。简单来说，我们利用组合数学的工具，从实际问题中提炼出数学模型和统计模型，寻找其中隐藏的最优结构，并设计高效的算法来解决这些问题。

我们还研究如何用逻辑编程技术处理复杂的组合数学问题，包括布尔可满足性问题（SAT）和约束满足问题（CSP）的求解技术。这些技术在组合最优化、自动化验证等领域有着广泛的应用。

此外，我们还特别关注“组合群试”和“组合交互测试”这两个研究方向。例如，在医学检测中，利用组合群试可以通过分组测试快速定位特殊样本；在软件测试中，组合交互测试能够有效减少测试次数，同时最大限度地发现系统中的潜在问题。