线性方程约束下修正方法的可行性分析（演绎推理，二）

    本文内容接续博客 《线性方程约束下修正方法的可行性分析（演绎推理，一）》

单线性方程约束下修正方法的可行性分析

修正结果与单线性约束问题可行性定理之间的联系

    情况2： 当$\sum _{j=1}^N{a}_{1,j}{x}_{gen,j}<b_1$时，
$\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}\left(x_{gen,j}-{\overline{x}}_j\right)+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}\left(x_{gen,j}-{\underline{x}}_j\right)<0$，其修正解在实数空间上的分布可分如下情况进行讨论：

    情况2.1：当单线性方程约束问题有解时，根据单线性方程约束问题可行性定理可知$\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}{\underline{x}}_j+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}{\overline{x}}_j\le b_1\le \sum _{j=1,a_{1,j}>0}^N{a}_{1,j}{\overline{x}}_j+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}{\underline{x}}_j$，将其代入修正结果，可得
$$\begin{array}{c}{x}_{cor,j}=\{\begin{array}{ll}\frac{b_1-\left(\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}{\overline{x}}_j+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}{\underline{x}}_j\right)}{\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}\left(x_{gen,j}-{\overline{x}}_j\right)+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}\left(x_{gen,j}-{\underline{x}}_j\right)}\left(x_{gen,j}-{\overline{x}}_j\right)+{\overline{x}}_j\in \left[{\underline{x}}_j,{\overline{x}}_j\right]& \left(a_{1,j}>0\right)\\ x_{gen,j}\in \left[{\underline{x}}_j,{\overline{x}}_j\right]& \left(a_{1,j}=0\right)\\ \frac{b_1-\left(\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}{\overline{x}}_j+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}{\underline{x}}_j\right)}{\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}\left(x_{gen,j}-{\overline{x}}_j\right)+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}\left(x_{gen,j}-{\underline{x}}_j\right)}\left(x_{gen,j}-{\underline{x}}_j\right)+{\underline{x}}_j\in \left[{\underline{x}}_j,{\overline{x}}_j\right]& \left(a_{1,j}<0\right)\end{array}\end{array}\text{\hspace{1em}(13)}$$

    情况2.2：当单线性方程约束问题无解时，根据单线性方程约束问题可行性定理可知$b_1<\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}{\underline{x}}_j+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}{\overline{x}}_j$或$b_1>\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}{\overline{x}}_j+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}{\underline{x}}_j$，将其代入修正结果，可得

    情况2.2.1：当$b_1<\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}{\underline{x}}_j+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}{\overline{x}}_j$时
$$\begin{array}{c}{x}_{cor,j}=\{\begin{array}{ll}\frac{b_1-\left(\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}{\overline{x}}_j+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}{\underline{x}}_j\right)}{\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}\left(x_{gen,j}-{\overline{x}}_j\right)+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}\left(x_{gen,j}-{\underline{x}}_j\right)}\left(x_{gen,j}-{\overline{x}}_j\right)+{\overline{x}}_j<{\underline{x}}_j& \left(a_{1,j}>0\right)\\ x_{gen,j}\in \left[{\underline{x}}_j,{\overline{x}}_j\right]& \left(a_{1,j}=0\right)\\ \frac{b_1-\left(\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}{\overline{x}}_j+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}{\underline{x}}_j\right)}{\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}\left(x_{gen,j}-{\overline{x}}_j\right)+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}\left(x_{gen,j}-{\underline{x}}_j\right)}\left(x_{gen,j}-{\underline{x}}_j\right)+{\underline{x}}_j>{\overline{x}}_j& \left(a_{1,j}<0\right)\end{array}\end{array}\text{\hspace{1em}(14)}$$

    情况2.2.2：当$b_1>\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}{\overline{x}}_j+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}{\underline{x}}_j$时
