Given the binary, associative operator and x_{1} .. x_{k}, compute .

Let [i,j] = , [i,k] = [i,j] [j+1,k], and [i,i] = x_{i}.

We can use pointer jumping to change [i,i] to [1,i].