SAQC：一种面向基于QAOA的量子优化的SAT感知编译框架
SAQC: A SAT-Aware Compilation Framework for QAOA-Based Quantum Optimization
浏览论文内容
中文总结 AI 辅助
SAQC提出一种SAT感知的编译框架，通过SAT中间表示保留布尔结构，支持CNF和eCNF，并优化子句处理，显著降低电路深度和编译时间。
中文摘要 AI 辅助
量子近似优化算法（QAOA）是一种用于求解布尔可满足性（SAT）问题的有前景的变分方法。现有的SAT到QAOA工作流首先将布尔公式转换为惩罚哈密顿量，然后应用通用量子编译，从而丢弃了SAT特定信息，如子句结构、逻辑运算符和变量依赖关系。因此，后续的编译器优化无法利用底层的布尔公式。本文提出了SAQC，一种SAT感知的编译框架，引入SAT中间表示（SIR）以在编译过程中保留布尔结构。所提出的框架支持CNF和XOR扩展CNF（eCNF）两种公式，并在量子降级之前执行SAT感知的优化，包括子句重写、依赖分析和子句调度。基于优化后的SIR，SAQC为惩罚哈密顿量生成和直接子句到ansatz合成提供了统一框架，并基于相对相位分解、辅助位辅助合成和动态反计算进行ansatz优化。实验结果表明，与传统的基于哈密顿量的工作流相比，电路深度、双量子比特门数量和编译时间显著减少，同时保持与现有量子编译框架的兼容性。
英文摘要
The Quantum Approximate Optimization Algorithm (QAOA) is a promising variational approach for solving Boolean satisfiability (SAT) problems. Existing SAT-to-QAOA workflows first translate Boolean formulas into penalty Hamiltonians before applying generic quantum compilation, thereby discarding SAT-specific information such as clause structure, logical operators, and variable dependencies. Consequently, subsequent compiler optimizations cannot exploit the underlying Boolean formulation. This paper presents SAQC, a SAT-aware compilation framework that introduces a SAT Intermediate Representation (SIR) to preserve Boolean structure during compilation. The proposed framework supports both CNF and XOR-extended CNF (eCNF) formulations and performs SAT-aware optimizations including clause rewriting, dependency analysis, and clause scheduling prior to quantum lowering. Building on the optimized SIR, SAQC provides a unified framework for both penalty Hamiltonian generation and direct clause-to-ansatz synthesis, together with ansatz optimizations based on relative-phase decomposition, ancilla-assisted synthesis, and dynamic uncomputation. Experimental results demonstrate significant reductions in circuit depth, two-qubit gate count, and compilation time compared with conventional Hamiltonian-based workflows while remaining compatible with existing quantum compilation frameworks.
发表机构
- DFKI, Bremen, Germany（德国弗劳恩霍夫协会第一智能系统研究所）
- Institute of Computer Science, University of Bremen, Bremen, Germany（不来梅大学计算机科学研究所）
- University of Bremen, Bremen, Germany（不来梅大学）
机构由 AI 辅助整理，请以论文原文为准。
