布尔表达式短电路评估解题报告.pdfVIP

ShortestCircuitEvaluation解题报告

1、题目大意

布尔型表达式满足短路运算原理，及某个表达式已经得到结果，则不再计算。

现在给出布尔型表达式，和每个变量(只出现一次)为true的概率，调整布尔型表达式

的顺序，使得期望的计算次数(使用变量的次数)最少，求期望概率。

本题数据规定将表达式化简后与原表达式相比无实质影响。

2、算法讨论

我们可以将表达式建成一颗树的结构。因为规定将表达式化简后与原表达式相比无实质影

响,可以将not(AandBandC)展开成notAornotBornotC，将not(AorBorC)展

开成notAandnotBandC,当然也可以选择不展开，并无影响。

实际上题目中的调换只能是...and...and...连接的对象或是...or...or...连接的对

象。对于每一个变量或是表达式，我们记录其正确的概率P和期望计算次数E。

我们先考虑and依次连接的对象A,A,A,A,A。