引言:“难解问题的表示、算法与应用研讨会(Workshop on Hard Computational Problems: Representations, Algorithms and Applications, 简称 HCP),是目前国内难解问题领域颇具规模和水平的重要会议之一,致力于促进难解计算问题相关领域学界和工业界研究人员的深度交流与合作,促成有影响力的学术成果和产研合作。”
近日,2023年第六届“难解问题的表示、算法与应用研讨会”(HCP2023)在云南昆明胜利举行,140多位来自国内外多所高校、科研机构以及高科技企业的专家学者齐聚一堂,共同探讨了难解问题在组合优化、求解器、EDA和图论等领域的研究成果和应用。
联想研究院人工智能实验室机器学习主管研究员袁浩受邀出席,与来自皮卡第儒勒-凡尔纳大学、中国科学院大学、北京大学、阿里、华为等高校和企业的专家学者进行了深入探讨交流。袁浩还就“联想决策智能技术在供应链上的应用”作了主题报告,分享了联想基于人工智能的运筹优化技术在提升制造业供应链整体效能方面的成功实践。
研讨会中关注的“难解问题”通常指的是时间或空间复杂性很高的算法问题,其中NP-难问题就是一类典型代表。许多经典的组合优化问题,如旅行商问题和图着色问题等,都属于NP-难问题,因其重要性和难度备受学界和业界瞩目。本次会议围绕约束满足、系统与应用、AI与优化三大主题展开,其中求解器和运筹优化在工业应用中成为热门话题。
01 面向场景的底层计算引擎
求解器作为解决