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