通識教育講座預告--最大可滿足性問題參數算法及核心化算法簡介
發布時間: 2021-10-27 11:15:05 瀏覽量:
報告內容: 最大可滿足性問題參數算法及核心化算法簡介
報告人: 徐超
報告人所在單位: 計算機與通信工程學院
報告人職稱/職務及學術頭銜:講師
時間:2021年11月30日（周二）14：00
地點:云塘
報告人簡介:徐超，講師，博士，碩士生導師。2009年畢業于湘潭大學計算機系，獲學士學位，2014年畢業于中中南大學獲碩士學位，2019年畢業于中南大學博士學位。
徐超講師一直從事于計算機算法優化、可滿足性問題算法與求解器優化等方面的研究。近年來，主持國家自然科學基金項目青年基金項目1項。在Theoretical Computer Science、WADS、IJCAI等著名國內外期刊和國際學術年會上發表多篇論文。
報告內容簡介: 可滿足性問題要求給出一個變量的賦值，使得在該賦值下，給定的合取范式為真。近幾十年來，可滿足性問題的研究取得了重大進展，特別是CDCL（Conflict Driven Clause Learning）求解器的提出，使得求解器可以在幾分鐘內解決數十萬變量和數百萬個子句的工業實例。最大可滿足性問題是可滿足性問題更一般化形式。本次講座從參數算法分析的角度，簡要講解最大可滿足性問題的時間復雜度上界算法以及核心化算法。
承辦單位:計算機與通信工程學院 通識教育中心