推导 Bloom Filter 的误判率公式，并给出最优哈希函数个数与位数组长度的数学结论。

结合源码梳理 LevelDB Compaction 的触发条件、执行流程，以及它在 LSM 结构中的作用。