对于每个元素,如果它比左侧最大的值要大,同时比右侧最小的值要小,就满足条件。用两个数组维护,left_max[i] 表示原数组 [0, i) 的最大值,right_min[i] 表示原数组 (i, n) 的最小值。