报告题目：图结构信息在可满足性问题算法设计中的应用

报 告 人： 张再军 博士（黔南民族师范学院）

讲座地点：实验2-A602（学院学术报告厅）

讲座时间：2023年9月27日（星期三） 下午15:20-16:00

主办单位：数学与统计学院

参与人员：感兴趣的教师及全体学术硕士研究生

报告摘要：可满足性问题（SAT）是理论计算机科学的十大核心问题之一，对其求解算法的研究能促进一些大型NP-难组合优化问题的解决，在实际生产生活中具有广泛应用。本报告将介绍可满足性问题的问题结构，可满足性问题的结构信息度量原理，以及在度量过程中用发现的相关规律设计求解可满足性问题的快速算法，技术等。

报告人简介： 张再军，男，博士，副教授，贵州省千层次人才。主要研究方向为算法设计与分析，计算复杂性。发表核心期刊及以上论文10余篇，目前在研国家自然科学基金专项项目1项，贵州省科技厅基础计划项目1项。