Notes

Bayes公式：

1. \(P(A \cap B) = P(A)*P(B|A)=P(B)*P(A|B)\)

2. \(P(A|B)=P(B|A)*\frac{P(A)}{P(B)}\)

Dilworth定理

1. 对于任意有限偏序集，其最大反链中元素的数目必等于最小链划分中链的数目

2. 对偏序集\(<A,\le>\)，设A中最长链的长度是 \(n\)，则将\(A\)中元素分成不相交的反链，反链个数至少是\(n\)