रैखिक कार्यक्रमों पर विचार करें
कमजोर द्वंद्व प्रमेय में कहा गया है कि अगर और बाधाओं को संतुष्ट करते हैं तो । लीनियर बीजगणित: ।
मजबूत द्वंद्व प्रमेय में कहा गया है कि अगर लिए एक इष्टतम समाधान है तो जो दोहरे और vec {c} ^ T \ vec {x} = \ के लिए एक समाधान है vec {y} ^ T \ vec {b} ।
क्या मजबूत द्वैत प्रमेय के लिए समान रूप से छोटा और चालाक सबूत है?