可逆电路的强等价性是 coNP-完全的
计算复杂性
2016-10-17 v1 量子物理
摘要
众所周知，判定逻辑电路的等价性是一个 coNP-完全问题。作为推论，判定可逆电路的弱等价性（即忽略辅助位）也是 coNP-完全的。判定强等价性（包括辅助位）的复杂性则不那么明显，且可能依赖于门集合。在此，我们利用 Barrington 定理证明，判定由 Fredkin 门构建的可逆电路的强等价性是 coNP-完全的。这意味着判定其他常用通用可逆门集合（包括任何包含 Toffoli 门或 Fredkin 门的门集合）的强等价性也是 coNP-完全的。
引用
@article{arxiv.1307.0836,
title = {Strong equivalence of reversible circuits is coNP-complete},
author = {Stephen P. Jordan},
journal= {arXiv preprint arXiv:1307.0836},
year = {2016}
}
备注
5 pages