几种量子程序终止的有效验证  

Valid Verification of Termination for Some Quantum Programs

作　　者：雷红轩[1,2] 席政军[1] 李永明[1] 

机构地区：[1]陕西师范大学计算机科学学院,西安710062 [2]内江师范学院数学与信息科学学院,内江641112

出　　处：《计算机科学》2012年第11期75-78,共4页Computer Science

基　　金：国家自然科学基金(60873119)资助

摘　　要：基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,通过选取不同的可观测算子对程序终止的情况进行了详细的讨论。研究表明,由这些量子信道所描述的量子程序的终止情况不仅依赖于输入态的选取,还依赖于可观测算子的选取。Using the verification method for quantum programs proposed in [18] ,the verification of quantum programs on the single qubit system described by bit flip channel, depolarizing channel, amplitude damping channel and phase damping channel was investigated, and the termination conditions of a quantum program were discussed in detail by se- lecting the different observable operators. It shows that the termination conditions of the quantum program described by quantum channel not only depends on the selection of input state, but also depends on the selection of observable opera- tors.

关 键 词：量子程序 超算子 终止概率 程序验证 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]