RT,一个ppt里看到的题,不过没讲做法。百度上基本搜不到。自己想了个做法,理论上可行,复杂度也是O(nlogn)。
首先,做一次RMQ,求区间最大值。
对于任意一个数s[i],可以用logn的时间求出他右边第一个比他大的数:
RMQ[i][j] 表示从s[i]开始的2^j个数中的最大值。对于确定的i,RMQ[i][j]随着j的增大肯定是非降的。
先判断无解的情况,只要看max(RMQ[i][j],RMQ[n-2^j+1][j]) ,也就是区间[i,n]的最大值是否比s[i]大即可(下面求区间最大值也用该方法,就不写明了),如果是,可能有解,反之无解。
如果有解,也就是在区间[i+1,n]里找到第一个大于s[i]的数;
把区间二分,如果左边一半的最大值大于S[i],那么就到左边一半寻找答案,如果左边一半的最大值小于S[i],就到右边一半找,每次查找的范围都缩小了一半。
n个数,每次logn,总的时间复杂度是nlogn。
ps:其实有O(n)算法:单调栈。