【计算复杂性理论】证明复杂性（八）：命题鸽巢原理（Propositional Pigeonhole Principle）的指数级归结下界