给出一个由‘O’和‘X’组成的矩阵，在矩阵中的所有‘X’所在的行、列都需要变成‘O’。 如果在矩阵边界上的‘O’所在的行、列被‘X’包围，则这些‘O’也需要变成‘X’。

这个问题是一个经典的矩阵变换问题，可以使用DFS或BFS算法来解决。

具体步骤如下：

1. 遍历矩阵，把所有边界上的‘O’以及与边界相邻的‘O’标记为特殊字符‘#’，表示这些‘O’不需要变成‘X’。

2. 再次遍历矩阵，把所有没有被标记为‘#’的‘O’都变成‘X’，同时把标记为‘#’的‘#’改回‘O’。

以下是Python实现代码示例：

def solve(matrix):
    if not matrix or not matrix[0]:
        return
    
    m, n = len(matrix), len(matrix[0])
    
    # 标记边界上的O以及与边界相邻的O
    def dfs(i, j):
        if i < 0 or i >= m or j < 0 or j >= n or matrix[i][j] != 'O':
            return
        matrix[i][j] = '#'
        dfs(i + 1, j)
        dfs(i - 1, j)
        dfs(i, j + 1)
        dfs(i, j - 1)
        
    for i in range(m):
        dfs(i, 0)
        dfs(i, n - 1)
    for j in range(1, n - 1):
        dfs(0, j)
        dfs(m - 1, j)
    
    # 把未标记的O变成X，已标记的#改回O
    for i in range(m):
        for j in range(n):
            if matrix[i][j] == 'O':
                matrix[i][j] = 'X'
            elif matrix[i][j] == '#':
                matrix[i][j] = 'O'

注意：这里使用了DFS算法，也可以使用BFS算法来实现。