code: public static DBIDs randomSample(DBIDs ids, double rate, RandomFactory random) {
      return randomSample(ids, rate, random.getSingleThreadedRandom());
    }
docs: Produce a random sample of the given DBIDs.
  
  @param ids Original ids, no duplicates allowed
  @param rate Sampling rate
  @param random Random generator
  @return Sample