机构名称：
¥ 2.0
实现自动化非计算的第一步是能够合成伴随函数。给定一个代码单元 𝑓 ，伴随单元 𝑓 † 反向执行计算。它是通过反复应用线性代数恒等式 ( 𝑓 ; 𝑔 ) † = 𝑔 †; 𝑓 † 获得的。图 1 显示了一个示例。在那里我们还看到了模式 𝑔 ; 𝑓 ; 𝑔 †，称为共轭，其中 𝑔 计算一些变量，𝑓 使用它们，最后 𝑔 † 取消对它们的计算。量子编程框架通常支持自动共轭：程序员指定 𝑔 和 𝑓 ，框架自动合成伴随 𝑔 † 并在正确的位置调用它。 Qiskit [ Aleksandrowicz et al . 2019 ]、Quipper [ Green et al . 2013 ]、Qwire [ Paykin et al . 2017 ]、Q# [ Microsoft 2020 ]、Tower [ Yuan and Carbin 2022 ] 和 Qunity [ Voichick et al . 2023 ] 均支持伴随合成和自动共轭。然而，这还不够，主要有两个原因：
高效量子非计算的模块化合成
主要关键词
相关文件推荐
