广义量子Loop程序初探  

Preliminary studies on general quantum Loop program

作　　者：李小鹏[1] 席政军[1] 李永明[1] 

机构地区：[1]陕西师范大学计算机科学学院,西安710062

出　　处：《计算机工程与应用》2012年第8期55-57,共3页Computer Engineering and Applications

基　　金：国家自然科学基金(No.60873119);高等学校博士点基金专项科研基金(No.200807180005)

摘　　要：在经典计算中,Loop程序是非常重要的程序。对量子计算中Loop程序进行研究非常必要。定义了体为量子运算的广义量子Loop程序,给出了量子Loop程序在输入态上终止,几乎终止以及不终止的定义基于任意的初始态。并证明了量子Loop程序在给定输入态上终止的充要条件以及程序终止的充要条件。作为应用,验证了体为酉运算的量子Loop程序嵌套是一个广义的量子Loop程序。Loop is a very important program construct in classical computation. So, it is necessary to study the structure of the quantum Loop programs. This paper defines a general quantum Loop program whose body is a quantum operation, and gives the definitions for termination, almost termination and non-termination of the general quantum Loop program with respect to any input state. It proves the necessary and sufficient conditions for termination of the general quantum Loop programs given input state. As applications, it finally verifies the embedded quantum Loop programs whose body is unitary operation is a ~zeneral quantum Looo program.

关 键 词：量子计算 量子Loop程序 量子运算 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]