开发者社区> 问答> 正文

量子程序谓语转换语义的思路有哪些?

量子程序谓语转换语义的思路有哪些?

展开
收起
大葱蘸大酱2 2021-10-22 16:58:33 474 0
来自:华章出版社
1 条回答
写回答
取消 提交回答
  • 第一种是Sanders和Zuliani在设计qGCL的时候提出的:通过观测(测量)步骤,将量子计算归约为概率计算,这样为概率程序开发的谓词转换语义就可以移植到量子程序中来。第二种是DHondt和Panangaden设计的,它将量子谓词定义为由特征值所属单位区间内的厄米算子所表示的物理可观测量。

    2021-10-22 17:07:58
    赞同 展开评论 打赏
问答地址:
来源圈子
更多
收录在圈子:
+ 订阅
问答排行榜
最热
最新

相关电子书

更多
为并行图数据处理提供高层抽象/语言 立即下载
图计算优化技术探索 立即下载
重新定义计算的边界 立即下载