带重复测试的量子有序二叉决策图
量子物理
2007-05-23 v1
摘要
量子分支程序(分别为量子二叉决策图)是考察仅使用对数空间量子的量子计算的便利工具。近来已考虑若干受限量子分支程序类型,例如只读一次量子分支程序。本文考虑量子有序二叉决策图(QOBDDs)并回答以下问题:若允许重复测试,QOBDDs 的计算能力如何增强。此外,描述了如何依据布尔运算综合 QOBDDs。
引用
@article{arxiv.quant-ph/0507258,
title = {Quantum Ordered Binary Decision Diagrams with Repeated Tests},
author = {Matthias Homeister and Stephan Waack},
journal= {arXiv preprint arXiv:quant-ph/0507258},
year = {2007}
}
备注
5 pages