抽屉原理简单应用 POJ 2356 POJ 3370

基本原理：k+1个物体放入k个盒子，一定至少有一个盒子有2个或更多的物体。

数学语言描述为：m(m>=1)个元素分成n个组，那么总有一个组至少含有元素个数为[ m/n ]（向上取整）。

重要推论：设a1,a2,...,am是正整数的序列，则一定存在整数k和l，1<= k < l <=m，使得连续子序列和ak+a(k+1)+...+al是m的倍数。

证明：设Sk表示前k项和，

（1）若有一个Sk是m的倍数，则定理已得证；

（2）设在上面的序列中没有一个Si（1<=i<=m）是m的倍数，令ri=Si%m。

我们已知上面的所有项都非m的倍数，则ri（1<=i<=m）都不为0。

根据抽屉原理，这m个余数在[1,m-1]里取值至少存在一对rh,rk，满足rh=rk，即Sh=Sk mod m。

不妨设h>k，则 Sh-Sk=a(k+1)+a(k+2)+...+ah≡0 mod m，证毕。