几种确定型量子程序的可达和终止验证

• 作者: 傅丽 雷红轩
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 非确定型量子程序 确定型量子程序 可达集合 终止
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 高性能计算
• 页码范围: 1811-1816
• 页数: 6页
• 分类号: TP301.6
• 字数: 5842字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2015.10.003

摘要

讨论了单量子比特空间中,比特翻转、相位翻转、去极化、幅值阻尼和相位阻尼等量子信道作为特殊的非确定型量子程序—确定型量子程序,从计算基态运行时程序的可达集合和它们终止及发散的情况.研究表明:这些量子信道从计算基态运行时,有的量子程序的终止和发散与刻画量子信道的参数有紧密的联系,而有的量子程序的终止和发散与刻画量子信道的参数没有联系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	雷红轩	内江师范学院数学与信息科学学院	22	103	7.0	9.0
3	傅丽	青海民族大学数学与统计学院	25	244	3.0	15.0