# 将量子汇编反编译为结构化程序

> Quelle 从编译后的 OpenQASM 恢复库调用、循环、函数及符号参数，通过消除路由痕迹、提出结构化重建并核对电路语义，在恢复失败时保留门级表示。

- 作者：Pingchuan Ma; Zhantong Xue; Zongjie Li; Qixin Zhang; Yuxuan Du; Zhaoyu Wang; Yuguang Zhou; Shuai Wang; Xiaoqin Zhang
- 原标题：Decompiling Quantum Assembly into Structured Programs
- 发表载体：arXiv
- 发表状态：预印本
- 出版／提交日期：2026 年 10 月 4 日
- 日期依据：采用首次 arXiv 提交日期，未核实正式会议录出版。
- arXiv 首次提交：2026 年 10 月 4 日
- arXiv：2610.05012
- 已复核的 arXiv 版本：v1
- DOI：10.48550/arxiv.2610.05012
- 来源复核于：2026-10-20
- 收录于：2026-10-20
- 原始论文：<https://arxiv.org/abs/2610.05012>
- PDF：<https://arxiv.org/pdf/2610.05012v1>
- BibTeX：<https://awesomerea.org/papers/citations/paper-quelle.bib>
- 目录页面：<https://awesomerea.org/zh/papers/paper-quelle/>
- 记录 JSON：<https://awesomerea.org/papers/paper-quelle/record.json>
- 英文版：[English](https://awesomerea.org/papers/paper-quelle/index.md)

## 研究范围与局限

范围限于理想设备语义下的量子电路，不保证恢复原作者源码。稠密检查采用 1e-6 容差，大电路还依赖可信重写记录、未检查的宽区域 H 共轭恒等式及 QCEC；动态电路及超时检查保持未验证。算法命名需要模板，刻意混淆不在评估范围内。

## 与本合集的关联

补充量子软件编译产物的结构恢复方法，并明确正确性检查的边界。

## 发表与复核说明

已复核 10 月 4 日 v1 与 DataCite 身份，文章采用 CC BY 4.0。手稿及定向检索中未核实作者关联的专用实现或产物发布。

## 一手来源

1. <https://arxiv.org/abs/2610.05012v1>
2. <https://arxiv.org/html/2610.05012v1>
3. <https://api.datacite.org/dois/10.48550/arxiv.2610.05012>

## 关于此条目

已依据论文及一手来源复核。请通过原始论文或 BibTeX 引用原作者。
原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。