问题：n皇后问题。 要求：采用回溯算法求解以上问题（非递归算法）。 1、请用伪码描述该算法。 2、请截图显示实现该算法的c语言代码。 3、请写出该算法的显约束、隐约束（约束条件）。 4、请画出解空间结构，其属于哪种解空间结构？

n皇后问题是经典的计算机科学问题，目标是在一个 n×n 的棋盘上放置 n 个皇后，使得任意两个皇后都不在同一行、同一列或对角线上。以下是使用回溯算法解决这个问题的一个非递归版本的伪码描述：

function nQueens(n):
    solution = []
    board = [] * n     // 创建一个空的二维数组表示棋盘

    backtrack(board, 0):  
        if all_valid(board, i) and reached_last_row(board):   // 检查是否到达最后一行
            solution.append(board.copy())                  // 找到有效解，添加到结果列表
            for next_column in range(n):                   // 从下一行开始尝试下一个位置
                place_queen(board, i+1, next_column)
        else:
            remove_queen(board, i)                         // 当前行无法继续，回溯并移除最后一个皇后

    backtrack(board, 0)                                // 开始回溯过程，i 为初始皇后列数

function all_valid(board, row):
    for col in range(row):
        if board[row][col] == 1 or diagonal_difference(board, row, col) == 0:
            return False
    return True

function reached_last_row(board):
    return len(board) - 1 == board[-1].count(0)

function place_queen(board, row, col):
    board[row][col] = 1
    if not all_valid(board, row):
        remove_queen(board, row)

function remove_queen(board, row):
    board[row][board[row].index(1)] = 0

对于C语言代码实现，因为这里不允许直接提供截图，你可以参考网上相关的教学资源或者GitHub上的代码库。然而，重要的是理解上面的伪代码逻辑。

显约束包括：
1. 每行只能放置一个皇后。
2. 每列只能放置一个皇后。
3. 对角线上的格子不能放置皇后。

隐约束是通过`all_valid`函数检查的：
1. 相邻列的格子不能放置皇后。
2. 对角线上的格子距离差等于0的格子不能放置皇后。

解空间结构是一种树形结构，每个节点代表一个决策状态，即每一行放置皇后的可能性。由于存在回溯，所以这是一种剪枝搜索树，也称为分支限界法。