Liu等提出统一处理干净与脏辅助量子比特反计算的 RwUnx 方法
基于论文摘要，Chenke Liu、Li Zhou 和 Boning Meng 提出了统一形式化框架，用于检查量子计算中干净与脏辅助量子比特的反计算，并实现Qiskit工具 RwUnx。作者声称首次证明反计算存在性检查为 coNP-hard；RwUnx 在包含复杂依赖的实际基准和随机线路实验中较 Reqompx 取得更高成功率，当前材料未说明实验规模和具体成功率。
动态展示门槛：AI 前沿与应用 ≥ 70 分，量子方向 ≥ 62 分；已确认精选照常展示。
基于论文摘要，Chenke Liu、Li Zhou 和 Boning Meng 提出了统一形式化框架，用于检查量子计算中干净与脏辅助量子比特的反计算，并实现Qiskit工具 RwUnx。作者声称首次证明反计算存在性检查为 coNP-hard；RwUnx 在包含复杂依赖的实际基准和随机线路实验中较 Reqompx 取得更高成功率，当前材料未说明实验规模和具体成功率。