, . , " ", : , (1) ( ), (2) , (3) , ( ).
(3), (1) (2). , , O(n log n) time O(n) ( O(n) , . : ). O(n^2) O(n) .
, , s[i], -1. , node , , node. ( s[a] s[b] , , b a.) , node.
, , leftmost-index-of-lower-value, node , , ; - , , .
, .
, f(i) i. f(i) , j, f(j-1).