rnd_k_from_n: generate k different random int from 0~n