父母，亚历克斯；马丁·罗特勒；克雷斯塔·斯沃雷（Krysta M.Svore）。 REVS：空间优化可逆电路合成工具。 （英语） Zbl 1487.68108号 Phillips，Iain（编辑）等人，《可逆计算》。2017年7月6日至7日在印度加尔各答举行的2017年RC第九届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10301, 90-101 (2017). 摘要：计算经典函数是许多量子算法的核心。从概念上讲，任何经典的不可逆函数都可以由Toffoli网络以可逆的方式实现。然而，贝内特（Bennett）方法以“干净”的形式（即可用于量子算法的形式）获得这样的网络，具有很高的空间效率。我们提出了REVS，这是一种允许用时间和空间交换的工具，与Bennett方法相比，电路的内存占用要小得多。我们的方法基于对给定经典程序下的数据依赖关系图的分析。我们报告了针对几个基准电路运行该工具的结果，以强调REVS可以实现的潜在时空权衡。关于整个系列，请参见[Zbl 1364.68013号]. 引用于6文件 MSC公司： 2006年第68季度 作为计算模型的网络和电路；电路复杂性 2012年第68季度 计算理论中的量子算法和复杂性 81页65 量子门 81页68 量子计算 软件：ScaffCC公司；SyReC公司；QC查看器；镊子；RMDDS公司；转速；RevLib版 PDF格式BibTeX公司 XML格式引用 \textit{A.Parent}等人，Lect。注释计算。科学。10301、90-101（2017；Zbl 1487.68108） 全文： 内政部