约束替代规划

surrogate programming