%0 Journal Article
%T 两类量子游走组成的非确定型量子程序的终止验证
%A 雷红轩？
%J 计算机科学
%D 2015
%R 10.11896/j.issn.1002-137X.2015.07.029
%X 首先给出了c4空间中由量子游走组成的非确定型量子程序的概念,其次讨论了它们从初态运行时在不同的测量算子下的可达集合、终止集合和发散集合。研究表明:非确定型量子程序的终止、发散和可达集合、发散集合与选取的测量算子有密切的关系。程序在不同测量算子作用下从同一个初态运行时可能终止,也可能发散；并且,同一个初态的可达集合中终态和发散态共存。
%K 量子游走
%K 非确定型量子程序
%K 终止概率
%K 程序验证
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20150729&flag=1