组合数学

简单形式 n+1个物品放入n个盒子中，至少存在一个盒子中存在多个物品 可以抽象表示为: 令X，Y为两有限集，令f为一个从X到Y的函数 若X的元素大于Y的元素，则f不是一对一的 若X和Y有相同个数的元素，且f是映上的，则f是一对一的 若X和Y有相同个数的元素，且