Farkasdual.

类型：	双倍的
可修改：	不

一起，属性Farkasdual.和Farkasproof.提供给定问题的不可行性证书。具体而言，它们可用于从琐碎的原因中形成以下不等式，这是微不足道的：

$ $ \ bar {a} x = \ lambda ^税\ leq \ lambda ^ tb = - \ beta + \ sum \ limits_ {j：\ bar {a} _j <0} \ bar {a} _ju_j + \ sum \ limits_ {j：\ bar {a} _j> 0} \ bar {a} _jl_j， $ $

在哪里 $ $ \ beta> 0 $ $ 那 $ l_j $ 是变量的下限 $ x_j $ 那 $ u_j $ 是变量的上限那 $ $ \ lambda_i \ geq 0 $ $ 如果是 $ i $ -th约束有一个 $ $ \ leq $ $ 感觉， $ $ \ lambda_i \ leq 0 $ $ 如果是-th约束有一个 $ $ \ geq $ $ 感觉， $ $ \ bar {a} _j \ geq 0 $ </ spr>$ 如果 $ $ u_j = \ idty $ $ ，和 $ $ \ bar {a} _j \ leq 0 $ $ 如果 $ $ l_j = - \ idty $ $ 。这种约束对任何一个都不能满足 $ $ \ beta> 0 $ $ 。FarkasProof属性提供 $ $ \ beta $ $ ，和farkasdual属性提供 $ $ \ lambda $ $ 乘法器用于原始约束。

此属性仅在参数时可用infunbdinfo.设置为1。

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