运筹学基础（四）：单纯形法中检验数（reduced cost）的理解

前言

在前文运筹学基础（一）求解线性规划的单纯形法详解
中，我们直观的理解了单纯形法其实是在可行域的顶点上搜索的过程。（这篇文章没有通过列单纯形表来讲述，而是选择了一种更符合直觉的方式，我觉得这对于初学者而言是更好理解的。单纯形表感觉还是有点绕…）

提到单纯形法，就不得不提一下检验数了，前文一带而过了，这篇文章单独拎出来聊一下。因为未来的学习中，很多更高阶的内容还会涉及到检验数的概念。

检验数理解

直观理解

检验数的直观理解就是，减少或增大某个变量的值，会给目标函数值带来多大的影响。

在$minimize$问题中，如果存在检验数为负的非基变量，则说明仍然存在变量可以进一步增大，从而使得目标函数值减小。

同理，在$maximize$问题中，如果存在检验数为正的非基变量，则说明仍然存在变量可以进一步增大，从而使得目标函数值增大。

数学证明

为什么上述理解是对的？我们通过简单的数学推导来证明一下。其实挺简单的，请耐心的看完。

假设我们的问题是一个$minimize$问题：

$$\begin{gathered} min{c}^{T}x \\ s.t.Ax=b \\ x\ge 0 \end{gathered}$$

我们将$x$表示为基变量（一个基本解的组成部分）和非基变量（不是基本解的组成部分，可以自由改变的）：
$$x=[x_B,x_N]$$
其中$x_B$表示基变量，$x_N$表示非基变量。

类似的，我们将成本系数表示为：
$$c^T=[c_B^T,c_N^T]$$
将资源系数表示为：
$$A=[B,N]$$

开始转化：

1. 通过$Ax=b$推导出$x_B$的表示方式：
   $$\begin{gathered} Ax=b \\ B{x}_B+N{x}_N=b \\ B{x}_B=b-N{x}_N \\ {B}^{-1}B{x}_B=B^{-1}b-B^{-1}N{x}_N \\ {x}_B=B^{-1}b-B^{-1}N{x}_N \end{gathered}$$
2. 将$x_B$带入目标函数：
   $$\begin{gathered} min{c}^{T}x= \\ {c}_B^T{x}_B+c_N^T{x}_N= \\ {c}_B^T(B^{-1}b-B^{-1}N{x}_N)+c_N^T{x}_N= \\ {c}_B^T{B}^{-1}b+(c_N^T-c_B^T{B}^{-1}N)x_N \end{gathered}$$

非基变量的系数$c_N^T-c_B^T{B}^{-1}N$即为检验数（reduced cost）！

可以看到在$minimize$问题中，如果检验数为负数，则说明通过增加某一个非基变量的值，还可以进一步的减小目标函数值。