算法分析与设计里的概率算法-概率算法.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * §1.6.3 矩阵乘法验证 设X=(0, 1, 1) XA=(11, 13, 15) (第2行+第3行) (XA)B=(76, 166, 236). (AB的第2行+第3行) XC=(76,164,136). (AB的第2行+第3行) ∵AB和C的第3行不等，即AB≠C ∴算法返回false，正确！ -考虑两种情况 若AB=C，无论X为何值，必有XAB=XC 若AB≠C，若AB与C的第i行不同，且Xi=0则出错！即判断AB=C，出错概率≤1/2；否则无论Xi为何值，不影响判定结果。 * * §1.6.3 矩阵乘法验证 偏真还是偏假？ 若算法返回false，若存在向量X使XAB≠XC = AB≠C，必正确。 若算法返回true， 偏假的，1/2-correct. * * §1.6.3 矩阵乘法验证 改进 RepeatGoodProduct( A, B, C, n, k) {