蒙特霍爾問題(選擇三扇門后的車與羊)及其貝葉斯定理數學解釋

1. 蒙特霍爾問題

有一個美國電視游戲節目叫做“Let’s Make a Deal”,游戲中參賽者將面對3扇關閉的門,其中一扇門背后有一輛汽車,另外兩扇門后是山羊,參賽者如果能猜中哪一扇門后是汽車,就可以得到它。

通常,當參賽者選定了一扇門時,節目的主持人蒙特霍爾(Monty Hall)會打開剩余兩扇門中的一扇(主持人知道門后是什么),讓你看到門后的山羊,此時會詢問參賽者是否換門,大部分參賽者認為這時關閉的兩扇門中獎的概率是一樣的,即都是1/2,通常他們不會改變他們第一次的選擇。您是否覺得兩個問題幾乎一樣呢?

在這里插入圖片描述
網上說法很多,我們以標準版:主持人事先知道答案,會打開一扇你沒選擇的門,且其背后一定是羊為條件,其他情況不在此過多的擴展。如下圖所示剩下兩個門供你選擇。
在這里插入圖片描述

序號參賽者初選再選擇換門結果
1有車門有羊門失敗
2有羊門A有車門獲勝
3有羊門B有車門獲勝

參賽者最初選擇時有1/3的相同概率選擇汽車、羊A和羊B,再選擇轉換后的獲勝概率為2/3。

2. 數學解釋

蒙特霍爾問題的數學證明可以通過貝葉斯定理來完成。我們可以先了解一些定義。

2.1. 貝葉斯定理

2.1.1. 獨立事件概率

我們設定事件 A A A的概率為 P ( A ) P(A) P(A),事件 B B B的概率是 P ( B ) P(B) P(B),且事件 A A A和事件 B B B是相互獨立的。
則事件 A A A和事件 B B B同時發生的概率,滿足如下公式:
P ( A B ) = P ( B A ) = P ( A ) P ( B ) P(AB)=P(BA)=P(A)P(B) P(AB)=P(BA)=P(A)P(B)

2.1.2. 條件概率

條件概率是在某種條件下,某個事件發生的概率,展示了事件之間的內在聯系和影響。
我們來看兩種條件概率的簡單表述。

1.事件 A A A發生之后,事件 B B B發生的概率,可以記做 P ( B ∣ A ) P(B|A) P(BA),此時滿足公式:
P ( B ∣ A ) = P ( A B ) P ( A ) P(B|A)=\frac{P(AB)}{P(A)} P(BA)=P(A)P(AB)?,即 A A A B B B 同時發生的概率除以 A A A 發生的概率。
等價于 P ( A B ) = P ( B ∣ A ) P ( A ) P(AB)=P(B|A)P(A) P(AB)=P(BA)P(A)

2.事件 B B B發生之后,事件 A A A發生的概率,可以記做 P ( A ∣ B ) P(A|B) P(AB),此時滿足公式:
P ( A ∣ B ) = P ( A B ) P ( B ) P(A|B)=\frac{P(AB)}{P(B)} P(AB)=P(B)P(AB)?
等價于 P ( A B ) = P ( A ∣ B ) P ( B ) P(AB)=P(A|B)P(B) P(AB)=P(AB)P(B)

3.綜合這兩種條件事件,可以得到公式:
P ( A B ) = P ( A ∣ B ) P ( B ) = P ( B ∣ A ) P ( A ) P(AB)=P(A|B)P(B) = P(B|A)P(A) P(AB)=P(AB)P(B)=P(BA)P(A)

2.1.3. 貝葉斯公式

我們綜合計算得到一個公式:
P ( A ∣ B ) P ( B ) = P ( B ∣ A ) P ( A ) P(A|B)P(B) = P(B|A)P(A) P(AB)P(B)=P(BA)P(A)

這個公式做一個變形可以得到貝葉斯公式:
P ( A ∣ B ) = P ( B ∣ A ) P ( A ) P ( B ) P(A|B) = \frac{P(B|A)P(A)}{P(B)} P(AB)=P(B)P(BA)P(A)?

