关于半量子有限自动机的状态复杂度
形式语言与自动机理论
2019-02-20 v2 量子物理
摘要
关于量子有限自动机的一些最有趣且重要的结果是表明，它们能以比相应经典有限自动机少得多的资源识别某些语言 \cite{Amb98,Amb09,AmYa11,Ber05,Fre09,Mer00,Mer01,Mer02,Yak10,ZhgQiu112,Zhg12}。本文展示了三个在此类意义上更强的结果，因为：(a) 它们处理的量子自动机模型具有极少的量子性（即所谓的仅具有一个量子比特内存的半量子单向和双向自动机）；(b) 即使是与概率经典自动机相比，差异也比预期更大；(c) 在一种情况下展示了所需经典基态和量子基态数量之间的权衡；以及 (d) 用于展示主要结果的语言（或承诺问题）是非常简单且常在自动机理论或通信复杂度中被探讨的，看似几乎没有可利用的结构。
引用
@article{arxiv.1307.2499,
title = {On the state complexity of semi-quantum finite automata},
author = {Shenggen Zheng and Jozef Gruska and Daowen Qiu},
journal= {arXiv preprint arXiv:1307.2499},
year = {2019}
}
备注
19 pages. We improve (make stronger) the results in section 3