Разреженная таблица представляет собой четырехмерный массив:
<tex>ST[N][M][LOGN][LOGM]</tex>, где <tex>LOGN = \log(N), LOGM = \log(M)</tex>.
<tex>ST[i][j][k_1][k_2] = \min(A[i][j], A[i+1][j], \ldots, A[i+2^limits_{k_1}-1][j] </tex>, <tex>A[r = i][j + 1], A[i+1][j + 1], \ldotsdots, A[i+2^{k_1}-1][, c = j + 1], </tex> <tex>\ldots \ldots\ldots\ldots\ldots</tex>, <tex>A[i][j + 2^{k_2}-1], A[i+1][j + 2^{k_2}-1], \ldots, A[i+2^{k_1}-1r][j + 2^{k_2}-1c]),r </tex> <tex> k_1 \in [0 \ldots \log N], k_2 \in [0 \ldots \log c < M] </tex>
То есть в ячейке структуры мы храним минимум для подматрицы, длины сторон которого являются некоторыми степенями двойки.
