体育米乐m6app|官方下载(ac0p.cc)是中国最优质游戏品牌,体育米乐m6app|官方下载综合各种在线游戏于一站式的大型游戏平台,多年来一直为大家提供极致体验的游戏环境,体育米乐m6app|官方下载值得信赖,期待广大游戏爱好者前来体验,体育米乐m6app|官方下载将把最好的游戏体验带给大家!

    <code id="eyh5t"></code>

        <th id="eyh5t"><option id="eyh5t"></option></th><tr id="eyh5t"></tr>

          1. 法国亚眠大学李初民教授应邀作学术报告

            更新:2017-08-24 10:08:10 阅读:人次

            713号下午3点体育米乐m6app|官方下载体育米乐m6app|官方下载,法国亚眠大学李初民教授应华中科技大学计算机学院何琨教授的邀请在南一楼423会议厅作了题为Incrementality in Exact NP-hard Problem Solving的学术报告体育米乐m6app|官方下载体育米乐m6app|官方下载。

            李初民教授的报告主要讲述了渐增式方法在求解NP难问题中的应用体育米乐m6app|官方下载。经典的NP难问题求解拥有亿个变元的工业问题时体育米乐m6app|官方下载,计算代价非常高体育米乐m6app|官方下载体育米乐m6app|官方下载。完备算法在可接受时间内很难找到问题的解体育米乐m6app|官方下载体育米乐m6app|官方下载。渐增式求解方法通过累积求解过程中体育米乐m6app|官方下载,可用的中间计算结果体育米乐m6app|官方下载体育米乐m6app|官方下载体育米乐m6app|官方下载,以达到有效地缩短计算时间的目标。李初民教授首先以经典的SAT问题求解方法--冲突驱动子句学习技术为例体育米乐m6app|官方下载体育米乐m6app|官方下载。提出对表示冲突搜索中间结果的学习子句进行文字优化,消除非决定性原因的文字体育米乐m6app|官方下载体育米乐m6app|官方下载,从而引导搜索树更加紧凑体育米乐m6app|官方下载。接着,李教授介绍了渐增式方法在最大团问题中的应用体育米乐m6app|官方下载。提出将搜索分支下的候选图顶点依次添加到K个(最大团的当前最优解)独立集中体育米乐m6app|官方下载,直至顶点不能添加为止体育米乐m6app|官方下载。未进入到独立集中的顶点将是后续分支的候选顶点体育米乐m6app|官方下载体育米乐m6app|官方下载体育米乐m6app|官方下载。为了提高独立集的质量体育米乐m6app|官方下载体育米乐m6app|官方下载,进而提出渐进式MaxSAT推理方法体育米乐m6app|官方下载体育米乐m6app|官方下载体育米乐m6app|官方下载。在当前最大团最优解的基础上体育米乐m6app|官方下载,计算当前待搜索的空间体育米乐m6app|官方下载,并使用渐进式MaxSAT推理体育米乐m6app|官方下载体育米乐m6app|官方下载,逐步缩小上界,提高了搜索的效率。最后,李教授和同学们一起探讨了渐增式方法使用的时机体育米乐m6app|官方下载体育米乐m6app|官方下载,优化方法等问题体育米乐m6app|官方下载。

            李初民教授是1983年于华中理工大学计算机系获工学学士学位,1985年和1990年于法国贡比涅大学(Universityof Technology of Compiegne)计算机系分别获工学硕士和工学博士学位体育米乐m6app|官方下载体育米乐m6app|官方下载体育米乐m6app|官方下载体育米乐m6app|官方下载。现任法国皮卡第儒勒-凡尔纳大学(University of Picardie Jules Verne)计算机系教授,法国科技部杰出科研奖获得者体育米乐m6app|官方下载体育米乐m6app|官方下载。在国际上首次提出了能用于现实求解SAT问题的完备算法体育米乐m6app|官方下载,并被后续的研究者大量引用体育米乐m6app|官方下载。参与编写著作3部体育米乐m6app|官方下载体育米乐m6app|官方下载。在国际学术期刊和会议上发表高水平论文100余篇体育米乐m6app|官方下载,在人工智能领域的顶尖学术会议AAAIIJCAI上发表8篇学术论文体育米乐m6app|官方下载,Google学术引用近3000次体育米乐m6app|官方下载。

            学术交流

            Directory

            体育米乐m6app|官方下载

              <code id="eyh5t"></code>

                  <th id="eyh5t"><option id="eyh5t"></option></th><tr id="eyh5t"></tr>