Qual é o método de ordenação representado por uma lista linear composta de elementos com chaves s₁, ..., s_n, satisfazendo a seguinte propriedade: !$ s_i \le s[1/2] !$, para !$ 1 i \le n !$?