几种确定型量子程序的可达和终止验证 reachability and termination verification of some deterministic quantum programs.pdfVIP

CN 43—1258／TP 计算机工程与科学 第37卷第10期2015年10月 ISSN1007—130X VoL37，No．10．Oct．2015 ComputerEngineeringScience 文章编号：1007—130X(2015)10—1811一06 几种确定型量子程序的可达和终止验证 雷红轩1’2，傅 丽3 (1．内江师范学院数学与信息科学学院，四川内江641112；2．四川省高等学校数值仿真重点实验室，四川内江641112； 3．青海民族大学数学与统计学院，青海西宁810007) 摘 要：讨论了单量子比特空间中，比特翻转、相位翻转、去极化、幅值阻尼和相位阻尼等量子信道作 为特殊的非确定型量子程序一确定型量子程序，从计算基态运行时程序的可达集合和它们终止及发散的 情况。研究表明：这些量子信道从计算基态运行时，有的量子程序的终止和发散与刻画量子信道的参数有 紧密的联系，而有的量子程序的终止和发散与刻画量子信道的参数没有联