0-1整数规划模型1