概率算法

一、Sherwood算法
概念：设A是一个确定性算法，当他的输入实例为X时所需的计算时间为tA(x)，记Xn为算法A的输入规模为n的全体，则当问题的输入规模为n时，算法A所需要的平均时间是：显然不能排除存在x∈Xn，的可能性。希望获得一个随机化算法B，使得对问题的输入规模为n的每一个实例均有这就是舍伍德算法设计的基本思想。当s(n)与tA(n)相比可忽略时，舍伍德算法可获得很好的平均性能。
二、Las Vegas算法

1. 平均计算时间
   设 p(x)是对输入对象x用Las Vegas算法获得问题的一个解的概率，
   s(x)和e(x)分别是算法对于实例x求解成功和求解失败所需的平均
   时间，t(x)是Obstinate找到实例x的一个解所需的平均时间，则
   

2. 正确的LasVegas算法
   如果存在正数使得p(x) ≥ 则说该拉斯维加斯算法是正确的。因为经 过k次调用算法后，失败的概率降低为 (1- )k，当k充分大时， (1- )k趋于0 ，代码段 while(!LV(x,y)) 出现死循环的概率为0。即是说，只
   要有足够的时间运行上述代码，得到问题解的概率为1。