A partition π of the set [n] = {1,2,..., n} is a collection {B₁...,Bk) of nonempty disjoint subsets of [n] (called blocks) whose union equals [n]. Suppose that the subsets Bi are listed in increasing ...