Kanonik biçimli ve enbüyükleme amaçlı bir problemin ikilini yazarken ortaya çıkan durumlar şu şekilde özetlenebilir: Asıl modelde amaç fonksiyonunun enbüyük değeri aranıyor iken, ikil modelde bunun karşıtı olan enküçük değer araştırılmaktadır. Asıl modelde tüm kısıtların yönü ≤ iken, ikil modelde tüm kısıtların yönü bunun karşıtı olan ≥ şeklindedir. Asıl modelde m adet kısıt varken, ikil modelde m adet karar değişkeni bulunmaktadır. Bir başka deyişle asılın her kısıtı için bir ikil değişken tanımlanmaktadır.