概率方法

由数学家Paul Erdős开创的组合数学证明方法，通过证明随机对象满足某性质的概率大于零来论证该类对象的存在性，无需给出具体构造实例，在组合数学和理论计算机科学中广泛应用