2.1.4. 先驗概率和后驗概率

在貝葉斯公式中,還隱含著一些術語:

  • P ( A ) P(A) P(A) A A A的先驗概率或邊緣概率,它不考慮任何 B B B方面的因素。
  • P ( A ∣ B ) P(A|B) P(AB) B B B發生后 A A A的條件概率,由于得自 B B B的取值被稱作 A A A的后驗概率。

2.2. 貝葉斯定理解釋蒙特霍爾問題

前面我們提到了,關鍵條件在于主持人選擇B門后是無車的,這個事件對于已作出選擇的參賽者來說是否有影響呢?后驗概率是否產生了影響,我們來推導一下:

  • 設定A、B、C門后有汽車分別記為事件 A A A B B B C C C
    P ( A ) = P ( B ) = P ( C ) = 1 3 P(A)=P(B)=P(C)=\frac{1}{3} P(A)=P(B)=P(C)=31?
  • 設定參賽者選擇了A門,由于主持人默認需要選擇沒有汽車的門,因此參賽者的選擇影響了主持人的選擇。
  • 設定主持人選擇了B門且沒有汽車,記為事件 D D D
    P ( D ∣ A ) = 1 2 P(D|A)=\frac{1}{2} P(DA)=21?(因為如果選手最初選擇了A門,主持人可以選擇打開B或C,而汽車在B或C的概率相等)
    P ( D ∣ B ) = 0 P(D|B)=0 P(DB)=0(因為主持人不會打開選擇的門)
    P ( D ∣ C ) = 1 P(D|C)=1 P(DC)=1(因為如果選手最初選擇了C門,主持人只能選擇打開B門)。
  • 在主持人選擇B門無汽車后,參賽者選擇A門有車的概率為 P ( A ∣ D ) P(A|D) P(AD),即事件 D D D發生后事件 A A A的概率,由貝葉斯公式得:
    P ( A ∣ D ) = P ( D ∣ A ) P ( A ) P ( D ) P(A|D)=\frac{P(D|A)P(A)}{P(D)} P(AD)=P(D)P(DA)P(A)?
  • 通過前面的分析,我們只需要求 P ( D ∣ A ) P(D|A) P(DA) P ( A ) P(A) P(A) P ( D ) P(D) P(D)三個元素即可。
    • P ( D ∣ A ) P(D|A) P(DA)表示A門有汽車的情況下,主持人選擇B門的概率,其為 1 2 \frac{1}{2} 21?;
    • P ( A ) P(A) P(A)表示A門有汽車的概率,其為 1 3 \frac{1}{3} 31?;
    • P ( D ) P(D) P(D)可以從全概率公式求得,其為 1 2 \frac{1}{2} 21?
      P ( D ) = P ( D ∣ A ) P ( A ) + P ( D ∣ B ) P ( B ) + P ( D ∣ C ) P ( C ) P(D)=P(D|A)P(A)+P(D|B)P(B)+P(D|C)P(C) P(D)=P(DA)P(A)+P(DB)P(B)+P(DC)P(C)
      P ( D ) = 1 2 × 1 3 + 0 × 1 3 + 1 × 1 3 = 1 2 P(D)=\frac{1}{2}\times\frac{1}{3}+0\times\frac{1}{3}+1\times\frac{1}{3}=\frac{1}{2} P(D)=21?×31?+0×31?+1×31?=21?
  • 綜上得到:
    P ( A ∣ D ) = P ( D ∣ A ) P ( A ) P ( D ) = 1 2 × 1 3 2 = 1 3 P(A|D)=\frac{P(D|A)P(A)}{P(D)}=\frac{\frac{1}{2}\times\frac{1}{3}}{2}=\frac{1}{3} P(AD)=P(D)P(DA)P(A)?=221?×31??=31?

在主持人選擇B門開啟后無汽車的情況下,參賽者選A門有汽車的概率 P ( A ∣ D ) = 1 3 P(A|D)=\frac{1}{3} P(AD)=31?,因此后驗概率并沒有發生變化,并不是直觀的 1 2 \frac{1}{2} 21?,而仍然是 1 3 \frac{1}{3} 31?

