Farkas' Lemma

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

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

如何理解 Farkas 引理？ - 知乎