AIRS in the AIR

• 

  付樟华

  AIRS项目负责人、港中大（深圳）研究员

  执行主席

  嘉宾介绍

  个人简介
• 

  肖鸣宇

  电子科技大学计算机学院教授，副院长

  Solving hard problems with theoretical guarantee

  嘉宾介绍

  2008年在香港中文大学获得计算机博士学位之后进入电子科技大学工作，现在为电子科技大学计算机学院教授，副院长。主要从事算法分析与设计、机制设计与博弈论、人工智能中的基础算法理论等方向的研究，在Information and Computation、JCSS、Algorithmica、ACM/IEEE Trans.、ICALP、IJCAI、AAAI、WWW、INCOFOM等算法、人工智能领域顶级期刊和会议上发表论文超过100篇，撰写英文专著1部，主持（完成）国家自然科学基金项目5项。是参数算法和精确算法国内外知名的学者。

  个人简介

  Combinatorial optimization plays an important role in AI and real life. However, many optimization problems are NP hard, that is to say, there is no polynomial-time algorithm for them under reasonable assumptions. In practice, we have designed fast heuristic algorithms and exact algorithms for many of these problems, and they have a very good performance on tested benchmark instances. On the other hand, theoretical algorithms, may not be so practical, solve the problems with theoretical guarantees of running-time bound and solution quality, etc. In this talk, I will discuss the differences between theoretical and practical algorithms, and take the maximum independent set problem as an example to introduce exact algorithms with theoretical running-time bounds. 

• 

  吴庆华

  华中科技大学管理学院教授、国家优秀青年基金获得者

  求解离散优化问题的精确算法研究

  嘉宾介绍

  吴庆华，华中科技大学管理学院教授，博士生导师，入选国家高层次青年人才计划，国家自然科学基金优秀青年基金获得者，香江学者，华中科技大学华中卓越学者计划，获得华中科技大学学术新人奖，主要研究领域，运筹优化与调度，数学规划方法理论与应用，精确性算法和启发式算法设计，以第一或通讯作者在管理科学领域国际高水平SSCI/SCI期刊发表论文近50篇，含运筹优化领域顶级期刊多篇，主持国家自科基金3项，企业课题多项。

  个人简介

  本报告主要聚焦于大规模整数规划模型的精确离散优化方法和求解策略, 深入浅出地阐明求解大规模整数规划模型主流精确求解方法的基本思想、原理、执行步骤以及在一些经典问题中的应用, 主要包括整数规划建模、线性规划、动态规划、割平面法、列生成算法、分支定界算法和分支定价算法。并研究了分支定界和分支定价等精确性算法在求解我国大型光伏电站设施选址、考虑人员和车辆集成调度等实践问题中的应用。

视频回顾