因此,如果做調換門,那么相當于參賽者選擇了C門,計算過程類似,概率為 2 3 \frac{2}{3} 32?
P ( C ∣ D ) = P ( D ∣ C ) P ( C ) P ( D ) P(C|D)=\frac{P(D|C)P(C)}{P(D)} P(CD)=P(D)P(DC)P(C)?
P ( C ∣ D ) = 1 × 1 3 1 2 = 2 3 P(C|D)=\frac{1\times \frac{1}{3}}{\frac{1}{2}}=\frac{2}{3} P(CD)=21?1×31??=32?

3. 歧義的理解,擴展條件

3.1. 概述

蒙特霍爾問題之所以那么多年來爭論不休,本質上是由于語義理解上的歧義;事實上,根據不同的理解方式,蒙特霍爾問題一共有 4 個本質不同的版本。如果不了解其他版本的話,那當你在現實中遇到其他蒙特霍爾問題的變體時,也會很容易想當然地給出錯誤的答案。

其實,這個問題一共有兩個“歧義”點,缺一不可:

  • 主持人是否能確保避免打開正確答案?
  • 主持人是否一定會驗證一個和你選擇不同的門?

3.2. 歧義4個版本

根據這兩個問題的答案,我們就得到了這個問題的 4 個版本:

  • 版本1(標準版):主持人事先知道答案,會打開一扇你沒選擇的門,且其背后一定是羊;(1-是;2-是)
  • 版本2(驗證版):主持人事先并不知道答案,隨機打開了一扇你沒選擇的門,其背后恰好是羊;(1-否;2-是)
  • 版本3(機選版):主持人讓系統隨機打開一扇背后是羊的門,它恰好打開了一扇你沒選擇的門;(1-是;2-否)
  • 版本4(隨機版):主持人讓系統隨機打開一扇門,它恰好打開了一扇你沒選擇的門,且其背后是羊;(1-否;2-否)

注:1與2是指上面的歧義點。

那么,我們該怎么理解這 4 個版本的不同之處呢?它們的本質不同在于:主持人的行為是否需要承擔泄露結果的「風險」,使得「條件概率」發生變動。易見,在最初的狀態下,我們選中汽車的概率是 1/3。

  • 版本1(標準版) ,無論我們是否選中汽車,主持人總能找到 1 個背后是羊的門,這件事情是 100% 能達成的,所以概率分布完全沒變,我們選中汽車的概率依然為 1/3;
  • 版本2(驗證版),主持人顯然冒了風險,如果你選中了羊,那他有 1/2 的概率會選中汽車,所以我們選中汽車的條件概率變成了 (1/3) /( 1/3+2/3×1/2)=1/2;
  • 版本3(機選版),主持人其實也冒了風險,雖然不可能打開背后是汽車的門,但是在你選中羊的時候,有 1/2 的概率會隨機你選擇的門,所以我們選中汽車的條件概率變成了 (1/3) /(1/3+2/3×1/2)=1/2;
  • 版本4(隨機版),主持人顯然冒了雙重風險,一個風險是,打開了你選擇的門;另一個風險是,它打開了你沒選擇的門,但其背后是汽車;在這種情況下,條件概率的分子分母都會變化;我們選中汽車的條件概率變成了(1/3×2/3)/(1/3×2/3+2/3×1/3)=1/2

除了「標準版」的答案是 1/3(應該換門)外,其他版本的答案均為 1/2 (換不換均可)。

由此可見,同一件事物對于不同人甚至掌握不同信息的同一個人概率可能不同。因此,概率并不能寄托在實際的物體上,而是存在于條件之下。

參考:

曾加. 蒙提霍爾問題(又稱三門問題、山羊汽車問題)的正解是什么?. 知乎. 2022.04

