報告題目：多項式時間解猜想和人工智能求解器研究與應用

報 告 人：何靜教授

報告時間：5月10日 15:00-17:00

報告地點：計算機與軟件學院明理樓B306

報告人簡介：

何靜，南京郵電大學教授，博士生導師，2022年國家高層次人才入選者。2007-2023年16年間先后在澳大利亞維多利亞大學，斯文本科技大學，昆士蘭大學，牛津大學任教。2015年于38歲時即在英聯邦國家評為終身正教授，2013年獲澳大利亞研究理事會（相當于國家自然科學基金）杰出青年研究員稱號，2006年中國科學院數學與系統科學研究院獲得博士學位。IEEE高級會員，發表文章200余篇，其中SCI檢索67篇，80%以上均為第一作者或者通訊作者。H-index 27。文章引用總計2515次。

報告內容摘要：

本講座將圍繞兩個復雜科學難題：線性規劃是否有強多項式時間解？圖同構/子圖同構是否有多項式時間解？展開。演講人將提出切錐方法和梯度流方法嘗試給出線性規劃的強多項式時間解。同時推出置換定理和等勢定理嘗試解決圖同構/子圖同構問題。該報告也會對研究團隊研發的大規模并行線性規劃求解器和利用圖同構進行拓撲距離測量的新藥研發平臺進行介紹。

主辦單位：計算機與軟件學院

 科學技術發展研究院