摘要
首先给出了C3和C4空间中由量子游走组成的非确定型量子程序的概念,其次讨论了它们从初态运行时在不同的测量算子下的可达集合、终止集合和发散集合。研究表明:非确定型量子程序的终止、发散和可达集合、发散集合与选取的测量算子有密切的关系。程序在不同测量算子作用下从同一个初态运行时可能终止,也可能发散;并且,同一个初态的可达集合中终态和发散态共存。
Firstly,the model of nondeterministic quantum programs constituted by quantum walks was proposed in C3 and C4.Secondly,the sets of reachable states,terminating states and diverging states of nondeterministic quantum programs starting in initial states under different measurement operators were discussed.It shows that the termination,diverging,the sets of reachable states and diverging states of nondeterministic quantum programs depend closely on the selection of measurement operators.The nondeterministic quantum programs starting in common initial states under different measurement operators is possible to terminate or diverge and the terminating states and diverging states of nondeterministic quantum programs coexist in the sets of reachable states starting in common initial states.
出处
《计算机科学》
CSCD
北大核心
2015年第7期134-137,共4页
Computer Science
基金
四川省教育厅重点科研项目(14ZA0242)
内江师范学院专业核心课程(hk07010201)
四川省教育厅科研创新团队基金(14TD0026)
教育部数学与应用数学专业综合改革(ZG0464)
四川省数学与应用数学专业综合改革(01249)资助
关键词
量子游走
非确定型量子程序
终止概率
程序验证
Quantum walks
Nondeterministic quantum programs
Termination probability
Program verification
