LC 48. Rotate Image 矩阵变换

You are given an n x n 2D matrix representing an image.

Rotate the image by 90 degrees (clockwise).

Note:
You have to rotate the image in-place, which means you have to modify the input 2D matrix directly. DO NOT allocate another 2D matrix and do the rotation.

Example 1:

Given input matrix = 
[
  [1,2,3],
  [4,5,6],
  [7,8,9]
],

rotate the input matrix in-place such that it becomes:
[
  [7,4,1],
  [8,5,2],
  [9,6,3]
]

Example 2:

Given input matrix =
[
  [ 5, 1, 9,11],
  [ 2, 4, 8,10],
  [13, 3, 6, 7],
  [15,14,12,16]
], 

rotate the input matrix in-place such that it becomes:
[
  [15,13, 2, 5],
  [14, 3, 4, 1],
  [12, 6, 8, 9],
  [16, 7,10,11]
]

先考虑这样一个问题，对于 n 维矩阵中坐标为  ( i , j ) 的点，经过题中所述的变换，新的坐标是多少呢？问题转化为求变换坐标函数 f ( i, j, n). 回想高中的数学题，描述一个旋转图形得到的点的坐标，有一种方法就是变换坐标系，在这里就是旋转坐标系。正常的平面直角坐标系中的图形经过题目中所述的变换，其实就相当于将直角坐标系经过如下旋转，从Oxy变换到Ox'y'：

从图中不难看出，变换函数为 f ( x , y , n ) = ( y , n - x ). 因为n维矩阵的下标为 0 .. n - 1， 所以矩阵中的变换函数为 f ( i , j , n ) = ( j , n - i - 1 )。那么怎么用代码操作又方便有快速的实现对矩阵中所有点的转换呢？第一眼没有发现规律的话只能用笨办法，我一开始就是那么做的，代码比较复杂也不容易看到，这里简单介绍一下我解法一的代码：

void rotate(vector<vector<int>>& matrix) {
    int n = (int)matrix[0].size();
    int row, col, nextRow, nextCol, old, pre, count=0;
    while(n > 1) {
        for (int i=0; i<n-1; i++) {
            row =  0;
            col =  i;
            pre = matrix[count + row][count + col];
            for (int j=0; j<4; j++) {
                nextRow = col;
                nextCol = n - row - 1;
                old = matrix[count + nextRow][count + nextCol];
                matrix[count + nextRow][count + nextCol] = pre;
                cout<<count+nextRow<<" "<<count+nextCol<<endl;
                pre = old;
                row = nextRow;
                col = nextCol;
            }
        }
        n-=2;
        count++;
    }
}

这段代码实现的我一开始很直接的想法，就是从矩阵最外圈开始逐层往里变换。n -= 2控制了每一层的矩阵维度，count用来作为坐标的基准调整，因为变换函数对于内圈的坐标是无效的，必须模拟每次内圈在没有外圈的情况下的坐标变换情况再加上count作为补偿得到真正的坐标，这也就是最内圈循环中有 count + row 之类的操作。最内层的循环走4步，等于将最外圈对应位置的点轮转一圈。第一个 for 循环控制选择同一行上的点作为循环的起始点。pre 和 old 的类似对单向链表的操作实现单向循环。

解法二我是在看了LC别人的做法之后明白的，原作者没有写这么做的原因，但是有了上面的变换函数可以很轻松的理解。代码：

void rotate(vector<vector<int>>& m) {
        int n = m.size();
        
        for(int i=0; i<n; i++)
            for(int j=0; j<i; j++)
                swap(m[i][j], m[j][i]);
        
        for(int i=0; i<n; i++)
            reverse(m[i].begin(), m[i].end());
    }

首先，

swap(m[i][j], m[j][i])

这行代码的含义是求矩阵的转置，也就是完成 ( i , j ) -> ( j , i )。接下来为了将函数继续变换成 ( j , n - i - 1 )，仔细观察 n - i - 1 是如何在代码中体现的，就是对所有行完成倒置，因为列数为 i 的点在n维向量中经过reverse之后列数就变成了 n - i - 1。经历了这番思考，我终于明白了这段代码的意义，也给了我一个启发，在处理变换问题的时候有时可以高度依赖数学方法，先求出变换坐标的函数，然后用常见的变换方式组合实现目标变换，例如这里用到了转置和逐行倒置。通过这道题我感受到了数学和代码的结合的美感，真的很有意思。