本网讯：（程学勤  图文报道）12月6日下午，我院本学期第32讲至33讲学术报告会在志学楼506室如期举行。本次报告会邀请了黔南民族师范学院范懿副教授和张再军副教授为学院师生开展学术讲座，学院教师、研究生及本科生80余人参加。

范懿副教授以“MaxSAT问题”为题，深入探讨了这一重要的组合优化问题。他指出，MaxSAT问题作为SAT（可满足性问题）的扩展形式，主要分为带权重的MaxSAT问题和部分MaxSAT问题。其中，带权重的MaxSAT问题旨在寻找一个解，以得到更大的权值；部分MaxSAT问题旨在寻找一个解，以满足所有的硬子句和尽可能多的软子句。范懿副教授还介绍了这两类MaxSAT问题的实际应用场景及其相关规律。他的讲解深具理论深度，又紧密联系实际，激发了在场师生的浓厚兴趣。

张再军副教授则以“结构信息在可满足问题算法设计中的应用”为主题，揭示了结构信息在求解可满足性问题中的核心作用。他指出，布尔可满足性问题（SAT）是命题逻辑和理论计算机科学中的基石，而结构信息论的引入，尤其是结构熵的方法，为工业实例类和随机3-SAT问题的复杂结构提供了新的度量方式。张再军副教授还分享了如何利用这些规律设计出求解随机3-SAT和MaxSAT的高效算法。他的报告不仅为我们打开了新的视野，也展现了结构信息在算法设计中的巨大潜力。

 报告结束后，范懿副教授和张再军副教授与在场师生进行了深入的交流与互动。他们耐心地回答了师生们的问题，并分享了自己在学术研究中的宝贵经验和心得。现场气氛活跃，师生们纷纷表示此次讲座不仅拓宽了他们的学术视野，也激发了他们对科研的热情。此次学术报告会为我院师生搭建了一个宝贵的学习和交流平台，不仅让大家深入了解了MaxSAT问题和可满足性问题算法设计的最新研究动态，还促进了不同学科间的交流与融合，为我院的学科交流和学科发展注入了新的活力。