変数とそれに対応する１次式の組が複数ある時、変数が0以上であり式も0以上である必要がある さらに、変数または式のどちらかが0である必要がある というような問題を線形相補性問題と呼びます。 例えば 2x+y-1=0 または x=0 2y-2=0 または y=0 2x+y-1≧0 かつ x≧0 2y-2≧0 かつ y≧0 みたいな 詳しくは「線形相補性問題」で検索 または「lemke github」で検索
