离散优化问题的人工智能方法-严骏驰.pdf

离散优化问题的人工智能方法

严骏驰

上海交通大学人工智能学院/计算机系

2024年10月24日

成熟商业求解器多为传统算法，AI引领工业软件新变革

198819941997

旅行商

RobertBixby发布正并入

创立并发布初式版求CPLEX

图着色版优化器解器1997

Andersen兄弟创立MOSEK

最大流混合整数规划2008

Z.Gu、E.Rothberg、R.Bixby

经典舒适区开放场景

多样性：设计繁琐

规模适中规模大Volume大规模：计算耗时

相对稳定传统求机器变化快Velocity

解器学习

经典问题形式多Variety智能化：机器学习

精确确定不确定Veracity并行化：显卡加速

研究背景：学科交叉前沿与国际趋势

带约束图论与组合

连续/带约束聚类离散/带约束

图割

CVPR22大会最佳论文

路径规划

混合高斯模型

匹配

支持向量机…

(深度)神经网络决策树

逻辑回归朴素贝叶斯Bengio一作展望论文

主成分分析概率主题模型

连续/无约束离散/无约束

无约束

连续域离散域美国NSF重大项目立项

助力上海三大先导产业：

人工智能，生物医药，集成电路

“三省一市要集合科技力量，聚焦集成电路、生物医药、人工

智能等重点领域和关键环节，尽早取得突破。”

-2020年8月20日，习近平总书记在合肥主持召开扎实推进长三角一体化发展座谈会并发表重要讲话

“全面实施集成电路、人工智能、生物医药“上海方案”，集聚

高水平研发机构，加快形成一批聚焦关键核心技术、具有国

际先进水平的功能型研发转化平台。”

-2020年1月15日，