贝叶斯公式：后验 ∝ 似然 × 先验

把信念从「先验」更新成「后验」——其实就是一次逐点相乘 + 一次归一

P(X|Y) = [ P(Y|X) × P(X) ] ÷ P(Y)   ⇒   后验 ∝ 似然 × 先验
X (假设/状态) 概率 先验 P(X) 似然 P(Y|X) 似然×先验 (未归一) ÷ 证据 P(Y) = Σ 似然×先验 后验 P(X|Y)
先验 P(X) 似然 P(Y|X) 证据 P(Y) 后验 P(X|Y)
💡 考点：证据 P(Y)=Σ_X P(Y|X)P(X) 对所有 X 是同一个常数，只做归一。 所以 P(X|Y) ∝ P(Y|X)P(X)，求 argmax 时可丢掉 P(Y) —— 最大后验估计不变。