本文來自互聯網用戶投稿,該文觀點僅代表作者本人,不代表本站立場。本站僅提供信息存儲空間服務,不擁有所有權,不承擔相關法律責任。
如若轉載,請注明出處:http://www.pswp.cn/news/211302.shtml
繁體地址,請注明出處:http://hk.pswp.cn/news/211302.shtml
英文地址,請注明出處:http://en.pswp.cn/news/211302.shtml

如若內容造成侵權/違法違規/事實不符,請聯系多彩編程網進行投訴反饋email:809451989@qq.com,一經查實,立即刪除!

相關文章

筆記68:Pytorch中repeat函數的用法

repeat 相當于一個broadcasting的機制 repeat(*sizes) 沿著指定的維度重復tensor。不同與expand(),本函數復制的是tensor中的數據。 import torch import torch.nn.functional as F import numpy as np a torch.Tensor(128,1,512) B a.repeat(1,5,1) print(B.s…

OpenGL 著色器程序的保存和加載(二進制)

背景 為了提高OpenGL 著色器程序的編譯和鏈接速度,我們可以將程序保存為二進制進行加載,可以大幅度提升加載效率。 方法 以下是加載和保存二進制程序的方法。 // 加載著色器程序的二進制文件到已創建的著色器程序中 bool loadPragram(const std::str…

javaee實驗:文件上傳及攔截器的使用

目錄 文件上傳ModelAttribute注解實驗目的實驗內容實驗過程項目結構編寫代碼結果展示 文件上傳 Spring MVC 提供 MultipartFile 接口作為參數來處理文件上傳。 MultipartFile 提供以下方法來獲取上傳的文件信息: ? getOriginalFilename 獲取上傳的文件名字&#x…

華為OD機試真題-測試用例執行計劃-2023年OD統一考試(C卷)

題目描述: 某個產品當前迭代周期內有N個特性( F1,F2,.......FN)需要進行覆蓋測試,每個特性都被評估了對應的優先級,特性使用其ID作為下標進行標識。 設計了M個測試用例(T1,T2......,TM ),每個用例對應了一個覆蓋特性的集合,測試用例使用其ID作為下標進行標識,測試用例…

特權FPGA學習筆記

C/C/system C-----vivado HLS------------->RTL門電路,省去了HDL語言的中間轉換,可以看作是C向C#的演進,基于zynq面向以前使用C的開發人員,但是個人覺得,HDL存在且未被C取代,工具的著眼點就是面向底層調…

Spring Cloud 與微服務學習總結(19)—— Spring Cloud Alibaba 之 Nacos 2.3.0 史上最大更新版本發布

Nacos 一個用于構建云原生應用的動態服務發現、配置管理和服務管理平臺,由阿里巴巴開源,致力于發現、配置和管理微服務。說白了,Nacos 就是充當微服務中的的注冊中心和配置中心。 Nacos 2.3.0 新特性 1. 反脆弱插件 Nacos 2.2.0 版本開始加入反脆弱插件,從 2.3.0 版本開…

飛天使-linux操作的一些技巧與知識點2

TCP 的三次握手 第一次,客戶端與服務端建立鏈接,需要發送請求連接的消息 第二次,服務端接口到數據后,返回一個確認的操作*(至此客戶端和服務端鏈路建立成功) 第三次,服務端還需要發送要與客戶端…

【Linux】探索Linux進程狀態 | 僵尸進程 | 孤兒進程

最近,我發現了一個超級強大的人工智能學習網站。它以通俗易懂的方式呈現復雜的概念,而且內容風趣幽默。我覺得它對大家可能會有所幫助,所以我在此分享。點擊這里跳轉到網站。 目錄 一、進程狀態1.1運行狀態1.2阻塞狀態1.3掛起狀態 二、具體L…

React中使用react-json-view展示JSON數據

文章目錄 一、前言1.1、在線demo1.2、Github倉庫 二、實踐2.1、安裝react-json-view2.2、組件封裝2.3、效果2.4、參數詳解2.4.1、src(必須) :JSON Object2.4.2、name:string或false2.4.3、theme:string2.4.4、style:object2.4.5、…

[ROS2] --- service

1 service介紹 1.1 service概念 話題通信是基于訂閱/發布機制的,無論有沒有訂閱者,發布者都會周期發布數據,這種模式適合持續數據的收發,比如傳感器數據。機器人系統中還有另外一些配置性質的數據,并不需要周期處理&…

C#,圖算法——以鄰接節點表示的圖最短路徑的迪杰斯特拉(Dijkstra)算法C#程序

1 文本格式 using System; using System.Text; using System.Linq; using System.Collections; using System.Collections.Generic; namespace Legalsoft.Truffer.Algorithm { public class Node // : IComparable<Node> { private int vertex, weigh…

第7章-使用統計方法進行變量有效性測試-7.5.4-模型評估

目錄 混淆矩陣 準確率 定義 局限性 精準率 定義 局限性

【分布式微服務專題】從單體到分布式(一、SpringCloud項目初步升級)

目錄 前言閱讀對象閱讀導航前置知識筆記正文一、單體服務介紹二、服務拆分三、分布式微服務升級前的思考3.1 關于SpringBoot/SpringCloud的思考【有點門檻】 四、SpringCloud升級整合4.1 新建父子項目 學習總結感謝 前言 從本節課開始&#xff0c;我將自己手寫一個基于SpringC…

如何輕松恢復 Windows 中刪除的文件夾

我們都曾經歷過這樣的事&#xff0c;而且我們中的大多數人可能很快就會再次這樣做。我們討論的是在 Windows 中按“Delete”或“ShiftDelete”鍵意外刪除重要文件夾的情況。 如果您剛剛按下刪除鍵且未超過 30 天&#xff0c;或者尚未清空回收站&#xff0c;則可以恢復文件夾。…

操作系統學習筆記---內存管理

目錄 概念 功能 內存空間的分配和回收 地址轉換 邏輯地址&#xff08;相對地址&#xff09; 物理地址&#xff08;絕對地址&#xff09; 內存空間的擴充 內存共享 存儲保護 方式 源程序變為可執行程序步驟 鏈接方式 裝入方式 覆蓋 交換 連續分配管理方式 單一連…

python安裝與工具PyCharm

摘要&#xff1a; 周末閑來無事學習一下python&#xff01;不是你菜雞&#xff0c;只不過是對手太強了&#xff01;所以你要不斷努力&#xff0c;去追求更高的未來&#xff01;下面先了解python與環境的安裝與工具的配置&#xff01; python安裝&#xff1a; 官網 進入官網下載…

lua腳本串口收發與CRC16校驗及使用方法

lua腳本CRC16校驗 --calculate CRC16校驗 --data : t, data to be verified --n : number of verified --return : check result function add_crc16(start, n, data)local carry_flag, a 0local result 0xfffflocal i startwhile(true)doresult result ~ data[i]for j…

git 關于分支、merge、commit提交

最近開始用git終端提交代碼&#xff0c;梳理了一些知識點 一 關于分支 關于分支&#xff0c;git的分支分為本地分支遠程分支兩種分支&#xff0c;在上傳代碼時&#xff0c;我們要確保當前本地分支連接了一個遠程分支。 我們可以通過下面代碼查看當前的本地分支&#xff1a; g…

迅為3588開發板 sudo: 無法解析主機:/DNS配置

環境申明 RK3588 ubuntu 22.04 jammy 迅為開發板 hostname 看是否有Host .&#xff0c;如果沒有&#xff0c; sudo vim /etc/hostname在里面加一行&#xff0c;我這就這一個 iTOP-RK3588hosts 修改本地hosts sudo vim /etc/hosts127.0.0.1 localhost localhost iTOP-RK3…

2.postman環境變量及接口關聯

一、環境變量以及全局變量 操作流程 1.點擊environment 2.點擊environment右側號&#xff0c;新增環境變量 3.在變量中輸入變量名以及變量值 4.回到collection頁面&#xff0c;修改變量環境 5.在collection中通過{{變量名}}調用變量 變量定義 環境變量&#xff1a;環境變量…