高效地找到最佳流量
Finding Optimal Flows Efficiently
摘要:
在众多的量子计算模型中,单向量子计算机是最有前途的物理实现方案之一,它利用量子纠缠为并行化开辟了新的前景。由于单向量子计算是基于量子测量,这是一个根本上的非确定性的演变,全局决定性的一个充分条件已被引入作为存在的因果流在一个图,计算的基础。一个O(n^3)-算法已经被引入,用于当图中的输出和输入顶点的数量相等时找到这样的因果流,否则没有多项式时间算法来决定图是否有因果流。我们的主要贡献是引入了一个O(n^2)算法来寻找因果流,如果有的话,无论输入和输出顶点的数量是多少。这就回答了达诺斯、卡谢菲和德·博德拉普提出的悬而未决的问题。此外,我们证明了我们的算法产生最优流(最小深度流)。虽然因果流的存在是决定论的充分条件,但它不是必要条件。因果流的一个较弱的版本,称为gflow(广义流)已被引入,并已被证明是一个家庭的确定性计算的充分必要条件。此外,量子计算的深度是由gflow的深度上界。然而,找到gflow的多项式时间算法的存在已经被声明为一个开放的问题。在本文中,我们回答这个问题,积极的多项式时间算法,输出一个给定的图的最佳gflow,从而找到一个最佳的校正策略,由于测量的不确定性演化。
英文摘要:
Among the models of quantum computation, the One-way Quantum Computer is one of the most promising proposals of physical realization, and opens new perspectives for parallelization by taking advantage of quantum entanglement. Since a one-way quantum computation is based on quantum measurement, which is a fundamentally nondeterministic evolution, a sufficient condition of global determinism has been introduced as the existence of a causal flow in a graph that underlies the computation. A O(n^3)-algorithm has been introduced for finding such a causal flow when the numbers of output and input vertices in the graph are equal, otherwise no polynomial time algorithm was known for deciding whether a graph has a causal flow or not. Our main contribution is to introduce a O(n^2)-algorithm for finding a causal flow, if any, whatever the numbers of input and output vertices are. This answers the open question stated by Danos and Kashefi and by de Beaudrap. Moreover, we prove that our algorithm produces an optimal flow (flow of minimal depth.) Whereas the existence of a causal flow is a sufficient condition for determinism, it is not a necessary condition. A weaker version of the causal flow, called gflow (generalized flow) has been introduced and has been proved to be a necessary and sufficient condition for a family of deterministic computations. Moreover the depth of the quantum computation is upper bounded by the depth of the gflow. However, the existence of a polynomial time algorithm that finds a gflow has been stated as an open question. In this paper we answer this positively with a polynomial time algorithm that outputs an optimal gflow of a given graph and thus finds an optimal correction strategy to the nondeterministic evolution due to measurements.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。