将图态变换为贝尔对是 NP-完全问题

构建大规模量子网络（即量子互联网）的关键在于开发用于管理网络中纠缠的快速算法。量子互联网的一个基本构建模块是在网络远端节点间分发贝尔对。此处我们聚焦于如下问题：仅使用某一类局域操作与经典通信，将多方纠缠态变换为特定节点间二分贝尔对的张量积。具体地，我们研究判定给定图态（一般而言为稳定子态）能否仅使用单量子比特 Clifford 操作、单量子比特 Pauli 测量和经典通信，变换为特定顶点上若干贝尔对的问题。我们证明该问题是 NP-完全的。