In the desired conclusion, the number of elements that differ from one subset to the next gives the sequence 2,1,2,1,2 . I get the same sequence, choosing from the lexicographically ordered list of subsets the first, then the last, then the second, then the second last, etc. At each step, select the subset that is farthest in order and which has not yet been selected.
I do not get the same sequence of subsets, exactly the same sequence of numbers of differences.
I have satisfied myself that this also works for several other small cases, and now I look forward to counter examples and voices.
Ahh, so you do not want to rely on creating a lexicographically ordered set of subsets first. My initial thought is that 2 subset generators are running at the same time, one of which starts from the first subset (like AB ) and jumps forward, and the second starts from the last (like CD ) and goes back. If you understand what I mean.
source share