用回溯法求下列不等式的所有的整数解.要求给出伪码和解. X1+4X2+2X3<=12 X1,X2,X3为负整数

用回溯法求解给定不等式的所有整数解，通常用于解决组合优化问题，例如在这个例子中找到满足条件 `X1 + 4X2 + 2X3 <= 12` 的所有负整数解。这里是一个简单的伪代码描述：

function backtrack(X1=0, X2=-1, X3=-1, current_sum=0):
    if current_sum > 12 or X1 < 0 or X2 < 0 or X3 < 0:
        return   // 如果当前解不符合限制，结束递归
    if current_sum == 12 and X1 >= 0 and X2 >= 0 and X3 >= 0:
        print([X1, X2, X3])   // 找到一个解，输出
    else:
        for i in range(-1, -min([-current_sum // 4, -X2, -X3] + [1])):
            // 尝试增加下一个变量
            backtrack(X1, X2+i, X3+(i*2), current_sum+i)

backtrack()

这个算法从最小的负数值开始尝试填入变量 `X1`, `X2`, 和 `X3`，每次递归时检查是否超出不等式边界。如果达到目标总和且变量都是非负整数，则找到了一个解。