Colexicographic order

cosmos 30th October 2017 at 12:10am

For sets A,B[n](r)A,B \in [n]^{(r)}, the rrth layer of the Power set, we define the Ordering

A<BA < B if ABA\neq B and max(AB)B\max{(A\: \triangle \: B)} \in B,

analogously to the Lexicographic order.

This is equivalent to A<BA < B if

iA2i<iB2i\sum\limits_{i \in A} 2^i < \sum\limits_{i \in B} 2^i

Thus it can be thought as a 'binary' order.

It can be seen as the oppositie of {lexicographic order with the opposite ordering of the letter/numbers}