两个求解器在大集直接构造中的应用比较
主 讲 人 ：郑豪 副教授
活动时间：01月18日10时00分
地 点 ：理科群 1号楼 D-417室
讲座内容：
柯克曼三元系大集（LKTS）问题是组合设计领域中最为著名的公开问题之一。LKTS存在性问题，Chang和Zhou归结为直接构造和递推构造两个方面。直接构造方面主要借助代数、组合学、概率论等深刻的数学工具并辅助计算机搜索得到关键的小阶数。报告探索使用计算机直接构造柯克曼三元系大集中的小阶数，主要比较基于DancingLink的Libexact求解器与基于命题逻辑的MiniSat求解器在直接构造柯克曼三元系大集中的优劣，进一步探索两个求解器的结合以及并行化。
主讲人介绍：
郑豪，理学博士，毕业于北京交通大学。现任北京物资学院统计与数据科学学院副教授。受国家留学基金委资助作为访问学者到日本东北大学访学一年，并在日本筑波大学、日本长崎工业大学交流学习。主要研究方向是组合设计与编码理论，主持完成国家自然科学基金青年基金一项，承担国家自然科学基金面上子课题一项，在专业期刊发表SCI论文 6 篇，中文论文2篇。
