Kâr enbüyükleme amaçlı bir doğrusal programlama probleminin, m adet kısıta ve n adet karar değişkenine sahip kanonik biçimde bir asıl modeli olduğu varsayıldığında problemin ikil modeli için aşağıdakilerden hangisi doğru olur?
İkil modelin tüm kısıtları >= yönündedir.
İkil değişkenlerin işareti <= 0 olarak tanımlanır.
İkil modelin j. kısıtı <= yönündedir.
İkil modelin amacı enbüyüklemedir.
İkil modeldeki kısıt sayısı m adettir.