https://www.u-cursos.cl/ingenieria/2010/1/CC61X/1/blog/o/1207
More Adaptive Sorting and Reductions between (Pb,m)