$$\begin{array}{c}{x}_{cor,j}=\{\begin{array}{ll}\frac{b_1-\left(\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}{\overline{x}}_j+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}{\underline{x}}_j\right)}{\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}\left(x_{gen,j}-{\overline{x}}_j\right)+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}\left(x_{gen,j}-{\underline{x}}_j\right)}\left(x_{gen,j}-{\overline{x}}_j\right)+{\overline{x}}_j>{\overline{x}}_j& \left(a_{1,j}>0\right)\\ x_{gen,j}\in \left[{\underline{x}}_j,{\overline{x}}_j\right]& \left(a_{1,j}=0\right)\\ \frac{b_1-\left(\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}{\overline{x}}_j+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}{\underline{x}}_j\right)}{\sum _{j=1,a_{1,j}>0}^N{a}_{1,j}\left(x_{gen,j}-{\overline{x}}_j\right)+\sum _{j=1,a_{1,j}<0}^N{a}_{1,j}\left(x_{gen,j}-{\underline{x}}_j\right)}\left(x_{gen,j}-{\underline{x}}_j\right)+{\underline{x}}_j<{\underline{x}}_j& \left(a_{1,j}<0\right)\end{array}\end{array}\text{\hspace{1em}(15)}$$

    综上所述，单线性方程约束问题有解时，博客《一种线性方程约束下生成随机数修正的一般性方法（上）》中式(11)和(12)所示的修正公式可将任意不满足单线性方程约束的生成随机向量${\mathbf{x}}_{\mathbf{gen}}$，修正为既满足变量上下限约束又满足单线性方程约束的修正向量${\mathbf{x}}_{\mathbf{cor}}$，从而将其作为单线性方程约束问题的其中一个可行解；而单线性方程约束问题无解时，对于任意不满足单线性方程约束的生成随机向量${\mathbf{x}}_{\mathbf{gen}}$，则通过博客《一种线性方程约束下生成随机数修正的一般性方法（上）》中式(11)和(12)所示的修正公式得到的修正向量${\mathbf{x}}_{\mathbf{cor}}$总是无法满足变量上下限约束，恰与单线性方程约束问题无解的条件相印证。

多线性方程约束下修正方法的可行性分析

    多线性方程约束对应于博客《一种线性方程约束下生成随机数修正的一般性方法（上）》、博客《一种线性方程约束下生成随机数修正的一般性方法（中）》、博客《一种线性方程约束下生成随机数修正的一般性方法（下）》中除情况2.2.1以外的所有内容，根据上述博客的结论可知：
    (1) 情况1在$N$维实数空间内无解，必然无法通过上述博客所提修正方法将不可行的生成随机量修正为可行解；
    (2) 情况2.1在$N$维实数空间内有且仅有唯一解，当该唯一解在随机变量的上下界范围时则存在唯一解，否则无解；
    (3) 情况2.2.2.1在$N$维实数空间内有无穷多解，且所提修正方法必然能够在随机变量的上下界范围内生成满足所有线性方程约束的修正解，必然可以通过上述博客所提修正方法将不可行的生成随机量修正为可行解；
    (4) 情况2.2.2.2.1在$N$维实数空间内有无穷多解，但在随机变量的上下界范围内必然无解，必然无法通过上述博客所提修正方法将不可行的生成随机量修正为可行解；
    (5) 情况2.2.2.2.2在$N$维实数空间内有无穷多解，但生成解若能在随机变量的上下界范围内修正为可行解，则须满足博客《一种线性方程约束下生成随机数修正的一般性方法（上）》中的式(19)或博客《一种线性方程约束下生成随机数修正的一般性方法（中）》中的式(25)，否则不能通过单次修正即将不可行的生成随机量修正为可行解。
    综上所述，仅有博客《一种线性方程约束下生成随机数修正的一般性方法（上）》、博客《一种线性方程约束下生成随机数修正的一般性方法（中）》、博客《一种线性方程约束下生成随机数修正的一般性方法（下）》中的情况2.2.2.2.2尚未确定生成随机数修正方法的可行性，因此只需完成针对该情况的讨论分析即可得到所有多线性方程约束下修正方法的可行性分析结果。

