量子程序谓语转换语义的思路有哪些？
量子程序谓语转换语义的思路有哪些？
展开
收起
版权声明：本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
1
条回答
写回答
-
第一种是Sanders和Zuliani在设计qGCL的时候提出的：通过观测（测量）步骤，将量子计算归约为概率计算，这样为概率程序开发的谓词转换语义就可以移植到量子程序中来。第二种是DHondt和Panangaden设计的，它将量子谓词定义为由特征值所属单位区间内的厄米算子所表示的物理可观测量。
2021-10-22 17:07:58赞同 展开评论
相关问答
