If you have an algorithm "from big to small", couldn't you obtain an algorithm "from small to big" by replacing the vectors $a$, and $b$ by $x*1-a$ and $x*1-b$ respectively, where $1$ is the vector containing just ones and $x$ is a scalar, larger than the maximum of $a$ and $b$?