李，杨佳；于能坤；英明生 非确定性量子程序的终止。 （英语） Zbl 1359.68092号 学报信息。 51，第1号，1-24（2014）. 摘要：我们定义了一个非确定性量子程序的语言无关模型，其中量子程序由一组有限的量子过程组成。这些过程由公共状态空间上的量子马尔可夫链表示，它形式化了机器的量子力学行为。非确定性量子程序的执行由单个进程的一系列动作建模，在执行的每个步骤中，都会非确定性地选择一个进程来执行下一个动作。这个执行模型形式化了用户在经典世界中调用进程的行为。将该模型应用于量子行走，作为物理可实现系统的实例，我们描述了一个逐步执行的过程。给出了非确定性量子程序的可达空间和发散态的特征。我们建立了可达空间中状态终止概率的零定律。这些结果的组合导致了非确定性量子程序终止的充分必要条件。基于此条件，找到了一种在固定的有限维状态空间中检查非确定性量子程序终止性的算法。 引用于2文件 MSC公司： 2012年第68季度 计算理论中的量子算法和复杂性 软件：质量管理清单；qGCL公司；QPL公司 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人，《信息学报》51，第1期，1--24页（2014；Zbl 1359.68092） 全文： 内政部 arXiv公司 参考文献： [1] Abramsky，S.：量子计算和信息的高级方法。摘自：第19届IEEE计算机科学逻辑研讨会论文集，第410-414页（2004）·Zbl 1214.68168号 [2] Aharonov，D.，Ambainis，A.，Kempe，J.，Vazirani，U.V.：图上的量子行走。摘自：第33届ACM计算机理论年会（STOC）论文集，第50-59页（2001）·Zbl 1323.81020号 [3] Altenkirch，T.，Grattage，J.：一种函数量子编程语言。摘自：第20届IEEE计算机科学逻辑研讨会论文集，第249-258页（2005）·Zbl 1277.68078号 [4] Baltag，A.，Smets，S.：LQP：量子信息的动态逻辑。数学。结构。计算。科学。16, 491-525 (2006) ·Zbl 1103.03031号 ·doi:10.1017/S09601290506005299 [5] Betteli，S.、Calarco，T.、Serafini，L.：走向量子编程的架构。欧洲物理学会。J.D25181-200（2003） [6] Brunet，O.，Jorrand，P.：量子程序的动态量子逻辑。《国际量子信息》2，45-54（2004）·兹比尔1069.81007 ·doi:10.1142/S0219749904000067 [7] Chadha，R.，Mateus，P.，Sernadas，A.：关于命令式量子程序的推理。电子。注释Theor。计算。科学。158, 19-39 (2006) ·Zbl 1273.03104号 ·doi:10.1016/j.entcs.2006.04.003 [8] D'Hondt，E.，Panangaden，P.：量子最弱的前提条件。数学。结构。计算。科学。16, 429-451 (2006) ·Zbl 1122.68058号 ·doi:10.1017/S0960129506005251 [9] Feng，Y.，Duan，R.Y.，Ji，Z.F.，Ying，M.S.：量子程序正确性的证明规则。西奥。计算。科学。386, 151-166 (2007) ·Zbl 1137.68038号 [10] Feng，Y.，Duan，R.Y.，Ying，M.S.：量子过程的相互模拟。摘自：第38届ACM SIGPLAN-SIGACT编程语言原理研讨会（POPL）会议记录，第523-534页（2011）·Zbl 1284.68425号 [11] Gay，S.J.：量子编程语言：调查和参考书目。数学。结构。计算。科学。16581-600（2006年）·Zbl 1122.68021号 ·doi:10.1017/S09601290506005378 [12] Gay，S.J.，Nagarajan，R.：通信量子过程。在：第32届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集（POPL），第145-157页（2005）·Zbl 1369.68207号 [13] Hart，S.，Sharir，M.，Pnueli，A.：概率并发程序的终止。ACM事务处理。程序。语言系统。5, 356-380 (1983) ·Zbl 0511.68009号 ·doi:10.1145/2166.357214 [14] Jorrand，P.，Lalire，M.：走向量子过程代数。摘自：《第一届ACM计算机前沿会议论文集》，第111-119页（2004年） [15] Mitchison，G.，Josza，R.：反事实计算。程序。R.Soc.伦敦。A 457，1175-1193（2001）·Zbl 1027.81514号 ·doi:10.1098/rspa.2000.0714 [16] Nagarajan，R.、Papanikolaou，N.、Williams，D.：模拟和编译顺序量子随机存取机的代码。电子。注释Theor。计算。科学。170, 101-124 (2007) ·Zbl 1277.68078号 ·doi:10.1016/j.entcs.2006.12.014 [17] Nielsen，M.A.，Chuang，I.L.：量子计算和量子信息。剑桥大学出版社，剑桥（2000）·Zbl 1049.81015号 [18] 奥默，B.：结构化量子编程，维也纳技术大学博士论文（2003年） [19] Roman，S.：高等线性代数。柏林施普林格出版社（2008）·兹比尔1132.15002 [20] Sanders，J.W.，Zuliani，P.：量子编程。摘自：《程序构造数学学报》，LNCS，第80-99页（2000年）·Zbl 0963.68037号 [21] Selinger，P.：走向量子编程语言。数学。结构。计算。科学。14, 527-586 (2004) ·Zbl 1085.68014号 ·doi:10.1017/S0960129504004256 [22] Selinger，P.：量子编程语言的简要概述。摘自：第七届函数与逻辑编程国际研讨会论文集，第1-6页（2004年）·Zbl 1122.68359号 [23] Svore，K.M.，Aho，A.V.，Cross，A.W.，Chuang，I.，Markov，I.L.：量子计算设计工具的分层软件架构。IEEE计算。39, 74-83 (2006) ·Zbl 1069.81007号 [24] Ying，M.S.：量子程序的Floyd-Hoare逻辑。ACM事务处理。程序。兰古。系统。33, 19 (2011) [25] Ying，M.S.，Duan，R.Y.，Feng，Y.，Ji，Z.F.：量子程序的谓词转换语义，量子计算中的语义技术。剑桥大学出版社，剑桥（2010）·Zbl 1196.68123号 [26] Ying，M.S.，Feng，Y.：量子回路程序。《信息学报》47，221-250（2010）·兹伯利1214.68168 ·doi:10.1007/s00236-010-0117-4 [27] Ying，M.S.，Feng，Y.：量子编程的流程图语言。IEEE传输。柔和。工程37，466-485（2011）·doi:10.1109/TSE.2010.94 [28] Zuliani，P.：非确定性量子规划。摘自：第二届量子编程语言国际研讨会论文集，第179-195页（2004年）·Zbl 1122.68058号 [29] Zuliani，P.：编译量子程序。《信息学报》41，435-473（2005）·Zbl 1079.68020号 ·doi:10.1007/s00236-005-0165-3 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。