ZX 演算是一种图形语言,用于直接推理量子计算,直接使用图表而不是底层矩阵。它们比实际上可以在量子计算机上运行的单元量子电路更通用。因此,我们有时需要找到一种方法将 ZX 图转换回量子电路。这个问题被称为“电路提取”,通常被认为很难。然而,在某些情况下我们知道如何做到这一点。如果你选择这个作为你的论文主题,我们可以通过多种方式来完成这个项目:将电路提取从单元图扩展到等距和状态。当我们知道我们想要将哪个状态输入量子计算时,这很有用,并允许我们进行更多优化。找出进行电路提取的方法,允许有限量的后选择(这是我们进行测量并且仅在获得某个期望结果时继续)。这可能对近期的量子计算机有用,我们可以快速进行许多采样并丢弃那些不想要的样本。使用此类技术,我们可以提取一组更大的图表,而这些图表目前无法提取到非后选电路中。我们知道一般电路提取(没有任何进一步的承诺)至少是#P-hard。然而,我们对复杂性只有一个非常粗略的上限。可能可以建立确切的复杂性上限。