2021年11月20日下午15:00，计算机与通信工程学院的徐超老师受邀作主题为“结合字符支配规则和消解原理最大可满足性问题的（理论）算法研究”的学术报告。本次报告会在云塘校区理科楼B-311举行，由学院研究生会主席王蓉同学主持，部分计通学院老师、2019级和2020级研究生参加了报告会。

会议伊始，王蓉同学简单介绍了徐超老师的个人简介，并对徐超老师的到来表示热烈欢迎。随后，他重点从领域背景、MaxSAT问题(理论)算法框架、前期研究成果、消解原理结合字符支配规则、MAXSAT精确算法等五个层面进行相关介绍。首先，徐超老师以NP问题为出发点，再由此引入最大可满足性问题以及强指数时间猜想，与强指数时间猜想相对应，消解原理是可满足性问题求解中的一种著名且有效的不基于分支搜索的技术。基于以上分析，徐超老师介绍了⼀种“理想且完美”的最大可满足性问题算法框架：重复、消解、核⼼化。之后，他又围绕上述问题介绍了自己的一些前期研究成果以及消解原理在字符⽀配规则中的应用。最后，徐超老师还介绍了MaxSAT精确算法，它是一种最⼤可满⾜性问题精确算法改进，其时间复杂度上界O*(1.2989m)，而在此之前最好的理论算法时间复杂度上界为O*(1.3248m)。

最终，本次讲座在雷动的掌声中结束。徐超老师在作报告的过程中思路清晰，逻辑严谨，汇报有序，在场的老师和同学也认真听讲，学习新的研究思想，开拓视野，增进知识。这场学术报告提高了同学们对优化算法的认知，活跃了计算机与通信工程学院的学术气氛。

（图/姚佳艺 文/余秋林 审/易亭亭）