中国科学院数学与系统科学研究院

数学研究所

数学科学全国重点实验室

学术报告

计算机科学研讨班

Speaker: 卢丽强 研究员（浙江大学）

Inviter: 尚云

Language: Chinese

Title: 基于解空间扩张的约束二元优化量子算法设计

Time & Venue: 2025年12月19日（星期五） 9:00 - 10:00 & 南楼N913

Abstract: 约束二元优化问题广泛存在于金融、工程与调度等领域，是典型的 NP 难问题，经典算法在规模增大时计算复杂度呈指数增长。当前量子计算受硬件噪声与可执行电路深度等因素限制，难以高效求解此类问题。为此，本报告介绍 Rasengan，一种面向约束二元优化问题的高精度、低复杂度量子算法。其核心思想不同于传统从所有解的叠加态逐步“收缩”至可行域的策略，而是从一个可行解出发，利用齐次基构造跃迁哈密顿量，在始终保持可行性的前提下高效扩张并覆盖可行解空间，从而提升获得最优解的效率与精度。进一步地，Rasengan 提出三项优化策略，显著降低电路深度，理论上可实现100%约束满足率，并在真机上完成验证示范。