本卷不引入新内容,只做三件事:给出每种门的读法、把实际算术线路按功能重排、以及说明怎么从一张图回到它的出处。所有图由本站的统一量子线路表示在构建期生成。

词条回答什么
门型对照看到一个符号不知道是什么:⊕ 与 ● 有何区别、淡化 ⊕ 意味着什么、双横线代表什么。
电路图谱加法、模运算、乘法、QFT、测量这几类结构在图上各长什么样,以及它们分别对应哪个词条。

为什么要把图单独成卷

算术线路图的信息密度很高,但它只说结构、不说理由,也不说成本。同样一张 MAJ/UMA 两段式图,不读词条就不知道它为什么只需要一个辅助比特、不知道它比 Vedral–Barenco–Ekert 方案省在哪里、也不知道 T 数是 还是 。

所以本站的做法是把三者拆开:图在图谱卷,理由在算法卷,出处在 sources/ 文献页。三者之间用 wikilink 双向连通,右侧的反向链接面板会自动列出”谁引用了这张图对应的构造”。

写作约定

全站线路图遵守三条硬性规则,违反其一就说明图不可信:

  1. 模块边界必须标出。 算术线路的语义几乎全在模块边界上(MAJ/UMA、ADD/MOD-REDUCE、QFT 的每一层)。没有分组框的图只画了一半信息。
  2. 寄存器必须命名。 同一张 6 线图,可能是 的两个操作数,也可能是 的三个寄存器,含义完全不同。线数相同不等于结构相同。
  3. 辅助位必须画出反计算。 只画加法不画反计算的图,在 Shor 类算法里是错的。

读图自检清单见比特序与寄存器约定。

交互式试验台

除了这些静态图,站点还提供一个交互式试验台:/static/qcircuit/playground.html。左栏编辑统一表示、右栏实时渲染,带六个预置样例。它与词条里的图共用同一份渲染器源码,所以不存在”试验台能画、站点画不出”的情况。见统一量子线路表示。

此文件夹下有2条笔记。