Range Maximum Query

Range maximum mirrors minimum—combine with max and initialize with -∞.

Why this shows up in the real world

Time-series dashboards, game leaderboards, and competitive programming interval problems all need fast answers on changing arrays.

Core idea (explained for students)

Common in temperature ranges, stock highs, and sliding-window optimizations with segment trees.

Try this in Python

class SegTreeMax:
    INF = 10**18

    def __init__(self, arr: list[int]) -> None:
        self.n = len(arr)
        self.size = 1
        while self.size < self.n:
            self.size *= 2
        self.t = [-self.INF] * (2 * self.size)
        for i, x in enumerate(arr):
            self.t[self.size + i] = x
        for i in range(self.size - 1, 0, -1):
            self.t[i] = max(self.t[2 * i], self.t[2 * i + 1])

    def query(self, l: int, r: int) -> int:
        l += self.size
        r += self.size
        ans = -self.INF
        while l <= r:
            if l % 2 == 1:
                ans = max(ans, self.t[l])
                l += 1
            if r % 2 == 0:
                ans = max(ans, self.t[r])
                r -= 1
            l //= 2
            r //= 2
        return ans


print(SegTreeMax([1, 5, 2, 9, 3]).query(1, 3))

Common mistakes

• Initializing to 0 when all values negative.
• Max lazy assignment needs careful push.

Key takeaways

• Symmetry: min and max code differ only in op/identity.
• Test on decreasing array.