量子最弱自由前置条件

（计算机科学技术）

量子最弱自由前置条件（quantum weakest liberal precondition），计算机科学技术名词，用于证明量子程序的部分正确性。程序 S和谓词P 的最弱自由前置条件记为wlp. S.P ∈，它满足;②如果量子谓词 Q ∈，满足{P} ，则 Q ≤wlp. S.P 。