两类量子游走组成的非确定型量子程序的终止验证

摘要：

首先给出了(&)3和(&)4空间中由量子游走组成的非确定型量子程序的概念,其次讨论了它们从初态运行时在不同的测量算子下的可达集合、终止集合和发散集合.研究表明:非确定型量子程序的终止、发散和可达集合、发散集合与选取的测量算子有密切的关系.程序在不同测量算子作用下从同一个初态运行时可能终止,也可能发散;并且,同一个初态的可达集合中终态和发散态共存.

关键词：量子游走、非确定型量子程序、终止概率、程序验证

所属期刊栏目：42

分类号：TP301.6(计算技术、计算机技术)

资助基金：四川省教育厅重点科研项目14ZA0242;内江师范学院专业核心课程hk07010201;四川省教育厅科研创新团队基金14TD0026;教育部数学与应用数学专业综合改革ZG0464;四川省数学与应用数学专业综合改革01249

在线出版日期：2016-05-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：134-137