我们知道要减少搜索时间,在多项式时间内找到最优解一般有三种方法,第一种方法用的最多就是通过添加有效约束边界(cutting plane),从而减少搜索域,从而缩短搜索时间;第二种方法是使用问题结构,将它转化为其他的问题,比如说Dantzig-Wolfe decomposition方法。第三种则是使用Extend Formulation,通过添加新的变量,从而松弛不等式的方法。实际上,EF方法就是使用一些还没有使用的条件来约束有效解,通过构造新的变量,从而实现了将隐藏条件转化成有效约束的过程。下面将举一个ULSP的问题来具体说明这一方法。
首先,给出proj,也就是映射的定义。
![77306b36a8dadef2ecabdff4a898a237.png](https://i-blog.csdnimg.cn/blog_migrate/a2d81f3391d861d7ad5f194b0909b845.jpeg)
然后是EF方法。
![86cbe2735e803b77f19ae1714d86446d.png](https://i-blog.csdnimg.cn/blog_migrate/017d25b39fb01e47b86fc51fc2197bd0.png)
下面具体描述ULSP-a问题。
![b68330cf136e78f80b8aa22939e93707.png](https://i-blog.csdnimg.cn/blog_migrate/2801a2016aa24492feb588ff3d803a58.jpeg)
可以看出,这是一个生产计划的优化问题,
![accac56568c7dd07247211371e709296.png](https://i-blog.csdnimg.cn/blog_migrate/8285e8976ae400612e15fd49b7b6b884.jpeg)
于是我们目标函数就是成本最低。约束条件有,t时刻收支平衡,
![fbfa37549596a7dda87f5826854e58d3.png](https://i-blog.csdnimg.cn/blog_migrate/2fb67e848dba60612ec0e39e82f0f7cd.jpeg)
![99431c609ada920b840223db58f5d90a.png](https://i-blog.csdnimg.cn/blog_migrate/92ea859b8d88746b88868b9dcc8d74e9.jpeg)