第八届“难解问题的理论、算法与应用研讨会”（HCP 2025）在沪成功举办

2025年8月1日至2日，第八届“难解问题的理论、算法与应用研讨会” （Workshop on Hard Computational Problems: Theories, Algorithms and Applications）在上海成功召开。会议由上海财经大学计算机与人工智能学院主办，邀请了多所高校与科研院所的专家学者，围绕理论、算法、应用、融合的热点问题展开深入交流，吸引了来自全国各地的百余位师生参会。

会议首日，上海财经大学陆品燕教授作为承办方代表在开幕式上致欢迎辞。 他热烈欢迎来自全国各地的专家学者和业界同仁齐聚上财，共同探讨相关领域的前沿进展，并期待本届会议能成为思想碰撞、合作创新的重要平台。

孙德锋教授（香港理工大学）证明了非线性锥规划的 Aubin 性质和 Robinson 强正则性在非线性二阶锥和非线性半定规划问题中等价。

文再文教授（北京大学）的报告探讨了在数学优化领域中，数据、模型、算法和理论融合的新模式，提出了布尔优化、路径规划等问题的学习优化方法。

林冰凯教授（南京大学）介绍在参数复杂性版本的 PCP 定理方面的最新进展 。

陈伟坤副研究员（北京理工大学）提出了一个针对最大 k-顶点覆盖问题的整数规划方法，他们基于不同结构化子图开发了三种强有效不等式，极大提升了分支切割算法在该问题上的运行性能。

姚培森研究员（浙江大学）提出新的针对位向量约束的最优化模理论问题的串行与并行算法，并介绍了相关算法在二进制静态分析、混合模糊测试等场景的应用。

胡凯研究员（山东大学）介绍了对称密码算法的安全性问题转换成最优化问题与约束规划问题的原理与方法，报告指出了这一领域当前面临的瓶颈。

李宏博副教授（东北师范大学）介绍了约束满足问题的回溯搜索算法的变量排序问题，并提出了全新的高效启发式方法。

张昕荻博士（中国科学院软件研究所）的报告混合了GPU端精确仿真方法的异构并行和CPU端SAT求解器的多样性并行，大幅加速了复杂的电路等价性问题求解。

章嘉玺博士（华为泰勒实验室）总结了芯片设计中逻辑综合、划分、布线等步骤的难题，并介绍了实践中子结构、同拓扑，单双向A*搜索自适应等启发式策略。

王永教授（华北电力大学）从完全赋权图的频率特性出发，证明了最优哈密顿圈中的边是相邻的其他边的两倍以上，诱导出一个旅行商问题的动态规划算法。

金燕副教授（华中科技大学）介绍了基于Q-learning方法求解TTP问题和使用两阶段分治算法求解TSP问题的两份工作，提出的混合方法综合了传统启发式和人工智能方法的优势。

王艺源副教授（东北师范大学）汇报了对MaxSAT问题求解时不可满足核分层策略的改进策略，以及对PBO问题的局部搜索算法在预处理、搜索策略上的优化工作。

赖永副教授（吉林大学）汇报的工作提出了一种新的知识编译语言CCDD，更好地支持#SAT等问题的查询，并发布了将CNF编译成CCDD、OBDD等实用语言的Panini编译器。

金耀楠研究员（华为泰勒实验室）聚焦于欧氏空间中的k-均值聚类问题，提出了一种用局部搜索在O(n^(1+1/c))时间内做到O(c)近似的算法，达到了理论上算法复杂度的最优。

在“学科发展圆桌论坛”环节，中国科学院软件研究所蔡少伟教授、上海财经大学陆品燕教授、华中科技大学吕志鹏教授与浙江大学张国川教授从理论计算机科学、求解器、传统运筹学等不同视角出发，围绕人工智能浪潮背景下交叉学科发展的趋势进行了热烈探讨。蔡少伟教授与吕志鹏教授特别结合自身研究经验，分享了人工智能与传统技术相融合的思考，强调了理论扎根在实际问题中的重要意义。随后，几位教授与现场师生深入互动，就求解器技术的持续迭代更新意义、青年科研人员的成长路径等话题分享了真挚的见解，赢得热烈反响。

“难解问题的理论、算法与应用研讨会”（HCP）致力于促进难解计算问题相关领域的研究人员和相关工业界人员的深度交流与合作，促成有影响力的学术成果和产研合作。研讨会主要聚焦问题的表示，算法和工业相关实际应用场景的深度融合。前七届会议已先后在吉林长春、辽宁大连、宁夏银川、贵州都匀、云南昆明、山东烟台等地成功召开。

本届会议共设置14个主题报告、1场学科论坛，聚焦多个前沿主题。HCP 2025的成功举办，进一步推动了相关领域在国内的发展，为科研工作者搭建了一个高水平、开放包容的学术平台。未来，HCP将继续致力于连接理论与应用，鼓励跨界合作。