Bir doğrusal programlama probleminin eniyi çözümünde,

• i.nci asıl kısıtın boşluk değişkeni > 0 iken i.nci ikil değişken = 0,
• i.nci asıl kısıtın boşluk değişkeni = 0 iken i.nci ikil

değişken > 0,

• j.inci ikil kısıtın boşluk değişkeni > 0 iken j.inci asıl

değişken = 0,

• j.inci ikil kısıtın boşluk değişkeni = 0 iken j.inci asıl

değişken>0

 olmak zorundadır. Kısaca, eniyi çözümde asıl veya ikil

modelde bir kısıt sıkı değilse, diğer modelde bu kısıta

karşı gelen değişken sıfıra eşit olmak zorundadır.