【数学建模】天然肠衣搭配问题衍生问题/线性规划限制条件建立问题

前景回顾/提出问题

回顾1

首先回顾一下DVD在线租赁问题
在 question2中，需要保证每个人都不会收到自己不喜欢的DVD，即客户在线订单数为0时候，不可以租给他。我直接给出答案了:
$x_{ij}\le orde{r}_{ij},i=1,2,3,..n,j=1,2,3,..m$

实际思路其实是
如果$orde{r}_{ij}=0$,那么 $x_{ij}=0$, 也就是说客户不喜欢我决定不租
反之$orde{r}_{ij}>0$,那么 $x_{ij}=0/1$,也就是说客户喜欢我自己决定租还是不租。

列表找规律还是尝试不同的不等式都可以在比较短的时间内想出正确答案。

回顾2/问题提出

接下来回顾一下天然肠衣搭配问题
其中手动进行局部最优解的时候，还有一个附带问题:
已知原料能捆137个成品三，那么用到最少种配方数是多少？
例如我用到了73种配方我就可以完成137个成品三，那么同样是做137个成品三，就比用到100种配方少。

当时求最多能捆多少个成品三的模型为:
设使用方案$i$的次数为$y_i$，原料按长度由小到大的总个数依次为 $d_1{d}_2,...,d_n$
方案总数为$a$;方案$i$使用第$j$种原料数量为$z_{ij}$
对于每一个原料我们都得
$d_i\ge {\sum }_{1\le j\le a}{y}_j\ast z_{ji},1\le i\le n$
求 $\max {\sum }_{1\le i\le a}{y}_i$

现在$\max \sum _{i=1}^a{y}_i$变成了$\sum _{i=1}^a{y}_i=137$
求解问题也变成了求 $\max \sum _{i=1}^a{y}_i>0$
如果借鉴DVD在线租赁问题的思路就是，$f_i$为0/1变量
如果$y_i>0$,那么 $f_i=1$ ,用了这种配方就
反之$y_i=0$,那么 $f_i=0/1$ ， 没用这种配方
求$\min \sum _{i=1}^a{f}_i$
因为是求最小值($f_i$自动取最小的那一个)，所以实际上如果$y_i=0$,那么 $f_i=0$是绝对成立的

但这一次就没那么简单了，不是简单的 $y_i\le f_i$ 或者 $y_i\ge f_i$，所以不能轻易的得出答案
所以问题就是这个限制条件怎么写？

解决前提

1.不能破坏线性规划模型，即不能出现变量和变量相乘的情况
2.
如果$y_i>0$,那么 $f_i=1$ ,用了这种配方就
反之$y_i=0$,那么 $f_i=0/1$ ， 没用这种配方
解决上面描述很容易想到用 $if$语句，这里也不可以,也就是下面这种模型
$f_i=\{\begin{array}{l}1,y_i>0\\ 1,y_i=0\end{array}$

解决方法

坐标轴(区间)法

线性规划中 $a\le b$和$a\ge b$是最常用的，也是能很好的约束
基本概念
$\le a$和 $\ge a$分别是蓝色线和红色线表示的区间

解决天然肠衣搭配问题
那么变形一下上面的判断描述
如果$y_i>0$,那么 $f_i=1$ ,用了这种配方就
反之$y_i\le 0$,那么 $f_i=0/1$ ， 没用这种配方
如果定义$\ge y$,$y$分$y_1>0$和$y_2=0$
就会出现以下两个区间，红色:$\ge y_2$ , 蓝色:$\ge y_1$

通过画图分析发现蓝色区间不包含0，也就是说只要我$y_i>0$ 时候,要求 $f_i>y_i$就能限制住$f_i>0$，即$f_i$不可能有0的取值了
而红色区间，带入同样的限制$f_i>y_i$，得到$f_i\ge 0$，即$f_i=0/1$和我们描述相符
现在问题就来了，虽然$y_i>0$ 时候$f_i$不可能有0的取值了但也不能取1！
也就是说我$f_i$还必须落在蓝色区域里，如果$y_i\le +\infty$那就完蛋了，满足的式子只有$f_i{y}_i>y_i$或者$y_i\le +\infty f_i$，分别不满足解决前提2和不现实
但已知还有一个条件$\sum _{i=1}^a{y}_i=137$，可以得出$y_i\le 137$
那么 $137f_i>y_i$ 这个限制条件就可以让,$f_i$取1。
综上所述，$137f_i$当$f_i=1$落在蓝色和红色区间，但当$f_i=0$只落在红色区间，也就完成了线性的限制约束条件。

这时候同样的方法重做DVD在线租赁问题
已知:
如果$orde{r}_{ij}=0$,那么 $x_{ij}=0$, 也就是说客户不喜欢我决定不租
反之$orde{r}_{ij}>0$,那么 $x_{ij}=0/1$,也就是说客户喜欢我自己决定租还是不租。
改变加简化为
如果$o{r}_i\le 0$,那么 $x_i=0$, 也就是说客户不喜欢我决定不租
反之$o{r}_i>0$,那么 $x_i=0/1$,也就是说客户喜欢我自己决定租还是不租。

因为限制$o{r}_i\le 0$时候$x_i$不能取1，所以在数轴上画出0坐标，考虑如果区间是往右延申是不会包括1的，所以定义$\le o{r}_i$

注意：定义和最终限制往往是同号！

通过图分析可得$x_i\le o{r}_i$是满足条件的约束，并且也不存在说如果$o{r}_i\le +\infty$那就完蛋了因为$x_i\le o{r}_i\le +\infty$

而上面的是需要 $y_i\le f_i$ ，只能$y_i\le +\infty f_i\le +\infty$，明显是无法求解的

总结

线性规划的条件可以利用区间来表示范围，数轴则是更加清晰
0/1变量两个取值实际上就是数轴上的两个点
例如$a{f}_i+b$，当$f_i$取0/1实际上就是b和a+b两个点
而$\le$和$\ge$表示是区间
一般分析过后适当做线性变化即可得到想要的线性限制条件