Consider a basic binary tree structure, where at each level there are
at most two sub trees, and we have numbered the processors 
.  Then we can map the left sub tree to the set 
 and the right sub tree to the set 
.  This idea extends naturally to the situation where we have a tree
with at most k sub trees, and maps distinct sub trees to distinct
sets of processors.