车羊问题的一种简洁证明
在csdn上看到一篇关于车羊问题的文章（http://blog.csdn.net/naturebe/article/details/7272232），我编了个程序证明了结论，然后给出了一种简洁的数学证明。如下：
车羊问题（Car and Goats problem）又叫蒙提霍尔问题(Monty Hall Problem)或三门问题。这个问题来源于美国电视娱乐节目Let’s Make a Deal,问题的名字则来自该节目的主持人蒙提·霍尔(Monty Hall)。问题是这样的：参赛者会看见三扇关闭了的门，其中一扇的后面有一辆汽车，选中后面有车的那扇门就可以赢得该汽车，而另外两扇门后面则各藏有一只山羊。当参赛者选定了一扇门，但未去开启它的时候，节目主持人会开启剩下两扇门的其中一扇，露出其中一只山羊。主持人其后会问参赛者要不要换另一扇仍然关上的门。明确的限制条件如下：参赛者会被问是否保持他的原来选择,还是转而选择剩下的那一道 那么换与不换，哪种策略答对的机率高呢？
思考了一下，感觉换的概率可能是1/3，1/2,2/3,无法确定，于是写个程序找到正确答案先：
程序证明
上面的程序，当把retry设成true和false，count设成1亿，得到的输出分别是：
// retry:true,got car:66671490,count=100000000,probability=0.6667149
// retry:false,got car:33331411,count=100000000,probability=0.33331411
从而从程序的角度证明：不换获得车的概率是1/3;换，获得车的概率是2/3.
数学证明
其实用逆推法很容易得出2/3的结论，仔细思考一下，就会发现：
参赛者换了门而且获得了车，当且仅当参赛者第一次选择的门后面是羊。根据等价事件的概率相等的数学原理，问题转换成参赛者第一此选择的门后是羊的概率，也就是2/3.
车羊问题（Car and Goats problem）又叫蒙提霍尔问题(Monty Hall Problem)或三门问题。这个问题来源于美国电视娱乐节目Let’s Make a Deal,问题的名字则来自该节目的主持人蒙提·霍尔(Monty Hall)。问题是这样的：参赛者会看见三扇关闭了的门，其中一扇的后面有一辆汽车，选中后面有车的那扇门就可以赢得该汽车，而另外两扇门后面则各藏有一只山羊。当参赛者选定了一扇门，但未去开启它的时候，节目主持人会开启剩下两扇门的其中一扇，露出其中一只山羊。主持人其后会问参赛者要不要换另一扇仍然关上的门。明确的限制条件如下：参赛者会被问是否保持他的原来选择,还是转而选择剩下的那一道 那么换与不换，哪种策略答对的机率高呢？
思考了一下，感觉换的概率可能是1/3，1/2,2/3,无法确定，于是写个程序找到正确答案先：
程序证明
static Random random1 = new Random();
static Random random2 = new Random();
static Random random3 = new Random();
static int COUNT = 100000000;
public static void main(String[] args) {
//whether re-choise after prompt.
boolean retry = true;
int got = 0;
for (int i = 0; i < COUNT; i++) {
int[] data = generateData();
int c = Math.abs(random2.nextInt()) % 3;
if (retry) {
int p = prompt(data, c);
int choise = excluse(c, p);
got += data[choise];
} else {
got += data[c];
}
}
System.out.println("retry:" + retry + ",got car:" + got + ",count="
+ COUNT + ",probability=" + got * 1.0 / COUNT);
}
static int excluse(int c, int p) {
if (c + p == 1) {
return 2;
} else if (c + p == 2) {
return 1;
} else if (c + p == 3) {
return 0;
}
return -1;
}
static int prompt(int[] data, int c) {
int[] choise = new int[2];
int j = 0;
for (int i = 0; i < data.length; i++) {
if (i != c) {
if (data[i] == 1)// car
choise[j++] = -1;
else
choise[j++] = i;
}
}
if (choise[0] >= 0 && choise[1] >= 0) {// c is not car
return choise[Math.abs(random3.nextInt()) % 2];
} else if (choise[0] < 0) {
return choise[1];
} else {
return choise[0];
}
}
/**
* 1 for car,0 for goat
*/
static int[] generateData() {
int[] data = new int[3];
data[Math.abs(random1.nextInt()) % 3] = 1;
return data;
}
上面的程序，当把retry设成true和false，count设成1亿，得到的输出分别是：
// retry:true,got car:66671490,count=100000000,probability=0.6667149
// retry:false,got car:33331411,count=100000000,probability=0.33331411
从而从程序的角度证明：不换获得车的概率是1/3;换，获得车的概率是2/3.
数学证明
其实用逆推法很容易得出2/3的结论，仔细思考一下，就会发现：
参赛者换了门而且获得了车，当且仅当参赛者第一次选择的门后面是羊。根据等价事件的概率相等的数学原理，问题转换成参赛者第一此选择的门后是羊的概率，也就是2/3.
