Microsoft Interview: transforming a matrix

Question

Given a matrix of size n x m filled with 0's and 1's

e.g.:

1 1 0 1 0

0 0 0 0 0

0 1 0 0 0

1 0 1 1 0

if the matrix has 1 at (i,j), fill the column j and row i with 1's

i.e., we get:

1 1 1 1 1

1 1 1 1 0

1 1 1 1 1

1 1 1 1 1

Required complexity: O(n*m) time and O(1) space

NOTE: you are not allowed to store anything except '0' or '1' in the matrix entries

Above is a Microsoft Interview Question.

I thought for two hours now. I have some clues but can't proceed any more.

Ok. The first important part of this question is that Even using a straight forward brute-force way, it can't be easily solved.

If I just use two loops to iterate through every cell in the matrix, and change the according row and column, it can't be done as the resulting matrix should be based on the origin matrix.

For example, if I see a[0][0] == 1, I can't change row 0 and column 0 all to 1, because that will affect row 1 as row 1 doesn't have 0 originally.

The second thing I noticed is that if a row r contains only 0 and a column c contains only 0, then a[r][c] must be 0; for any other position which is not in this pattern should be 1.

Then another question comes, if I find such a row and column, how can I mark the according cell a[r][c] as special as it already is 0.

My intuitive is that I should use some kind of bit operations on this. Or to meet the required complexity, I have to do something like After I take care of a[i][j], I should then proceed to deal with a[i+1][j+1], instead of scan row by row or column by column.

Even for brute-force without considering time complexity, I can't solve it with the other conditions.

Any one has a clue?

Solution: Java version

@japreiss has answered this question, and his/her answer is smart and correct. His code is in Python, and now I give the Java version. Credits all go to @japreiss

public class MatrixTransformer {

    private int[][] a;
    private int m;
    private int n;
    
    public MatrixTransformer(int[][] _a, int _m, int _n) {
        a = _a;
        m = _m;
        n = _n;
    }
    
    private int scanRow(int i) {
        int allZero = 0;
        for(int k = 0;k < n;k++)
            if (a[i][k] == 1) {
                allZero = 1;
                break;
            }
        
        return allZero;
    }
    
    private int scanColumn(int j) {
        int allZero = 0;
        for(int k = 0;k < m;k++)
            if (a[k][j] == 1) {
                allZero = 1;
                break;
            }
        
        return allZero;
    }
    
    private void setRowToAllOnes(int i) {
        for(int k = 0; k < n;k++)
            a[i][k] = 1;
    }
    
    private void setColToAllOnes(int j) {
        for(int k = 0; k < m;k++)
            a[k][j] = 1;
    }
        
//  # we're going to use the first row and column
//  # of the matrix to store row and column scan values,
//  # but we need aux storage to deal with the overlap
//  firstRow = scanRow(0)
//  firstCol = scanCol(0)
//
//  # scan each column and store result in 1st row - O(mn) work
    
        
        
    public void transform() {
        int firstRow = scanRow(0);
        int firstCol = scanColumn(0);
                
                
        for(int k = 0;k < n;k++) {
            a[0][k] = scanColumn(k);
        }

        // now row 0 tells us whether each column is all zeroes or not
        // it's also the correct output unless row 0 contained a 1 originally

        for(int k = 0;k < m;k++) {
            a[k][0] = scanRow(k);
        }
        
        a[0][0] = firstCol | firstRow;
        
        for (int i = 1;i < m;i++)
            for(int j = 1;j < n;j++)
                a[i][j] = a[0][j] | a[i][0];


        
        if (firstRow == 1) {
            setRowToAllOnes(0);
        }
        
        if (firstCol == 1) 
            setColToAllOnes(0);
    }
    
    @Override
    public String toString() {
        StringBuilder sb = new StringBuilder();
        
        for (int i = 0; i< m;i++) {
            for(int j = 0;j < n;j++) {
                sb.append(a[i][j] + ", ");
            }
            sb.append("\n");
        }
        
        return sb.toString();
    }
    /**
     * @param args
     */
    public static void main(String[] args) {
        int[][] a = {{1, 1, 0, 1, 0}, {0, 0, 0, 0, 0},{0, 1, 0, 0, 0},{1, 0, 1, 1, 0}};
        MatrixTransformer mt = new MatrixTransformer(a, 4, 5);
        mt.transform();
        System.out.println(mt);
    }

}

Does O(1) imply that you have to do things in-place? Thought that just meant "constant space". — John, May 31 '12 at 19:38
@John You are right, I don't think it means in-place. You can use fixed number of spaces. — Jackson Tale, May 31 '12 at 19:40
duplicate question Please go to the following link http://stackoverflow.com/questions/339262/set-every-cell-in-matrix-to-0-if-that-row-or-column-contains-a-0 — rusty, Aug 16 '14 at 15:05

japreiss · Accepted Answer · 2014-03-06T18:06:07.493

19

Here is a solution in python pseudocode that uses 2 extra bools of storage. I think it is more clear than I could do in English.

