Kanonik biçimde, enbüyükleme problemleri için tüm kısıtlar ≥, enküçükleme problemleri için ise  ≤ biçiminde olur

Asıl modelde m adet kısıt varken, ikil modelde m adet karar değişkeni bulunmaktadır

Asıl modelde n adet karar değişkeni bulunurken, ikilinde n adet kısıt yer almaktadır

Asıl modelde amaç fonksiyonunun enbüyük değeri aranıyorken, ikil modelde bunun karşıtı
olan enküçük değer araştırılmaktadır

Kanonik biçimde yazılmış bir asıl problemde, ikil değişkenler negatif değer alamaz