▓开心彩票平台官网官网▓赔率最高,提款速度最快。开心彩票平台官网专注彩票经营10余年,信誉口碑业界驰名;在我们开心彩票平台官网聊天室玩家每天可领取现金红包!我们[开心彩票平台官网]将给您提供一个安全/稳定/秒速的彩票平台!...

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

更新: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

开心彩票平台官网 开心彩票注册链接 开心彩票网址 开心彩票最新官网 开心彩票平台注册 开心彩票登入网址 开心彩票官方网站 开心彩票注册链接 开心彩票注册平台 开心彩票线路导航 开心彩票最新网址 开心彩票注册链接 开心彩票网址 开心彩票最新官网 开心彩票平台注册 开心彩票登入网址