用回溯法求下列不等式的所有整数解,要求给出伪码和解{3x1+4x2+2x3<=12 x1,x2,x3为非负整数

以下是用回溯法求解不等式的伪代码：

Backtrack(n, x, s)
    if n == 0 then
        if 3x[1] + 4x[2] + 2x[3] <= 12 then
            print x
    else
        for i = 0 to s[n] do
            x[n] = i
            Backtrack(n-1, x, s)

其中，`n` 表示当前正在处理的变量，`x` 是一个数组，存储当前的解，`s` 是一个数组，表示每个变量的取值范围。

在本题中，我们只需要处理三个变量，所以 `n = 3`，每个变量的取值范围都是非负整数，即 `s = [12, 3, 6]`。这里，我们根据不等式左边的系数，分别计算出每个变量的最大取值范围。

按照上述伪代码，我们可以得到以下所有满足不等式的整数解：

[0, 0, 0]
[0, 0, 1]
[0, 0, 2]
[0, 0, 3]
[1, 0, 0]
[1, 0, 1]
[1, 0, 2]
[2, 0, 0]
[2, 0, 1]
[3, 0, 0]
[0, 1, 0]
[0, 1, 1]
[0, 2, 0]
[1, 1, 0]
[1, 1, 1]
[2, 1, 0]
[0, 3, 0]
[1, 2, 0]
[2, 0, 2]
[2, 1, 1]
[3, 0, 1]
[3, 1, 0]

以上就是用回溯法求解不等式的整数解的过程和结果。