random subset of length k