用C语言编写根据9×9盘面上的已知数字，推理出所有剩余空格的数字，并满足每一行、每一列、每一个粗线宫内的数字均含1-9，不重复。

这是一个数独问题，可以使用回溯算法来解决。以下是一个基本的解决方案：

1. 创建一个9×9的矩阵来表示数独盘面。
2. 遍历整个矩阵，找到未填写的格子。
3. 对于每个未填写的格子，从1到9尝试填入数字。
4. 检查填入的数字是否满足数独规则，即该数字在该行、该列和该宫内不存在重复。
5. 如果满足规则，则继续递归填写下一个格子。
6. 如果不满足规则，则回溯到上一个格子，重新尝试填入数字。
7. 如果全部格子都填写完毕，且满足数独规则，则成功解决问题。

以下是一个基本的伪代码实现：

function solveSudoku(board):
    for row from 0 to 8:
        for col from 0 to 8:
            if board[row][col] == 0:
                for num from 1 to 9:
                    if isValid(board, row, col, num):
                        board[row][col] = num
                        if solveSudoku(board):
                            return true
                        board[row][col] = 0
                return false
    return true

function isValid(board, row, col, num):
    for i from 0 to 8:
        if board[row][i] == num:
            return false
        if board[i][col] == num:
            return false
        if board[3 * (row / 3) + i / 3][3 * (col / 3) + i % 3] == num:
            return false
    return true

在这个代码中，`solveSudoku`函数递归地填写数独盘面，`isValid`函数用于检查填写的数字是否满足数独规则。