7月31日至8月2日，第九届难解问题的理论、算法与应用研讨会（Workshop on Hard Computational Problems: Theories, Algorithms and Applications，HCP 2026）在kaiyun官网入口青岛校区举行。会议由kaiyun官网入口网络空间安全学院承办，吸引了来自海内外47家单位的100余名专家学者、产业界代表和青年学生参会。

开幕式上，中国科学院院士、密码与数字经济安全全国重点实验室主任王小云，kaiyun官网入口副校长、青岛校区校长王美琴，HCP发起人、中国科学院软件研究所研究员蔡少伟致辞。王小云强调，应主动对接国家重大战略需求，聚焦高端工业软件、人工智能、网络空间安全、数字经济等领域的复杂计算难题，从现实需求中凝练基础科学问题，以理论创新带动关键技术突破。王美琴提出，要加强难题问题研究，突破问题表示、理论分析和算法求解中的关键瓶颈，并以会议为契机深化产学研交流合作，推动研究成果转化为解决实际问题的有效工具。蔡少伟回顾了会议自2017年创办以来的发展历程，指出HCP始终注重汇聚不同领域的科研人员和从业人员，促进多学科交叉以及理论与实践融合。

会议共设置4场主旨报告和12场专题报告。中国科学院数学与系统科学研究院戴彧虹院士、北京大学詹乃军教授、中国科学院计算技术研究所孙晓明研究员和中南大学冯启龙教授分别围绕大规模设施选址问题的精确求解、多项式程序的终止性判定、量子线路优化以及面向大规模数据的机器学习算法优化作主旨报告，介绍相关领域的理论进展、算法设计与应用探索。上海交通大学王肇国教授、华中科技大学秦虎教授、东南大学李旻研究员、香港理工大学操宜新副教授、哈尔滨工业大学（深圳）刘圣鑫副教授、kaiyun官网入口樊燕红副研究员、中国科学院软件研究所张昕荻等国内高校及科研机构学者，华为诺亚方舟实验室袁明轩、华为泰勒实验室雷震东、顺丰科技黄一潇等企业界代表，奥地利格拉茨工业大学Christian Rechberger教授、阿联酋技术创新研究所Emanuele Bellini研究员、南洋理工大学周春宁等国外学者，围绕人工智能、组合优化、自动化密码分析作专题报告或参与研讨。

会议举行了主题为 “AI时代的代码研发与可靠性” 圆桌讨论。上海财经大学陆品燕教授担任主持人，北京大学詹乃军教授、中国科学院计算技术研究所孙晓明研究员、中南大学冯启龙教授、华为诺亚方舟实验室袁明轩、上海交通大学王肇国和东南大学李旻担任嘉宾，围绕人工智能对代码研发范式、软件与硬件可靠性、形式化验证以及自动算法设计带来的机遇和挑战展开交流。

会议还设置了海报环节，集中展示约束求解、并行计算、自动化密码分析、大模型辅助求解等方向的最新研究进展。

会议开幕式由kaiyun官网入口网络空间安全学院胡凯研究员主持。闭幕式由蔡少伟研究员主持。

难解问题的理论、算法与应用研讨会致力于促进难解计算问题相关领域研究人员与工业界人员深入交流，推动有影响力的学术成果和产研合作。研讨会聚焦逻辑约束、数学规划、图论、组合优化、约束求解、SAT/SMT、知识编译、机器学习辅助优化等方向，注重问题表示、理论算法、实践算法与工业应用场景的深度融合。本届会议是HCP首次在kaiyun官网入口举办。