双向概率与量子有限自动机的简洁性
计算复杂性
2014-01-29 v2
摘要
我们证明了双向概率和量子有限自动机（2PFA和2QFA）可以比它们的单向版本（1PFA和1QFA）以及双向非确定有限自动机（2NFA）简洁得多。为此，我们展示了几个无限的正则语言族，这些语言可以通过仅调整具有恒定状态数的2QFA（在一种情况下是2PFA）的转移振幅，以大于1/2的某个固定概率被识别，而相应的1PFA、1QFA和2NFA的规模则无界增长。我们还表明，具有混合态的2QFA可以支持高效的几率放大。本文介绍了一种已知最弱的计算模型，其中量子计算机以有界误差识别的语言比其经典对应物更多。
引用
@article{arxiv.0903.0050,
title = {Succinctness of two-way probabilistic and quantum finite automata},
author = {Abuzer Yakaryilmaz and A. C. Cem Say},
journal= {arXiv preprint arXiv:0903.0050},
year = {2014}
}
备注
A new version, 21 pages, latex