Two new function translations and a novel bounded search transformation-based synthesis approach that finds a reversible circuit implementation for a given 3-valued reversible function are presented. Methods for simplifying the circuit post-synthesis and quantum circuit implementation constraints are also considered. Experimental results for all 2-input 3-valued functions show the effectiveness of the new approaches compared to earlier transformation-based synthesis approaches. Other examples are given to show both the effectiveness and limitations of the new approaches which point to a number of key areas for further research.

中文翻译：

---

用于 MVL 可逆电路合成的函数转换和基于搜索的变换

提出了两种新的函数转换和一种新的基于有界搜索变换的合成方法，该方法可为给定的 3 值可逆函数找到可逆电路实现。还考虑了简化电路后期合成和量子电路实现约束的方法。所有 2 输入 3 值函数的实验结果表明，与早期基于转换的合成方法相比，新方法的有效性。给出了其他例子来说明新方法的有效性和局限性，这些方法指出了一些需要进一步研究的关键领域。