思路：首先考虑离线。设\(Min-nxt_i\)表示下一个小于\(a_i\)处的位置，\(Max-nxt_i\)表示下一个大于\(a_i\)处的位置。那么\([l,r]\)是魔法区间当且仅当：\(r\)是\([l,r]\)的最大值，且\(r<Min-nxt_l\)。\(r\)是\([l,r]\)的最小值，且\(r<Max-nxt_l\)。