多线性方程约束问题可行性定理

    定理2：对于博客《一种线性方程约束下生成随机数修正的一般性方法（上）》式(1)所示问题，若经系数矩阵行最简形变换后的常数向量${\mathbf{b}}_{\mathbf{RREF}}$自第$\left(R+1\right)$列到第$M$列不存在非零元素，且线性方程组对应系数矩阵的秩$1<R<N$时，若存在 k ∈ { 1 , ⋯   , R } k ∈ \{ 1, \cdots, R \} k∈{1,⋯,R}，使得修正后的随机向量中的第$\left(R+1\right)$到第$N$个分量$x_{gen,R+1},\cdots ,x_{gen,N}$无法满足式(16)所示的约束条件
$$\begin{array}{c}{b}_{RREF,k}-{\overline{x}}_k\le {\tilde{b}}_k=\sum _{j=1}^{N-R}{\tilde{a}}_{k,j}{x}_{R+j}\le b_{RREF,k}-{\underline{x}}_k\end{array}\text{\hspace{1em}(16)}$$
则将生成的随机向量${\mathbf{x}}_{\mathbf{gen}}$修正后，随机向量${\mathbf{x}}_{\mathbf{cor}}$可作为该问题可行解的充分必要条件为：${\underline{\tilde{b}}}_{cor,k}\le {\tilde{b}}_{cor,k}\le {\overline{\tilde{b}}}_{cor,k}$，其中：${\tilde{b}}_{cor,k}=\sum _{j=1}^{N-R}{\tilde{a}}_{k,j}{x}_{cor,R+j}$。
    (1) 当$\sum _{j=1}^{N-R}{\tilde{a}}_{k,j}{x}_{gen,R+j}>b_{RREF,k}-{\underline{x}}_k$时，
$$\begin{array}{c}\begin{array}{rl}{\underline{\tilde{b}}}_{cor,k}& =\underset{i=1}{\overset{R}{\max }}\left[{\underline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right),{\underline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)\right]\\ {\overline{\tilde{b}}}_{cor,k}& =\underset{i=1}{\overset{R}{\min }}\left[{\overline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right),{\overline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)\right]\end{array}\end{array}\text{\hspace{1em}(17)}$$
    当$\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)$与$\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)$同号时，${\underline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)$、${\overline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)$、${\underline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)$、${\overline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)$分别满足
$$\begin{array}{c}\begin{array}{rl}{\underline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)& =\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}\right)+\frac{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}\times \left[\left(\sum _{j=1,{\tilde{a}}_{i,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{i,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i,j}{x}_{gen,R+j}\right)\right]\\ {\overline{\tilde{b}}}_{cor,k}^{\prime }\left(i\right)& =\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}\right)+\frac{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}\times \left[\left(\sum _{j=1,{\tilde{a}}_{i,j}>0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{i,j}<0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i,j}{x}_{gen,R+j}\right)\right]\\ {\underline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)& =\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}\right)+\frac{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}\times \left[\left(b_{RREF,i}-{\overline{x}}_i\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i,j}{x}_{gen,R+j}\right)\right]\\ {\overline{\tilde{b}}}_{cor,k}^{\prime \prime }\left(i\right)& =\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}\right)+\frac{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{k,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}{\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\underline{x}}_{R+j}\right)+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}\left(x_{gen,R+j}-{\overline{x}}_{R+j}\right)}\times \left[\left(b_{RREF,i}-{\underline{x}}_i\right)-\left(\sum _{j=1,{\tilde{a}}_{k,j}>0}^{N-R}{\tilde{a}}_{i,j}{\underline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}<0}^{N-R}{\tilde{a}}_{i,j}{\overline{x}}_{R+j}+\sum _{j=1,{\tilde{a}}_{k,j}=0}^{N-R}{\tilde{a}}_{i,j}{x}_{gen,R+j}\right)\right]\end{array}\end{array}\text{\hspace{1em}(18)}$$

    剩余内容参见博客 《线性方程约束下修正方法的可行性分析（演绎推理，三）》