最大似然估計 是什麼?

Maximum Likelihood Estimation:最大似然估計 的完整解釋

最大似然估計 (MLE) 是一種統計方法,用於估計機率分佈的參數,它通過最大化觀察到樣本數據的似然函數來實現。

容易混淆

最大似然估計 vs 貝氏估計

最大似然估計:只看目前資料,找讓資料最可能出現的參數。 貝氏估計:把資料和先驗知識一起考慮,算出後驗分佈。 最關鍵的區別:前者不放先驗,後者會放先驗。

最大似然估計 vs 最小二乘法

最大似然估計:最大化資料出現的機率。 最小二乘法:最小化預測值和真實值的平方誤差。 最關鍵的區別:前者是機率觀點,後者是誤差觀點。

記住這句就好

找出讓「目前這批資料最像真的」那組參數。

實際案例

硬幣偏硬還是偏軟

你丟了 20 次硬幣,正面出現 15 次,最大似然估計會找出一個最能解釋這組結果的正面機率,而不是先預設它一定公平。

垃圾郵件分類

模型觀察哪些單字常出現在垃圾信裡,調整參數讓這些特徵組合下的資料機率最高,最後得到分類規則。

算法與應用

做法通常是先寫出似然函數,再把它轉成比較好算的對數似然。 最佳解不一定有漂亮封閉解,所以常搭配梯度下降或數值最佳化。 它很常和機率分佈、損失函數、模型訓練綁在一起。

最大概似估計在做什麼

最大概似估計(Maximum Likelihood Estimation, MLE)問的是:什麼樣的參數,最有可能產生我手上這批資料?

概似函數就是「在參數 θ 之下,觀察到這批資料的機率」:

L(θ) = P(資料 | θ)

MLE 就是找出讓 L(θ) 最大的那個 θ。

實作上通常改成最大化對數概似(log-likelihood),因為連乘變成連加、數值也穩定得多,而且取對數不改變最大值的位置。

實際算一次:丟一枚硬幣 10 次,出現 7 次正面,正面機率 p 是多少?

步驟 內容
概似函數 L(p) = p⁷ × (1−p)³
取對數 ln L = 7 ln p + 3 ln(1−p)
對 p 微分設為 0 7/p − 3/(1−p) = 0
解出 p = 0.7

答案就是 7/10,跟直覺一致。MLE 的價值在於它把「直覺上的答案」變成一套能套用到任何模型的通用推導方法。

MLE 跟 MAP、跟損失函數的關係

MLE 與最大後驗估計(MAP)的差別在有沒有先驗。 MAP 最大化的是 P(θ|資料),等於概似乘上先驗 P(θ)。資料很多時兩者會趨於一致,資料很少時先驗的影響很大。加上常見的高斯先驗之後,MAP 在數學上就等價於加了 L2 正則化的 MLE,這是「正則化就是加先驗」這句話的來源。

機器學習裡很多損失函數其實就是負對數概似。

假設誤差服從常態分布,最大化概似等價於最小化均方誤差(MSE)。

假設是伯努利分布或多項分布,最大化概似等價於最小化交叉熵。

這解釋了為什麼回歸預設用 MSE、分類預設用交叉熵,那不是憑感覺挑的,而是各自對應一個機率假設下的 MLE。

MLE 的兩個限制。 樣本少時容易過擬合,因為它會完全相信手上的資料。而且它給的是一個點估計,不提供不確定性,需要區間或分布時要走貝氏方法。

情境判斷

Q1(情境題): 你只有少量資料,還能用最大似然估計嗎?

→ 可以,但要小心不穩定。資料少時估計會比較抖,這時常會搭配正則化、貝氏方法或更多先驗資訊。

Q2(情境題): 如果模型很複雜,最大似然估計一定會找到唯一答案嗎?

→ 不一定。資料不足或模型太彈性時,可能出現多個局部最佳解,甚至估計不穩定。

相關術語

常見問題

最大似然估計一定要假設資料分佈嗎?

要。你得先指定一個機率模型,例如常態分佈、伯努利分佈或多項式分佈,才談得上似然。

它和最大後驗估計有什麼不同?

最大後驗估計會把先驗加進來,最大似然估計只看觀測資料。兩者在沒有先驗或先驗很弱時,結果可能很接近。

為什麼常改寫成對數似然?

因為乘積太難算也容易下溢,改成對數後會把乘法變加法,計算更穩定。