18.2.1 计算可行化松弛