量子线路等价转换可能导致综合选择丢失
基于论文摘要，作者研究了量子编译器在序列化、OpenQASM交换和编译器转换后丢失高层操作综合选择的问题，并提出Verified机制恢复可验证的高层操作。经过直接OpenQASM 3往返后，360个交付条件下请求的综合均未生效；在MQT流程中，OpenQASM 2交换使八量子比特Grover线路的双量子比特门数增加37.2%。
动态展示门槛：AI 前沿与应用 ≥ 65 分，量子方向 ≥ 60 分；已确认精选照常展示。
基于论文摘要，作者研究了量子编译器在序列化、OpenQASM交换和编译器转换后丢失高层操作综合选择的问题，并提出Verified机制恢复可验证的高层操作。经过直接OpenQASM 3往返后，360个交付条件下请求的综合均未生效；在MQT流程中，OpenQASM 2交换使八量子比特Grover线路的双量子比特门数增加37.2%。