Theory Seminar: Gert Stølting Brodal, AU - The Encoding Complexity of Two Dimensional Range Minimum Data Structures

Abstract:

In the two-dimensional range minimum query problem an input matrix A of dimension m x n, m? n, has to be preprocessed into a data structure such that given a query rectangle within the matrix, the position of a minimum element within the query range can be reported. We consider the space complexity of the encoding variant of the problem where queries have access to the constructed data structure but can not access the input matrix A, i.e. all information must be encoded in the data structure. Previously it was known how to solve the problem with space O(mnmin{m,log n}) bits (and with constant query time), but the best lower bound was ?(mnlog m) bits, i.e. leaving a gap between the upper and lower bounds for non-quadratic matrices. We show that this space lower bound is optimal by presenting an encoding scheme using O(mnlog m) bits. We do not consider query time.

Joint work with Andrej Brodnik and Pooya Davoodi. Results presented at ESA 2013.