下一个更大

从左到右扫，维护下标的单调递减栈。当 a[i] 比栈顶大，说明 i 就是栈顶的“下一个更大”，弹出结算；然后把 i 入栈。