البرمجة الصحيحة صفر-واحد هي طريقة تحسين رياضي متخصصة تستخدم متغيرات ثنائية لحل مشكلات اتخاذ القرار المعقدة. من خلال قصر المتغيرات على القيمة صفر أو واحد فقط، تفرض هذه المقاربة اختياراً بين نتيجتين متنافيتين، مما يمثل فعلياً إجابة بنعم أو لا لكل إجراء محتمل داخل النظام.
تعمل هذه التقنية عن طريق تعيين قيمة واحد لتمثيل اختيار خيار معين، وقيمة صفر لتمثيل رفضه. يتم دمج هذه القيم الثنائية في معادلات خطية لنمذجة القيود والأهداف، مثل حدود الميزانية أو الطاقة الإنتاجية. ومن خلال معالجة هذه المتغيرات، يحدد النموذج المجموعة الأكثر كفاءة من الخيارات التي تلبي جميع المتطلبات المحددة مع تعظيم أو تقليل نتيجة معينة.
في السياق المالي العملي، قد تستخدم الشركة هذه الطريقة لتقنين رأس المال عند اتخاذ قرار بشأن مشاريع تطوير المنتجات التي سيتم تمويلها. إذا كانت لدى الشركة ميزانية محدودة والعديد من المشاريع المحتملة، يقوم النموذج بتعيين صفر أو واحد لكل مشروع. ثم يقوم بحساب المجموعة المثلى من المشاريع التي تقع ضمن رأس المال المتاح، مما يضمن اختيار الشركة للمجموعة الأكثر قيمة دون تجاوز قيودها المالية.