该论文提出了一种新的基于布尔逻辑的方法，用于构建量子领域的段显示问题（SDPs），并利用格罗弗量子搜索算法进行求解。在经典计算领域，SDPs通常通过人类演绎推理、启发式搜索，以及基于不同问题设计模型的布尔可满足性（SAT）和约束满足问题（CSPs）求解技术来处理。本研究提出的新方法通过使用二进制可逆电路和该团队先前提出的阶梯递减结构形算子（Stesso）构建量子预言机，为这类SDPs提供了基于量子的解决方案。为验证所提方法的实用性，研究人员使用Qiskit实现的噪声模拟量子计算机，通过格罗弗算法实验性地求解了火柴棒问题的一个SDP实例。
作者单位：
VIP可见
提交arXiv：
2025-12-23 01:32
