On the second thought, I am still not seeing the statistical equivalence of the two constructions. The first construction will always produce two disjoint sets
and
of sizes
and
, respectively. The second construction may easily produce two non-disjoint sets. Is this a problem?
Admin Edit: Replaced $ with [math] tag in math expressions.