def scanRow(i):
    return 0 if row i is all zeroes, else 1

def scanColumn(j):
    return 0 if col j is all zeroes, else 1

# we're going to use the first row and column
# of the matrix to store row and column scan values,
# but we need aux storage to deal with the overlap
firstRow = scanRow(0)
firstCol = scanCol(0)

# scan each column and store result in 1st row - O(mn) work
for col in range(1, n):
    matrix[0, col] = scanColumn(col)

# now row 0 tells us whether each column is all zeroes or not
# it's also the correct output unless row 0 contained a 1 originally

# do the same for rows into column 0 - O(mn) work
for row in range(1, m):
    matrix[row, 0] = scanRow(row)

matrix[0,0] = firstRow or firstCol

# now deal with the rest of the values - O(mn) work
for row in range(1, m):
    for col in range(1, n):
        matrix[row, col] = matrix[0, col] or matrix[row, 0]


# 3 O(mn) passes!

# go back and fix row 0 and column 0
if firstRow:
    # set row 0 to all ones

if firstCol:
    # set col 0 to all ones

edited Mar 06 '14 at 18:06

answered May 31 '12 at 20:01

japreiss

11,111
2
40
77

I edited this from the initial post - forgot to go back and correct row 0 and column 0 – japreiss May 31 '12 at 20:04
firstRow would be size n and firstCol size m. This doesn't constitute constant space right? – Kevin DiTraglia May 31 '12 at 20:24
1

@KDiTraglia I think his firstRow and firstCol are actually reusing the real first row and first column in the original matrix, so not extra – Jackson Tale May 31 '12 at 20:28
`firstRow` and `firstCol` are just single booleans. I changed the scanRow and scanColumn to clarify. – japreiss May 31 '12 at 20:31
@japreiss `matrix[row, col] = matrix[m, col] or matrix[row, n]` should be `matrix[row, col] = matrix[**0**, col] or matrix[row, **0**]`? – Jackson Tale May 31 '12 at 21:13
Oops - yes! I originally wrote my solution storing in the last row and column instead of the first. Edited. – japreiss May 31 '12 at 21:17
@japreiss the last `if firstColumn:` should be `if firstCol`, minor typo. – Jackson Tale May 31 '12 at 21:17
1

This is a very smart way as it utilise one row and one column of the matrix. I didn't think in this way. excellent answer. – Jackson Tale May 31 '12 at 21:34

templatetypedef · Answer 2 · 2014-03-06T22:35:49.567

Here's another intuition that gives a clean and simple algorithm for solving the problem.

An initial algorithm using O(n) space.

For now, let's ignore the O(1) memory constraint. Suppose that you can use O(n) memory (if the matrix is m × n). That would make this problem a lot easier and we could use the following strategy:

Create an boolean array with one entry per column.
For each column, determine whether there are any 1's in the column and store that information in the appropriate array entry.
For each row, set that row to be all 1's if there are any 1's in the row.
For each column, set that column to be all 1's if the corresponding array entry is set.

As an example, consider this array:

We'd start off by creating and populating the auxiliary array, which can be done in time O(mn) by visiting each column one at a time. This is shown here:

1 1 0 1 0
0 0 0 0 0
0 1 0 0 0
1 0 1 1 0

1 1 1 1 0  <--- aux array

Next, we iterate across the rows and fill each one in if it contains any 1's. This gives this result:

1 1 1 1 1
0 0 0 0 0
1 1 1 1 1
1 1 1 1 1

1 1 1 1 0  <--- aux array

Finally, we fill in each column with 1's if the auxiliary array has a 1 in that position. This is shown here:

1 1 1 1 1
1 1 1 1 0
1 1 1 1 1
1 1 1 1 1

1 1 1 1 0  <--- aux array

So there's one problem: this uses O(n) space, which we don't have! So why even go down this route?

A revised algorithm using O(1) space.

It turns out that we can use a very cute trick to run this algorithm using O(1) space. We need a key observation: if every row contains at least one 1, then the entire matrix becomes 1's. We therefore start off by seeing if this is the case. If it is, great! We're done.

Otherwise, there must be some row in the matrix that is all 0's. Since this row is all 0's, we know that in the "fill each row containing a 1 with 1's" step, the row won't be filled in. Therefore, we can use that row as our auxiliary array!

Let's see this in action. Start off with this:

Now, we can find a row with all 0's in it and use it as our auxiliary array:

1 1 0 1 0
0 0 0 0 0  <-- Aux array
0 1 0 0 0
1 0 1 1 0

We now fill in the auxiliary array by looking at each column and marking which ones contain at least one 1:

1 1 0 1 0
1 1 1 1 0  <-- Aux array
0 1 0 0 0
1 0 1 1 0

It's perfectly safe to fill in the 1's here because we know that they're going to get filled in anyway. Now, for each row that contains a 1, except for the auxiliary array row, we fill in those rows with 1's:

1 1 1 1 1
1 1 1 1 0  <-- Aux array
1 1 1 1 1
1 1 1 1 1

