概率性保证算法以高概率（如 1-δ）输出满足误差界的结果，但存在小概率失败风险，这与传统数值算法的确定性误差分析有本质区别。