約束RMQ(±1RMQ算法)(複雜度O(n))

約束RMQ的解法算法 如今仍舊用A[0,N-1]表示問題中的數列，這裏有|A[i]-A[i-1]|=1（i=1,2,...,N-1）成立。 將A分解爲長度爲l=[(log N)/2]的塊。設A'[i]爲第i塊中的最小值，B[i]爲該最小值的位置。A'[i]和B[i]的長度均爲N/l， 因此用ST算法處理A'數組的時空複雜度均爲O(N/l*log(N/l))=O(N/logN*(logN-logl)

>>阅读原文<<