FarkasDual

类型:	双
修改:	没有

在一起,属性FarkasDual和FarkasProof对给定的问题提供一份不可行的证明。具体来说，它们可以由原来微不足道的不可行的约束形成以下不等式:

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

在哪里 $ < /美元跨度> \β> 0 美元$ ，变量的下界是多少，变量的上界是多少， $ < /美元跨度> \ lambda_i \组0 美元$ 如果第一个约束有a $ \ leq美元美元 $ 意义上说, $ < /美元跨度> \ lambda_i \ leq美元0 $ 如果第一个约束有a $ < /美元跨度> \组 美元$ 意义上说, $ < /美元跨度> \酒吧{一}_j \组0 美元$ 如果 $ < /美元跨度> U_j = \ infty 美元$ , $ < /美元跨度> \酒吧{一}_j \ leq 0 美元$ 如果 $ < /美元跨度> L_j = - \ infty 美元$ ．这一约束对任何一个都不能满足 $ < /美元跨度> \β> 0 美元$ ．FarkasProof属性提供了 $ \美元美元β $ ， FarkasDual属性提供 $ < /美元跨度> \λ 美元$ 原约束的乘数。

此属性仅在parameter时可用InfUnbdInfo设置为1。

有关如何查询或修改属性的示例，请参阅我们的属性的例子．