Codeforces Round #461

C. Cave Painting

题意：给你n和k，(n, k <= 1e18) 问你|set{n%i | 1 <= i <= k} | 是否等于k，即n%i, 1<= i <= k，各个余数是否互不相同。

观察：n%1 == 0, 那么为了使余数互不相同，n%2 一定等于1，同理n%3 == 2，。。。，n%i == i-1。所以有(n+1)%i == i == 0。即lcm(1, 2, ..., k)整除n。可以想到，lcm(1, 2, ..., k)增长很快，只考虑素数都会发现增长很快，所以，暴力检验有限项，就可以把1e18之内的整数validate。所以暴力检验就好。