设变量x,y满足约束条件y>=0.x-y+1>=0.x+y-3