We skip the auxiliary array because initially it was all 0's, so it wouldn't normally be filled. Finally, we fill in each column with a 1 in the auxiliary array with 1's, giving this final result:

1 1 1 1 1
1 1 1 1 0  <-- Aux array
1 1 1 1 1 
1 1 1 1 1

Let's do another example. Consider this setup:

We begin by finding a row that's all zeros, as shown here:

1 0 0 0
0 0 1 0
0 0 0 0 <-- Aux array
0 0 1 0

Next, let's populate that row by marking columns containing a 1:

1 0 0 0
0 0 1 0
1 0 1 0 <-- Aux array
0 0 1 0

Now, fill in all rows containing a 1:

1 1 1 1
1 1 1 1
1 0 1 0 <-- Aux array
1 1 1 1

Next, fill in all columns containing a 1 in the aux array with 1's. This is already done here, and we have our result!

As another example, consider this array:

1 0 0
0 0 1
0 1 0

Every row here contains at least one 1, so we just fill the matrix with ones and are done.

Finally, let's try this example:

We have lots of choices for aux arrays, so let's pick the first row:

0 0 0 0 0 <-- aux array
0 0 0 0 0
0 1 0 0 0
0 0 0 0 0
0 0 0 1 0

Now, we fill in the aux array:

0 1 0 1 0 <-- aux array
0 0 0 0 0 
0 1 0 0 0
0 0 0 0 0
0 0 0 1 0

Now, we fill in the rows:

0 1 0 1 0 <-- aux array
0 0 0 0 0 
1 1 1 1 1
0 0 0 0 0
1 1 1 1 1

Now, we fill in the columns based on the aux array:

0 1 0 1 0 <-- aux array
0 1 0 1 0 
1 1 1 1 1
0 1 0 1 0
1 1 1 1 1

And we're done! The whole thing runs in O(mn) time because we

Do O(mn) work to find the aux array, and possibly O(mn) work immediately if one doesn't exist.
Do O(mn) work to fill in the aux array.
Do O(mn) work to fill in rows containing 1s.
Do O(mn) work to fill in columns containing 1s.

Plus, it only uses O(1) space, since we just need to store the index of the aux array and enough variables to do loops over the matrix.

EDIT: I have a Java implementation of this algorithm with comments describing it in detail available on my personal site. Enjoy!

Hope this helps!

score 1 · Answer 3 · answered Jun 03 '12 at 05:48

Assuming matrix is 0-based, i.e. the first element is at mat[0][0]

Use the first row and first column as table headers to contain column and row info respectively. 1.1 Note the element at mat[0][0]. If it is 1, it will require special handling at the end (described later)
Now, start scanning the inner matrix from index[1][1] up to the last element 2.1 If the element at[row][col] == 1 then update the table header data as follows Row: mat[row][0] = 1; Column: mat[0][col] = 1;

At this point we have the complete info on which column and row should be set to 1

Again start scanning the inner matrix starting from mat[1][1] and set each element to 1 if either the current row or column contains 1 in the table header: if ( (mat[row][0] == 1) || (mat[0][col] == 1) ) then set mat[row][col] to 1.

At this point we have processed all the cells in the inner matrix and we are yet to process the table header itself

Process the table header If the matt[0][0] == 1 then set all the elements in the first column and first row to 1
Done

Time complexity O(2*((n-1)(m-1)+(n+m-1)), i.e. O(2*n*m - (n+m) + 1), i.e. O(2*n*m) Space O(1)

See my implementation at http://codepad.org/fycIyflw

score -1 · Answer 4 · answered Jun 12 '12 at 19:04

-1

Another solution would be to scan the matrix as usual, and at the first 1 you split the matrix in 4 quadrants. You then set the line and the column to 1's, and recursively process each quadrant. Just make sure to set the whole columns and rows, even though you are scanning only a quadrant.

answered Jun 12 '12 at 19:04

Spidey

2,508
2
28
38

2

Recursively processing each quadrant requires O(log n) space for the call stack. – templatetypedef Mar 06 '14 at 19:12

score -1 · Answer 5 · answered Jan 16 '14 at 06:39

public void setOnes(int [][] matrix){

    boolean [] row = new boolean [matrix.length]
    boolean [] col = new boolean [matrix[0].length]
    for (int i=0;i<matrix.length;i++){
        for(int j=0;j<matrix[0].length;j++){
            if (matrix[i][j] == 1){
                row[i] = true
                col[j] = true
            }
        }
    }

    for (int i=0;i<matrix.length;i++){
        for(int j=0;j<matrix[0].length;j++){
            if (row[i] || col[j]){
                matrix[i][j] = 1;
            }
        }
    }
}

This uses more than O(1) space (it uses O(n + m) space). – John Kurlak Sep 02 '14 at 01:46 — John Kurlak, Sep 02 '14 at 01:46

Microsoft Interview: transforming a matrix

5 Answers5

An initial algorithm using O(n) space.

A revised algorithm using O(1) space.

Linked