令 p (1), …, p (11) 依次为 1, 7, 8, 9, 10, 11, 2, 6, 3, 4, 5 即可。
下面以其中几对 (i, j) 为例,验证 p 是符合条件的:
-
若 i = 7, j = 11,则 p (i) = 2, p (j) = 5,ap (i) = 9 > max ak = 8,因此 p (i) ≺a p (j)。对应地,bi = 9 > max bk = 8,因此 i ≺b j。
2≤k≤5 7≤k≤11
-
若 i = 7, j = 2,则 p (i) = 2, p (j) = 7,ap (i) = 9 > max ak = 9,因此 p (i)≮a p (j)。对应地,i > j 所以 i≮b j。
2≤k≤7
可以证明,无法产生字典序更大的排列。