什么是对偶问题

什么是对偶问题
任何一个求极大化的线性规划问题都有一个求极小化的线性规划问题与之对应，反之亦然，如果我们把其中一个叫原问题，则另一个就叫做它的对偶问题，并称这一对互相联系的两个问题为一对对偶问题。

生产计划问题（资源利用问题）

胜利家具厂生产桌子和椅子两种家具。桌子售价50元/个，椅子销售价格30/个，生产桌子和椅子要求需要木工和油漆工两种工种。生产一个桌子需要木工4小时，油漆工2小时。生产一个椅子需要木工3小时，油漆工1小时。该厂每个月可用木工工时为120小时，油漆工工时为50小时。问该厂如何组织生产才能使每月的销售收入最大？

数学模型

          max g=  50x1 + 30x2                                               

          s.t.     4x1 + 3x2 <=120  

                  2x1 + x2 <=50

                  x1,x2 =>0

如果我们换一个角度，考虑另外一种经营问题。 假如有一个企业家有一批等待加工的订单，有意利用该家具厂的木工和油漆工资源来加工他的产品。因此，他要同家具厂谈判付给该厂每个工时的价格。可以构造一个数学模型来研究如何既使家具厂觉得有利可图肯把资源出租给他，又使自己付的租金最少？

假设  y1,  y2 分别表示每个木工和油漆工工时的租金，则所付租金最小的目标函数可表示为：

                  min  s = 120 y1 + 50 y2

目标函数中的系数 120，50 分别表示可供出租的木工和油漆工工时数。

该企业家所付的租金不能太低，否则家具厂的管理者觉得无利可图而不肯出租给他。因此他付的租金应不低于家具厂利用这些资源所能得到的利益：

                   4 y1 + 2y2 =>50

                   3 y1 + y2 =>30

                   y1, y2 =>0

得到另外一个数学模型

              min  s = 120  y1 + 50 y2

              s.t.       4 y1 + 2y2=> 50

                        3 y1+ y2 =>30

                        y1, y2 =>0

这两个模型既有区别又有联系。联系在于它们都是关于家具厂的模型并且使用相同的数据，区别在于模型反映的实质内容是不同的。模型1是站在家具厂经营者立场追求销售收入最大，模型2是则站在家具厂对手的立场追求所付的租金最少。如果模型1称为原问题，则模型2称为对偶问题。任何线性规划问题都有对偶问题，而且都有相应的意义。

线性规划的对偶关系：

数学模型

(1).Max  S = C x

s.t.   Ax <= b

        x=> 0

(2).Min  G= yb

   s.t.   yA=>C

          y=> 0

称作互为对偶问题。其中一个称为原问题，另一个称为它的对偶问题。

该问题为原始问题：

min S=12x1+8x2 +16x3+12x4       

s.t.       2x1+  x2 +4x3         =>  2

            2x1+2x2           + 4x4  => 3

             x1，x2 ， x3 ， x4  => 0

min S=12x1+8x2 +16x3+12x4 

s.t.       2x1+  x2 + 4x3    => 2      y1

          2x1+ 2x2 +   4x4 => 3      y2

          x1，x2 ， x3 ， x4 => 0

该问题的对偶问题为：

max g = 2y1 + 3y2

s.t.     2y1 + 2y2 <= 12

         y1 + 2y2 <= 8

            4 y1 <= 16

            4y2 <= 12

         y1，y2 => 0

max S = 10x1 + x2  + 2x3

s.t.     x1 +  x2 + 2x3 <= 10     y1

       4x1 + 2x2 -  x3 <= 20     y2

           x1，x2 ， x3 => 0

min g = 10 y1 + 20 y2

s.t.     y1 + 4y2 => 10

        y1 + 2y2 =>1

      2 y1 -   y2 => 2

        y1，y2 => 0

写出下列线性规划问题的对偶问题

           min S = 2x1 + 3x2 - 5x3

s.t.         x1+  x2 -    x3 => 5

            2x1          +  x3    = 4

             x1，x2 ， x3 => 0

min S = 2x1 + 3x2 - 5x3

s.t.           x1+  x2 -    x3 => 5        y1

             2x1        +  x3 => 4      y2’

           -2x1          - x3 =>-4       y2”

               x1，x2 ， x3 => 0

max g = 5 y1+ 4y2’- 4y2”

s.t.          y1 +2y2’- 2y2” <= 2

           y1          <= 3

          -y1 + y2’- y2”    <= -5

           y1， y2’，y2” =>0

令y2 = y2’- y2” 得到:

        max g = 5 y1 + 4y2

s.t.         y1 + 2y2 <= 2

              y1  <= 3

         -y1+  y2  <= -5

y1 => 0 ，y2 无非负约束。

此类问题称为非对称型对偶问题。前面的问题称为对称型对偶问题。若原规划中有等式约束,则与之对应的对偶变量无非负限制。根据对偶规划的对称性,若原规划某个变量无非负限制,则与之对应的对偶约束为等式约束。

zz from http://www.caogenit.com/caogenxueyuan/yingyongfangxiang/rengongzhineng/1361.html