自由变量和约束变量