2024年5月10日15:00分,西南石油大學(xué)計算機(jī)與軟件學(xué)院邀請了南京郵電大學(xué)何靜教授(博士生導(dǎo)師)在明理樓B306以多項式時間解猜想和人工智能求解器的研究與應(yīng)用為主題,為我院研究生做學(xué)術(shù)報告。
何靜教授圍繞線性規(guī)劃是否有強(qiáng)多項式時間解?圖同構(gòu)/子圖同構(gòu)是否有多項式時間解?兩個問題進(jìn)行展開分析,并提出了利用切錐方法和梯度流方法嘗試給出線性規(guī)劃的強(qiáng)多項式時間解的方法,同時,推出了置換定理和等勢定理嘗試解決圖同構(gòu)/子圖同構(gòu)問題。報告還對其研究團(tuán)隊研發(fā)的大規(guī)模并行線性規(guī)劃求解器和利用圖同構(gòu)進(jìn)行拓?fù)渚嚯x測量的新藥研發(fā)平臺進(jìn)行了介紹。最后,主持人張曉均副教授對本次報告的內(nèi)容進(jìn)行了提問與總結(jié),并對何教授的精彩分享與耐心答疑表示了感謝。在本次報告中,我院研究生們針對圖同構(gòu)/子圖同構(gòu)的困惑與何教授進(jìn)行了深入地交流,受益匪淺,反響很好。
何靜是南京郵電大學(xué)教授,博士生導(dǎo)師,2022年國家高層次人才入選者。2007-2023年16年間先后在澳大利亞維多利亞大學(xué),斯文本科技大學(xué),昆士蘭大學(xué),牛津大學(xué)任教。2015年于38歲時即在英聯(lián)邦國家評為終身正教授,2013年獲澳大利亞研究理事會(相當(dāng)于國家自然科學(xué)基金)杰出青年研究員稱號,2006年中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院獲得博士學(xué)位。IEEE高級會員,發(fā)表文章200余篇,其中SCI檢索67篇,80%以上均為第一作者或者通訊作者。H-index 27。文章引用總計2515次。
上一條:關(guān)于Chrome可發(fā)現(xiàn)插件程序研究的學(xué)術(shù)報告 下一條:理學(xué)院微分方程與動力系統(tǒng)系列報告
【關(guān)閉】