国产激情з∠视频一区二区,国产精品免费无遮挡无码永久视频,亚洲VA中文字幕无码毛片

報告內(nèi)容:最大可滿足性問題參數(shù)算法及核心化算法簡介

報告人: 徐超

報告人所在單位: 計算機與通信工程學(xué)院

報告人職稱/職務(wù)及學(xué)術(shù)頭銜:講師

時間:2021年11月30日（周二）14：00

地點:云塘校區(qū)工科一樓B210

報告人簡介:徐超，講師，博士，碩士生導(dǎo)師。2009年畢業(yè)于湘潭大學(xué)計算機系，獲學(xué)士學(xué)位，2014年畢業(yè)于中中南大學(xué)獲碩士學(xué)位，2019年畢業(yè)于中南大學(xué)博士學(xué)位。                  

徐超講師一直從事于計算機算法優(yōu)化、可滿足性問題算法與求解器優(yōu)化等方面的研究。近年來，主持國家自然科學(xué)基金項目青年基金項目1項。在Theoretical Computer Science、WADS、IJCAI等著名國內(nèi)外期刊和國際學(xué)術(shù)年會上發(fā)表多篇論文。

報告內(nèi)容簡介:可滿足性問題要求給出一個變量的賦值，使得在該賦值下，給定的合取范式為真。近幾十年來，可滿足性問題的研究取得了重大進(jìn)展，特別是CDCL（Conflict Driven Clause Learning）求解器的提出，使得求解器可以在幾分鐘內(nèi)解決數(shù)十萬變量和數(shù)百萬個子句的工業(yè)實例。最大可滿足性問題是可滿足性問題更一般化形式。本次講座從參數(shù)算法分析的角度，簡要講解最大可滿足性問題的時間復(fù)雜度上界算法以及核心化算法。

承辦單位:計算機與通信工程學(xué)院    通識教育中心