保守计算理论
Towards a Theory of Conservative Computing
摘要：
我们扩展的保守性的概念，给出了Fredkin和Toffoli在1982年，通用门的输入和输出线可能会承担一个有限数量的D的真值。保守性的物理解释在计算过程中使用的数据相关的能量守恒。此外，我们定义保守计算，我们表明，他们自然会引起一个新的NP完全决策问题。最后，我们提出了一个框架，可以用来明确的能量运动过程中发生的计算，我们提供了一个量子实现的原始的希尔伯特空间C^d，其中d是能级的数量考虑在该框架上使用创建和湮灭运营商。
英文摘要：
We extend the notion of conservativeness, given by Fredkin and Toffoli in 1982, to generic gates whose input and output lines may assume a finite number d of truth values. A physical interpretation of conservativeness in terms of conservation of the energy associated to the data used during the computation is given. Moreover, we define conservative computations, and we show that they naturally induce a new NP-complete decision problem. Finally, we present a framework that can be used to explicit the movement of energy occurring during a computation, and we provide a quantum implementation of the primitives of such framework using creation and annihilation operators on the Hilbert space C^d, where d is the number of energy levels considered in the framework.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
