1727. Largest Submatrix With Rearrangements
Description
You are given a binary matrix matrix of size m x n, and you are allowed to rearrange the columns of the matrix in any order.
Return the area of the largest submatrix within matrix where every element of the submatrix is 1 after reordering the columns optimally.
Example 1:
Input: matrix = [[0,0,1],[1,1,1],[1,0,1]] Output: 4 Explanation: You can rearrange the columns as shown above. The largest submatrix of 1s, in bold, has an area of 4.
Example 2:
Input: matrix = [[1,0,1,0,1]] Output: 3 Explanation: You can rearrange the columns as shown above. The largest submatrix of 1s, in bold, has an area of 3.
Example 3:
Input: matrix = [[1,1,0],[1,0,1]] Output: 2 Explanation: Notice that you must rearrange entire columns, and there is no way to make a submatrix of 1s larger than an area of 2.
Constraints:
m == matrix.lengthn == matrix[i].length1 <= m * n <= 105matrix[i][j]is either0or1.
Solutions
Solution 1: Preprocessing + Sorting
Thinking
Columns may be reordered; we want the largest all-ones submatrix. \(m\cdot n\le 10^5\) forbids trying permutations.
Reordering changes column order, not the upward run of ones in a column. After rewriting each \(1\) as that height, a row is a histogram.
Sort the row descending. The \(k\)-th largest height \(v\) forms a \(v\times k\) all-ones block. Take the maximum over rows.
Since the matrix can be rearranged by columns, we can preprocess each column of the matrix first.
For each element with value \(1\), we update its value to the maximum number of consecutive \(1\)s above it (including itself), i.e., \(\text{matrix}[i][j] = \text{matrix}[i-1][j] + 1\).
Next, we sort each row of the updated matrix. Then we traverse each row and compute the maximum area of an all-\(1\) submatrix with that row as the bottom edge. The detailed calculation is as follows:
For a given row, let the \(k\)-th largest element be \(\text{val}_k\), where \(k \geq 1\). Then there are at least \(k\) elements in that row no less than \(\text{val}_k\), forming an all-\(1\) submatrix with area \(\text{val}_k \times k\). We iterate through the elements of the row from largest to smallest, take the maximum value of \(\text{val}_k \times k\), and update the answer.
The time complexity is \(O(m \times n \times \log n)\) and the space complexity is \(O(\log n)\), where \(m\) and \(n\) are the number of rows and columns of the matrix, respectively.
1 2 3 4 5 6 7 8 9 10 11 12 | |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 | |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 | |

