2010年9月27日,中国计算机学会青年计算机科技论坛(CCF YOCSEF)哈尔滨在哈尔滨工业大学举办了名为“Max-SAT问题的求解算法”的学术报告会。本次论坛的特邀嘉宾为中山大学的林瀚博士。
林博士结合自己在Max-SAT问题方面的研究成果和参加国际Max-SAT评比的成功经验,从命题逻辑的可满足性(SAT)问题的起源和求解技术谈起,重点介绍了求解Max-SAT问题的局部搜索、Max-SAT消解和分支定界等几类主要算法,并重点探讨了自己针对以往分支定界算法计算下界方法的不足等问题而提出的一系列基于分支定界算法的求解器的改进方法。最后林瀚博士简要介绍了所提出的算法参加近几年的国际Max-SAT评比竞赛的情况和结果,以及国际上相关研究组所提算法的情况,使大家对Max-SAT问题的发展和应用情况有了一个较为深入的认识。
主题报告结束后,参加报告的师生就分支定界算法、求解算法的发展趋势、随机实例与工业实例、以及Max-SAT问题的潜在应用等问题与林瀚博士进行了进一步的交流探讨。车万翔博士就算法性能评价指标等方面与林瀚博士交换了意见。
本次学术活动的执行主席为哈尔滨工业大学的刘绍辉和左旺孟。YOCSEF哈尔滨学术秘书张伟哲、AC委员车万翔参加了此次报告。与会人员还有哈尔滨工业大学计算机学院教师孙志岗,范晓鹏,哈尔滨工程大学、YOCSEF哈尔滨分论坛AC委员张磊,以及哈尔滨工业大学的部分教师和部分学生。
(张伟哲供稿)
所有评论仅代表网友意见