Aylaklığın tamamlayanı (complementary slackness), ikillik üzerine geliştirilen kavram ve teknikleri bütünleştirerek, asıl ve ikil problemlerin eniyi çözümlerini ilişkilendiren önemli bir özelliktir. Bir kısıta ait “boşluk değişkeni” ve “sıkı kısıt” terimlerinin tanımlanması, bu özelliğin daha kolay anlaşılmasını sağlayacaktır.

Boşluk değişkeni, eniyi çözümde kısıtın eşitsizliğin sol tarafındaki değeri ile sağ taraf sabiti arasındaki farkı veren değişkendir. Eğer kısıt “?” türünde ise boşluk değişkeni “aylak değişken”, kısıt “?” türünde ise boşluk değişkeni “artık değişken “ olarak adlandırılır. Eğer eniyi çözümde, bir kısıta ait boşluk değişkeni sıfıra eşitse, o kısıt tam eşitlik halinde gerçekleştiği için o kısıtın “sıkı kısıt” olduğu söylenir. Kısıta eklenen boşluk değişkeni sıfırdan büyükse, ya aylak değişken ya da artık değişken sıfırdan büyük değer almıştır. Kısıtın sol tarafı ile sağ taraf sabiti arasında fark olduğundan, kısıt sıkı değildir.

Aylaklığın tamamlayanı özelliği, asıl ve ikil problemler için uygun olan çözümlerin aynı zamanda eniyi çözüm olmalarının ancak ve ancak aşağıdaki koşulların sağlanması ile mümkün olacağını söyler:

• Modellerden birisinde bir kısıtın boşluk değişkeni sıfırdan farklı ise, diğer modelde bu kısıta karşı gelen değişkenin değeri sıfıra eşittir.
• Modellerden birisinde bir kısıtın boşluk değişkeni sıfıra eşitse, diğer modelde bu kısıta karşı gelen değişkenin değeri sıfırdan farklıdır.

Bu nedenle doğru yanıt a) seçeneğidir.