本網(wǎng)訊：（程學(xué)勤  圖文報(bào)道）12月6日下午，我院本學(xué)期第32講至33講學(xué)術(shù)報(bào)告會(huì)在志學(xué)樓506室如期舉行。本次報(bào)告會(huì)邀請(qǐng)了黔南民族師范學(xué)院范懿副教授和張?jiān)佘姼苯淌跒閷W(xué)院師生開(kāi)展學(xué)術(shù)講座，學(xué)院教師、研究生及本科生80余人參加。

范懿副教授以“MaxSAT問(wèn)題”為題，深入探討了這一重要的組合優(yōu)化問(wèn)題。他指出，MaxSAT問(wèn)題作為SAT（可滿足性問(wèn)題）的擴(kuò)展形式，主要分為帶權(quán)重的MaxSAT問(wèn)題和部分MaxSAT問(wèn)題。其中，帶權(quán)重的MaxSAT問(wèn)題旨在尋找一個(gè)解，以得到更大的權(quán)值；部分MaxSAT問(wèn)題旨在尋找一個(gè)解，以滿足所有的硬子句和盡可能多的軟子句。范懿副教授還介紹了這兩類(lèi)MaxSAT問(wèn)題的實(shí)際應(yīng)用場(chǎng)景及其相關(guān)規(guī)律。他的講解深具理論深度，又緊密聯(lián)系實(shí)際，激發(fā)了在場(chǎng)師生的濃厚興趣。

張?jiān)佘姼苯淌趧t以“結(jié)構(gòu)信息在可滿足問(wèn)題算法設(shè)計(jì)中的應(yīng)用”為主題，揭示了結(jié)構(gòu)信息在求解可滿足性問(wèn)題中的核心作用。他指出，布爾可滿足性問(wèn)題（SAT）是命題邏輯和理論計(jì)算機(jī)科學(xué)中的基石，而結(jié)構(gòu)信息論的引入，尤其是結(jié)構(gòu)熵的方法，為工業(yè)實(shí)例類(lèi)和隨機(jī)3-SAT問(wèn)題的復(fù)雜結(jié)構(gòu)提供了新的度量方式。張?jiān)佘姼苯淌谶€分享了如何利用這些規(guī)律設(shè)計(jì)出求解隨機(jī)3-SAT和MaxSAT的高效算法。他的報(bào)告不僅為我們打開(kāi)了新的視野，也展現(xiàn)了結(jié)構(gòu)信息在算法設(shè)計(jì)中的巨大潛力。

 報(bào)告結(jié)束后，范懿副教授和張?jiān)佘姼苯淌谂c在場(chǎng)師生進(jìn)行了深入的交流與互動(dòng)。他們耐心地回答了師生們的問(wèn)題，并分享了自己在學(xué)術(shù)研究中的寶貴經(jīng)驗(yàn)和心得。現(xiàn)場(chǎng)氣氛活躍，師生們紛紛表示此次講座不僅拓寬了他們的學(xué)術(shù)視野，也激發(fā)了他們對(duì)科研的熱情。此次學(xué)術(shù)報(bào)告會(huì)為我院師生搭建了一個(gè)寶貴的學(xué)習(xí)和交流平臺(tái)，不僅讓大家深入了解了MaxSAT問(wèn)題和可滿足性問(wèn)題算法設(shè)計(jì)的最新研究動(dòng)態(tài)，還促進(jìn)了不同學(xué)科間的交流與融合，為我院的學(xué)科交流和學(xué)科發(fā)展注入了新的活力。