半无限规划

semi-infinite programming