Dualite ve tamamlayıcı slackness nedir?

Optimizasyon teorisinde dualite, bir problemin hem primal hem de dual yönlerini inceleyerek daha derin bir anlayış sağlamaktadır. Bu bağlamda, tamamlayıcı slackness koşulu, bu iki yaklaşımın kesişim noktasında yer alarak, optimal çözümlerin varlığını ve ilişkisini ortaya koymaktadır. Bu kavramlar, doğrusal programlama alanında önemli bir yer tutar ve karmaşık problemleri çözmek için güçlü bir araç sunar.

Dualite, optimizasyon problemlerinin primal (asıl) ve dual (ikil) olarak adlandırılan iki farklı bakış açısıyla incelenebilmesidir. Tamamlayıcı slackness ise, primal ve dual problemlerde optimal çözümler için gerekli olan bir koşuldur.

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.