FarkasProof

类型:	双
修改:	没有

在一起,属性FarkasDual和FarkasProof提供一份证明，证明所给问题的不可行性。

它们是以下系统的一个解决方案:

$\begin{displaymath}\bar{a}x = \lambda^tAx \leq \lambda^tb = -\beta + \sum\limits... ...{一}_j < 0} \酒吧{一}_iU_j + \总和\ limits_{一}{我:\酒吧_j > 0} \酒吧{一}_jL_j \ {displaymath}结束$

在哪里变量的下界是多少，变量的上界是多少， $ < /美元跨度> \ lambda_i \组0 美元$ 如果第一个约束有a $ \ leq美元美元 $ 意义上说, $ < /美元跨度> \ lambda_i \ leq美元0 $ 如果第一个约束有a $ < /美元跨度> \组 美元$ 意义上说, $ < /美元跨度> \酒吧{一}_j \组0 美元$ 如果 $ < /美元跨度> U_j = \ infty 美元$ , $ < /美元跨度> \酒吧{一}_j \ leq 0 美元$ 如果 $ < /美元跨度> L_j = - \ infty 美元$ 。