几种确定型量子程序的可达和终止验证
【出 处】:《
计算机工程与科学
》
CSCD
2015年第37卷第10期 1811-1816页,共6页
【作 者】:
雷红轩
[1,2] ;
傅丽
[3]
【摘 要】
讨论了单量子比特空间中,比特翻转、相位翻转、去极化、幅值阻尼和相位阻尼等量子信道作为特殊的非确定型量子程序—确定型量子程序,从计算基态运行时程序的可达集合和它们终止及发散的情况.研究表明:这些量子信道从计算基态运行时,有的量子程序的终止和发散与刻画量子信道的参数有紧密的联系,而有的量子程序的终止和发散与刻画量子信道的参数没有联系.
相关热词搜索: