Being educated in Computer Science and Mathematics is not always easy. Especially not if you have "friends" who repeatedly insist on showing you their new "proofs" that P equals NP, that the Riemann Hypothesis is true, and so on.
One of your friends recently claims to have found a fantastic new compression algorithm. As an example of its amazing performance, your friend has told you that every file in your precious collection of random bit strings after compression would be at most b bits long! Naturally, you find this a bit hard to believe, so you want to determine whether it is even theoretically possible for this to be true.
Your collection of random bit strings consists of N files, no two of which are identical, and each of which is exactly 1000 bits long.
입력 13 3 출력 yes 입력 1 0 출력 yes 입력 31415926535897 40 출력 no
출처:ncpc/2008/Problem B