manbet体育手机客户端

过滤内容,
版本
文本搜索
$ {sidebar_list_label}- - - - - -回来
语言
$ {item.name}
下一个 向上 以前的
下一个: TuneResultCount : 模型属性 前一: KappaExact


FarkasProof

类型: 双
修改: 没有

在一起,属性FarkasDual和FarkasProof给定不可行问题提供一个证书的不可行性。具体地说,FarkasDual可用于下列不等式从原来的约束形式是不可行的范围内变量:

< span > < / span > \美元税收\ leq \λλ^ ^结核病。< span > < / span >美元

这法卡斯约束是有效的,因为< span > < / span > \ lambda_i \美元组0 < span > < / span >美元如果< span > < / span >美元我< span > < / span >美元th约束有一个< span > < / span > \美元leq < span > < / span >美元意识和< span > < / span > \ lambda_i \ leq美元0 < span > < / span >美元如果< span > < / span >美元我< span > < / span >美元th约束有一个< span > < / span > \美元组< span > < / span >美元有意义的。

让

< span > < / span > \美元酒吧{一}:λ= \ ^ tA < span > < / span >美元

是这个不等式的系数

< span > < / span > \美元酒吧{b}:λ= \ ^结核病< span > < / span >美元

是它的右手边。与< span > < / span >美元L_j < span > < / span >美元和< span > < / span >美元U_j < span > < / span >美元变量的上下界限< span > < / span >美元x_j < span > < / span >美元我们有< span > < / span > \美元酒吧{一}_j \组0 < span > < / span >美元如果< span > < / span > U_j美元= \ infty < span > < / span >美元,< span > < / span > \美元酒吧{一}_j \ leq 0 < span > < / span >美元如果< span > < / span > L_j美元= - \ infty < span > < / span >美元。

最低违反法卡斯约束是通过设置< span > < / span > x ^ * _j:美元= L_j < span > < / span >美元为< span > < / span > \美元酒吧{一}_j > 0 < span > < / span >美元和< span > < / span > x ^ * _j:美元= U_j < span > < / span >美元为< span > < / span > \美元酒吧{一}_j < 0 < span > < / span >美元。然后,我们可以计算出最低违反

< span > < / span > \美元β:={一}^ \酒吧tx ^ * -酒吧\ {b} = \ \ limits_总和{一}{j: \酒吧_j > 0}{一}\酒吧_jL_j + \总和\ limits_ {j: \酒吧{一}_j < 0} \酒吧{一}_jU_j——\酒吧{b} < span > < / span >美元

在哪里< span > < / span > \美元β> 0 < span > < / span >美元。

的FarkasProof属性提供了< span > < / span > \美元β< span > < / span >美元,FarkasDual属性提供了< span > < / span > \美元λ< span > < / span >美元乘数为原来的约束。

这些属性是只有当参数InfUnbdInfo设置为1。

如何查询或修改属性的例子,请参阅我们的属性的例子。

下一个 向上 以前的
下一个: TuneResultCount : 模型属性 前一: KappaExact