Farkas' Lemma

在约束求解中常见的一种表述是：

如果 $Ax\le b$ 是可满足的，则 $Ax\le b⟹cx\le \delta$ 当且仅当存在一个非负向量 $\lambda$ 使得 $\lambda A=c$ 并且 $\lambda b\le \delta$

See Also

• 如何理解 Farkas 引理？ - 知乎