量子科技中心_量科网

该研究团队提出了一种用于中性原子量子计算机上近似计算平面二维可满足性问题（2SAT）解数量的量子算法。该算法将布尔变量映射至根据给定公式空间排布的原子寄存器，通过相邻原子间的里德堡封锁效应实现2SAT约束。在里德堡动力学作用下对初始计算基态进行淬火操作，经充分演化后可产生所有解的叠加态。对于近乎均匀的叠加态，通过基于采样的计数方法，仅需多项式次测量即可将解数量估计提升至任意恒定乘数因子。数值模拟表明，该协议在一维和二维网格中能实现近乎均匀的解采样，并在穿孔网格上的2SAT实例中生成精确计数，这预示着其作为#P完全问题启发式方法的普适性潜力。