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

• 作者: 雷红轩
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 量子游走 非确定型量子程序 终止概率 程序验证
• 年，卷（期）: 2015,（7）
• 所属期刊栏目: 2014'全国理论计算机科学年会
• 页码范围: 134-137
• 页数: 4页
• 分类号: TP301.6
• 字数: 4578字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2015.7.029

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	雷红轩		2	1	1.0	1.0