本文系统比较离散高斯采样的三种实现路线:Bernoulli门将指数权重分解为独立随机判断,Ziggurat用分层包络减少候选浪费,卷积则组合窄分布生成更宽提议。核心结论是三者均须满足支撑覆盖与逐点支配条件,离散卷积不精确闭合,五点反例证明钟形对称不能替代逐点验证。文章强调输出分布正确不等于执行轨迹安全,安全审计需分别核对条件输出、平均重试次数与设备轨迹。
网络安全文章















