量子最弱自由前置条件的交换性及其性质

首先给出了量子最弱自由前置条件(weakestliberalprecondition,简称wlp)wlp(a,b,c)-可交换的定义,研究了wlp(a,b,c)-可交换的充分必要条件;其次,得到了wlp不是良好的谓词转换,验证了wlp是比量子最弱前置条件(weakestprecondition,简称wp)更弱的谓词转换,揭示了wlp和wp的本质区别;最后证明了wlp的序列合成、并行合成和块结构等性质.