变量取0或1的规划是整数规划。