2021年11月20日下午15:00，計(jì)算機(jī)與通信工程學(xué)院的徐超老師受邀作主題為“結(jié)合字符支配規(guī)則和消解原理最大可滿(mǎn)足性問(wèn)題的（理論）算法研究”的學(xué)術(shù)報(bào)告。本次報(bào)告會(huì)在云塘校區(qū)理科樓B-311舉行，由學(xué)院研究生會(huì)主席王蓉同學(xué)主持，部分計(jì)通學(xué)院老師、2019級(jí)和2020級(jí)研究生參加了報(bào)告會(huì)。

會(huì)議伊始，王蓉同學(xué)簡(jiǎn)單介紹了徐超老師的個(gè)人簡(jiǎn)介，并對(duì)徐超老師的到來(lái)表示熱烈歡迎。隨后，他重點(diǎn)從領(lǐng)域背景、MaxSAT問(wèn)題(理論)算法框架、前期研究成果、消解原理結(jié)合字符支配規(guī)則、MAXSAT精確算法等五個(gè)層面進(jìn)行相關(guān)介紹。首先，徐超老師以NP問(wèn)題為出發(fā)點(diǎn)，再由此引入最大可滿(mǎn)足性問(wèn)題以及強(qiáng)指數(shù)時(shí)間猜想，與強(qiáng)指數(shù)時(shí)間猜想相對(duì)應(yīng)，消解原理是可滿(mǎn)足性問(wèn)題求解中的一種著名且有效的不基于分支搜索的技術(shù)?；谝陨戏治觯斐蠋熃榻B了?種“理想且完美”的最大可滿(mǎn)足性問(wèn)題算法框架：重復(fù)、消解、核?化。之后，他又圍繞上述問(wèn)題介紹了自己的一些前期研究成果以及消解原理在字符?配規(guī)則中的應(yīng)用。最后，徐超老師還介紹了MaxSAT精確算法，它是一種最?可滿(mǎn)?性問(wèn)題精確算法改進(jìn)，其時(shí)間復(fù)雜度上界O*(1.2989m)，而在此之前最好的理論算法時(shí)間復(fù)雜度上界為O*(1.3248m)。

最終，本次講座在雷動(dòng)的掌聲中結(jié)束。徐超老師在作報(bào)告的過(guò)程中思路清晰，邏輯嚴(yán)謹(jǐn)，匯報(bào)有序，在場(chǎng)的老師和同學(xué)也認(rèn)真聽(tīng)講，學(xué)習(xí)新的研究思想，開(kāi)拓視野，增進(jìn)知識(shí)。這場(chǎng)學(xué)術(shù)報(bào)告提高了同學(xué)們對(duì)優(yōu)化算法的認(rèn)知，活躍了計(jì)算機(jī)與通信工程學(xué)院的學(xué)術(shù)氣氛。

（圖/姚佳藝 文/余秋林 審/易亭亭）