Dualite, optimizasyon problemlerinin primal (asıl) ve dual (ikil) olarak adlandırılan iki farklı bakış açısıyla incelenebilmesidir. Tamamlayıcı slackness koşulu, şu şekilde ifade edilir: Feasible (mümkün) primal ve dual çözümleri x ve y optimal ise, xisi = 0, her i için. Bu, şu anlama gelir: ya bir primal değişken xi sıfırdır ya da onun karşılık gelen dual kısıtlaması sıkıdır (yani, si = 0, bu da AiTy = ci anlamına gelir). Strong duality (güçlü dualite) ise, eğer P ve D problemlerinden biri sınırlı (bounded) ve uygulanabilir (feasible) ise, diğerinin de sınırlı ve uygulanabilir olacağını ve optimal değerlerinin aynı olacağını belirtir. Dualite ve tamamlayıcı slackness konuları, genellikle doğrusal programlama (linear programming) bağlamında ele alınır.