组合优化

研究团队推出EZSMTV3，这是一个基于可满足性模理论（SMT）的约束答案集编程（CASP）框架，通过集成先进SMT求解器提升了复杂组合问题的求解能力。

研究者推出R语言包cayleyR，通过检测凯莱图中的循环交集来高效求解排列谜题，其核心算法采用迭代双向搜索策略，并支持GPU加速计算。

研究者提出C2TSP方法，通过构建连接结构直接学习旅行商问题的哈密顿结构，而非依赖解码阶段，在保持可解释性的同时提升求解性能。

研究者提出基于学习的图边稀疏化方法GES，针对欧几里得旅行商问题自适应生成稀疏图，在保持解质量的同时显著提升计算效率。实验显示该方法可剪除95%以上边数，最优性差距控制在1%以内。