【国民娱乐每日礼金gm777.top,国民彩票手机版中大奖】我们为您提供国民彩票手机版注册,国民彩票手机版投注,国民彩票手机版app,国民彩票手机版平台,巨华彩票开户,充提快速,操控简单,为国民彩票手机版彩民服务!

法國亞眠大學李初民教授應邀作學術報告

更新:2017-08-24 10:08:10 閱讀:人次

713號下午3點国民彩票手机版,法國亞眠大學李初民教授應華中科技大學計算機學院何琨教授的邀請在南一樓423會議廳作了題為Incrementality in Exact NP-hard Problem Solving的學術報告。

李初民教授的報告主要講述了漸增式方法在求解NP難問題中的應用。經典的NP難問題求解擁有億個變元的工業問題時,計算代價非常高国民彩票手机版。完備算法在可接受時間內很難找到問題的解国民彩票手机版。漸增式求解方法通過累積求解過程中国民彩票手机版,可用的中間計算結果,以達到有效地縮短計算時間的目標国民彩票手机版。李初民教授首先以經典的SAT問題求解方法--沖突驅動子句學習技術為例。提出對表示沖突搜索中間結果的學習子句進行文字優化国民彩票手机版,消除非決定性原因的文字,從而引導搜索樹更加緊湊。接著,李教授介紹了漸增式方法在最大團問題中的應用。提出將搜索分支下的候選圖頂點依次添加到K個(最大團的當前最優解)獨立集中,直至頂點不能添加為止国民彩票手机版。未進入到獨立集中的頂點將是后續分支的候選頂點。為了提高獨立集的質量,進而提出漸進式MaxSAT推理方法国民彩票手机版。在當前最大團最優解的基礎上,計算當前待搜索的空間国民彩票手机版,并使用漸進式MaxSAT推理,逐步縮小上界,提高了搜索的效率。最后,李教授和同學們一起探討了漸增式方法使用的時機国民彩票手机版,優化方法等問題。

李初民教授是1983年于華中理工大學計算機系獲工學學士學位国民彩票手机版,1985年和1990年于法國貢比涅大學(Universityof Technology of Compiegne)計算機系分別獲工學碩士和工學博士學位?,F任法國皮卡第儒勒-凡爾納大學(University of Picardie Jules Verne)計算機系教授国民彩票手机版,法國科技部杰出科研獎獲得者。在國際上首次提出了能用于現實求解SAT問題的完備算法,并被后續的研究者大量引用国民彩票手机版。參與編寫著作3部。在國際學術期刊和會議上發表高水平論文100余篇,在人工智能領域的頂尖學術會議AAAIIJCAI上發表8篇學術論文,Google學術引用近3000次。

學術交流

Directory

国民彩票手机版