تُستخدم قيود واحد ساخن على نطاق واسع في تحسين ثنائي غير مقيد تربيعي (QUBO) في الكم وعمليات التبريد المحاكاة لحل مشكلات التحسين. وتتوافق مع قيود 'بالضبط واحد' لمشكلات إرضاء بولي (SAT)، التي تم اقتراح العديد من الترميز المختلفة لها بشكل أساسي لتقليل حجم مشكلة SAT. لقد قمنا بدراسة الترميزات الخاصة بـ QUBO، التي تتوافق مع الترميزات المقترحة سابقًا لـ SAT وابتكارات جديدة، لتحديد أفضل ترميز من حيث حجم QUBO وجودة الحل. تُظهر تجاربنا أن 'القائد المنخفض'، وهو ترميزنا الجديد، يوفر أحد أفضل الموازنات بين حجم QUBO وجودة الحل للمشكلة المرجعية التي تم دراستها في هذا العمل.
درس تاكاسوغي وآخرون (الخميس) هذا السؤال.