概率算法与代码

╰半橙微兮° 2022-08-31 00:46 231阅读 0赞

**一、随机数**

随机数在概率算法设计中扮演着十分重要的角色。在现实计算机上无法产生真正的随机数，因此在概率算法中使用的随机数都是一定程度上随机的，即伪随机数。

线性同余法是产生伪随机数的最常用的方法。由线性同余法产生的随机序列a0,a1,…,an满足

![a9d5b227ea823e29a3a38cddf30df9ae.png][]

其中b >= 0，c >= 0，d <= m。d称为该随机序列的种子。如何选取该方法中的常数b、c和m直接关系到所产生的随机序列的随机性能。这是随机性理论研究的内容，已超出本书讨论的范围。从直观上看，m应取得充分大，因此可取m为机器大数，另外应取gcd(m, b) = 1，因此可取b为一素数。

**二、数值概率算法**

**1****、用随机投点法计算****pi****值**

设有一半径为r的圆及其外切四边形。向该正方形随机地投掷n个点。设落入圆内的点数为k。由于所投入的点在正方形上均匀分布，因而所投入的点落入圆内的概率为(PI \* pow(r,2)) / (4 \* pow(r,2)) = PI / 4 。所以当n足够大时，k与n之比就逼近这一概率。从而，PI 约等于 (4\*k)/n.如下图：

![1b63ca1d35a7ea066d6b49aa11019b22.png][]

实现：

代码

/\* 主题：随机投点法计算PI值  
\* 作者：chinazhangjie  
\* 邮箱：chinajiezhang@gmail.com  
\* 开发语言：C++  
\* 开发环境：Code::Blocks 10.05  
\* 时间: 2010.11.11  
\*/  
\#include <iostream>  
\#include <cstdlib>  
\#include <limits>  
using namespace std;  
  
// 获得0-1之间的随机数  
double get\_random\_num ()  
\{   
return (double)rand () / RAND\_MAX ;  
\}  
// 用随机投点法计算 PI  
double darts (int n)  
\{   
int k = 0 ;  
for (int i = 0; i < n; \++ i) \{   
double x = get\_random\_num() ;  
double y = get\_random\_num() ;  
if ((x \* x \+ y \* y) <= 1.0) \{   
\++ k ;  
\}  
\}  
return (4 \* k) / (double)n ;  
\}  
int main()  
\{  
cout << darts (200000000) << endl ;  
\}

![复制代码][48304ba5e6f9fe08f3fa1abda7d326ab.png]

**2.****计算定积分**

设f(x)是\[0，1\]上的连续函数，且0 <= f(x) <= 1。

需要计算的积分为![788f140828167e3c0b7bc975cd45b4d7.png][]，积分I等于图中的面积G。

![03bc5fe37898202d1c13801f2cd843c5.png][]

在图所示单位正方形内均匀地作投点试验，则随机点落在曲线下面的概率为

**![1051fc7330342b541d7d10b5c20b0042.png][]**

假设向单位正方形内随机地投入n个点(xi,yi)。如果有m个点落入

G内，则随机点落入G内的概率![dc40391280826dc698147c9ebed26d47.png][]

假定 f(x) = x \* x (0 <= x <= 1)计算定积分

实现：

![复制代码][48304ba5e6f9fe08f3fa1abda7d326ab.png]

![961ddebeb323a10fe0623af514929fc1.png][]代码

/\* 主题：随机投点法计算定积分  
\* 作者：chinazhangjie  
\* 邮箱：chinajiezhang@gmail.com  
\* 开发语言：C++  
\* 开发环境：Code::Blocks 10.05  
\* 时间: 2010.11.11  
\*/  
\#include <iostream>  
\#include <cstdlib>  
using namespace std;  
  
// 获得0-1之间的随机数  
double get\_random\_num ()  
\{   
return (double)rand () / RAND\_MAX ;  
\}  
// 用随机投点法计算 y = pow(x,2)定积分  
double darts (int n)  
\{   
int k = 0 ;  
for (int i = 0; i < n; \++ i) \{   
double x = get\_random\_num() ;  
double y = get\_random\_num() ;  
if (y <= x \* x) \{   
\++ k ;  
\}  
\}  
return k / (double)n ;  
\}  
int main()  
\{  
cout << darts (10000000) << endl ;  
return 0;  
\}

![复制代码][48304ba5e6f9fe08f3fa1abda7d326ab.png]

**3.****解非线性方程组**

求解下面的非线性方程组

![634205c9c700331624c9094dbf7bc6b8.png][]

其中，x1,x2,…,xn是实变量，fi是未知量x1,x2,…,xn的非线性实函数。要求确定上述方程组在指定求根范围内的一组解

![2090d5d5b0ab3c4444bd8d48243cd2ff.png][]

在指定求根区域D内，选定一个随机点x0作为随机搜索的出发点。在算法的搜索过程中，假设第j步随机搜索得到的随机搜索点为xj。在第j+1步，计算出下一步的随机搜索增量Dxj。从当前点xj依Dxj得到第j+1步的随机搜索点。当x<e时，取为所求非线性方程组的近似解。否则进行下一步新的随机搜索过程。

