离散数学---证明的方法和策略

一.穷举证明法：有些问题可以通过检验相对少量的例子来证明，这样的证明方法叫做穷举证明法

二.分情形证明法：分情形证明一定要覆盖定理中出现的所有可能情况