nyoj 417 死神来了 鸽巢定理

死神来了
时间限制：1000 ms | 内存限制：65535 KB
难度：3
描述
有一天，王小子在遨游世界时，遇到了一场自然灾害。一个人孤独的在一个岛上，没有吃的没有喝的。在他饥寒交迫将要死亡时，死神来了。由于这个死神在成神之前是一个数学家，所以他有一个习惯，会和即死之人玩一个数学游戏，来决定是否将其灵魂带走。游戏规则是死神给王小子两个整数n（100<=n<=1000000）,m(2<=m<=n)，在1~n个数中，随机取m个数,问在这m个数中是否一定存在一个数是另一个数的倍数，是则回答“YES”,否则”NO”。如果王小子回答正确，将有再活下去的机会。但是他很后悔以前没有好好学习数学，王小子知道你数学学得不错，请你救他一命。

输入
有多组测试数据，不多于10000;
每组有两个数n,m;
以文件结束符EOF为结束标志。
输出
输出”YES”或”NO”。
样例输入
100 80
100 20
样例输出
YES
NO
http://acm.nyist.net/JudgeOnline/problem.php?pid=417
思路：这题用到了鸽笼原理（有n+1件或n+1件以上的物品要放到n个抽屉中，那么至少有一个抽屉里有两个或两个以上物品。），在本题，我们m看作为m个鸽笼，
，我们将1到N所有数的倍数分组，最大分组数为p=N / 2 + (N & 1)，看作p只鸽子，问是否能把这p只鸽子放入到m个笼子里，保证每只笼子只有一只鸽子。
每一个组都是按倍数递增。即里面的互为倍数。
例如 样例为20
A1 = {1, 2,4，8,16}
A2 = {3,6,12}
A3={5,10,20}
A4={6,12}
A5={7,14}
A6={9，18}
A7={11}
A8={13}
A9={17}
A10={19}
即可以分成10组，最少选11个。

也就是说如果有倍数关系 那么起码是2的 所以把所有的数有倍数关系的放一起

#include <cstdio>
int main()
{
    int n,m;
    while(~scanf("%d%d",&n,&m))
    {
        n=n/2+(n&1);
        printf("%s\n",m>n?"YES":"NO");
    }
}