**三、舍伍德****(Sherwood)****算法**

设A是一个确定性算法，当它的输入实例为x时所需的计算时间记为tA(x)。设Xn是算法A的输入规模为n的实例的全体，则当问题的输入规模为n时，算法A所需的平均时间为

**![fd422450b80213325e10af68a36225f1.png][]**

这就是舍伍德算法设计的基本思想。当s(n)与tA(n)相比可忽略时，舍伍德算法可获得很好的平均性能。

例如：线性时间选择

// 在数组a从l到r之间的子序列上，寻找第k小元素

select(Type a\[\], int l, int r, int k)\{

// 从l到r任意选取一个元素，放在l上，用 pivot 表示

// 从l + 1到r之间，找到元素j，使得j左边的元素都小于pivot;j右边的元素都大于pivot

// 那么，或者pivot是要找的元素(k=j-l+1)

// 或者要找的元素在l,j之间(k<j-l+1)

// 或者要找的元素在j+1,r之间(k>j-l+1)

有时也会遇到这样的情况，即所给的确定性算法无法直接改造成舍伍德型算法。此时可借助于随机预处理技术，不改变原有的确定性算法，仅对其输入进行随机洗牌，同样可收到舍伍德算法的效果。例如，对于确定性选择算法，可以用下面的洗牌算法**shuffle**将数组a中元素随机排列，然后用确定性选择算法求解。这样做所收到的效果与舍伍德型算法的效果是一样的。

洗牌算法实现：

![复制代码][48304ba5e6f9fe08f3fa1abda7d326ab.png]

![961ddebeb323a10fe0623af514929fc1.png][]代码

/\* 主题：随机洗牌算法  
\* 作者：chinazhangjie  
\* 邮箱：chinajiezhang@gmail.com  
\* 开发语言：C++  
\* 开发环境：Code::Blocks 10.05  
\* 时间: 2010.11.11  
\*/  
\#include <iostream>  
\#include <cstdlib>  
\#include <iterator>  
\#include <algorithm>  
using namespace std;  
  
template <class T>  
void my\_shuffle (T\* arr, int len)  
\{   
for (int i = 0; i < len; \++ i) \{   
int r = rand() % len ;  
swap (arr\[i\], arr\[r\]) ;  
\}  
\}  
  
int main()  
\{   
const int len = 10 ;  
int arr\[len\] ;  
for (int i = 0; i < len; \++ i) \{  
arr\[i\] = i ;  
\}  
  
my\_shuffle (arr, len) ;  
cout << "my\_shuffle: ";  
copy (arr, arr \+ len, ostream\_iterator<int> (cout, " ")) ;  
cout << endl ;  
  
for (int i = 0; i < len; \++ i) \{  
arr\[i\] = i ;  
\}  
  
random\_shuffle (arr, arr \+ len) ;  
cout << "stl->random\_shuffle: ";  
copy (arr, arr \+ len, ostream\_iterator<int> (cout, " ")) ;  
cout << endl ;  
return 0;  
\}

![复制代码][48304ba5e6f9fe08f3fa1abda7d326ab.png]

**四、拉斯维加斯(Las Vegas)算法**

void obstinate(Object x, Object y)

// 反复调用拉斯维加斯算法LV(x,y)，直到找到问题的一个解y

bool success= false;

while (!success) success = lv(x,y);

设p(x)是对输入x调用拉斯维加斯算法获得问题的一个解的概率。一个正确的拉斯维加斯算法应该对所有输入x均有 p(x) >0。设t(x)是算法**obstinate**找到具体实例x的一个解所需的平均时间 ,s(x)和e(x)分别是算法对于具体实例x求解成功或求解失败所需的平均时间，则有 t(x) = p(x) \* s(x) + (1-p(x))(e(x) + t(x))

解此方程可得：

![4a7e5caf84dab29e5938c3262e18057c.png][]

**n****后问题**

对于n后问题的任何一个解而言，每一个皇后在棋盘上的位置无任何规律，不具有系统性，而更象是随机放置的。由此容易想到下面的**拉斯维加斯算法**。

在棋盘上相继的各行中随机地放置皇后，并注意使新放置的皇后与已放置的皇后互不攻击，直至n个皇后均已相容地放置好，或已没有下一个皇后的可放置位置时为止。

如果将上述随机放置策略与回溯法相结合，可能会获得更好的效果。可以先在棋盘的若干行中随机地放置皇后，然后在后继行中用回溯法继续放置，直至找到一个解或宣告失败。随机放置的皇后越多，后继回溯搜索所需的时间就越少，但失败的概率也就越大。

12皇后问题，使用带回溯的拉斯维加斯算法

![cf968bb46e4f7361c1d77bfa1c8fbb27.png][]

**五、蒙特卡罗****(Monte Carlo)****算法**

在实际应用中常会遇到一些问题，不论采用确定性算法或概率算法都无法保证每次都能得到正确的解答。蒙特卡罗算法则在一般情况下可以保证对问题的所有实例都以高概率给出正确解，但是通常无法判定一个具体解是否正确。

设p是一个实数，且1/2 <p <1。如果一个蒙特卡罗算法对于问题的任一实例得到正确解的概率不小于p，则称该蒙特卡罗算法是p**正确**的，且称p - 1/2是该算法的**优势**。

如果对于同一实例，蒙特卡罗算法不会给出2个**不同的**正确解答，则称该蒙特卡罗算法是**一致的**。

有些蒙特卡罗算法除了具有描述问题实例的输入参数外，还具有描述错误解可接受概率的参数。这类算法的计算时间复杂性通常由问题的实例规模以及错误解可接受概率的函数来描述。

对于一个一致的p正确蒙特卡罗算法，要提高获得正确解的概率，只要执行该算法若干次，并选择出现频次最高的解即可。

如果重复调用一个一致的(1/2 + e)正确的蒙特卡罗算法2m-1次，得到正确解的概率至少为1-d，其中，

![b2510120dfd5687378cf5474b224ff18.png][]

对于一个解所给问题的蒙特卡罗算法MC(x)，如果存在问题实例的子集X使得：

(1)当x不属于X时，MC(x)返回的解是正确的；

(2)当x属于X时，正确解是y0，但MC(x)返回的解未必是y0。

称上述算法MC(x)是**偏****y0****的算法**。

重复调用一个一致的，p正确偏y0蒙特卡罗算法k次，可得到一个O(1-(1-p)k)正确的蒙特卡罗算法，且所得算法仍是一个一致的偏y0蒙特卡罗算法。

**主元素问题**

设T\[1:n\]是一个含有n个元素的数组。当|\{i|T\[i\]=x\}|>n/2时，称元素x是数组T的主元素。

template<class Type>

bool Majority(Type \*T, int n)

// 判定主元素的蒙特卡罗算法

int i = rnd.Random(n) + 1;

Type x = T\[i\]; // 随机选择数组元素

int k = 0;

for (int j = 1;j <= n;j ++) \{

if (T\[j\] == x)

k ++;

return (k > n/2); // k > n / 2 时T含有主元素

如果含有主元素，则以>1/2的概率返回true

如果没有主元素，则一定返回false

template <typename Type>

bool Majority2(Type \*T, int n)

if (Majority(T,n))

return true;

else

return Majority(T,n);

p+(1-p)p=1-(1-p)^2>=3/4

template<class Type>

bool MajorityMC(Type \*T, int n, double e)

// 重复调用算法Majority

int k = ceil(log(1/e)/log(2));

for (int i = 1;i <= k;i ++)

if (Majority(T,n))

return true;

return false;

**对于任何给定的****e****>0****，算法****majorityMC****重复调用****é****log(1/****e****)****ù****次算法****majority****。它是一个偏真蒙特卡罗算法，且其错误概率小于****e****。算法****majorityMC****所需的计算时间显然是****O(nlog(1/** **e****))****。**

**参考书籍　　算法分析与设计（第二版）》 王晓东编著**

**授课教师　　张阳教授**

[a9d5b227ea823e29a3a38cddf30df9ae.png]: /images/20220829/4a3d439eea8342bf8879c59266e1b918.png
[1b63ca1d35a7ea066d6b49aa11019b22.png]: /images/20220829/82eb64ff83144d5783e7aa1cfb10dd78.png
[48304ba5e6f9fe08f3fa1abda7d326ab.png]: /images/20220829/1c906a57295846df8964336b1d44c0a1.png
[788f140828167e3c0b7bc975cd45b4d7.png]: /images/20220829/aaa44e9590ab46baa9ff55dd37f9c1d4.png
[03bc5fe37898202d1c13801f2cd843c5.png]: /images/20220829/9228284e54c84ea8bb662805be600ecb.png
[1051fc7330342b541d7d10b5c20b0042.png]: /images/20220829/1347ef9191a34dd9b43e56c74191122f.png
[dc40391280826dc698147c9ebed26d47.png]: /images/20220829/b436fcdb724e48b591f2a6bb2166f8ef.png
[961ddebeb323a10fe0623af514929fc1.png]: /images/20220829/adf325b72b4844978948193082eece81.png
[634205c9c700331624c9094dbf7bc6b8.png]: /images/20220829/09de8f958d71416a850b41a8aa348f01.png
[2090d5d5b0ab3c4444bd8d48243cd2ff.png]: /images/20220829/9115d463d05a493d8fe565c90ad3e951.png
[fd422450b80213325e10af68a36225f1.png]: /images/20220829/beb089d6f6264e688a61147f6fe3796b.png
[4a7e5caf84dab29e5938c3262e18057c.png]: /images/20220829/e3494f15f336475ea731655a3a4d5d9f.png
[cf968bb46e4f7361c1d77bfa1c8fbb27.png]: /images/20220829/7f5a81c7f615444abfe20b348b128b87.png
[b2510120dfd5687378cf5474b224ff18.png]: /images/20220829/1e9cf382751d4abaa7189398485edb28.png