Farkas-Lemma

Ist ein Alternativsatz.

Genau eines der beiden Systeme hat eine Lösung:

Ax=bAx=b x≥0x\geq 0

und

ATy≥0A^Ty\geq 0 bTy<0b^Ty<0