هل هناك مسابقات لبرمجة عدد صحيح؟

Question

هل هناك مسابقات لبرمجة عدد صحيح مثل هناك مقابل SAT و

Answer 1

هناك مسابقات للحصول على حالات رضا القيد.بعض المشاكل يمكن ترجمتها بسهولة إلى حوالات الملكية الفكرية كذلك.انظر على سبيل المثال، minizinc @ التي حدثت سنويا منذ عام 2008 أو مسابقة XCSP .

Answer 2

لا توجد مسابقات تستهدف برمجة عدد صحيح عام أو برمجة عدد صحيح مختلط، ولكن هناك (أو كانت) معايير، مثل Miplib (خطي) و minlplib (غير الخطية).

هناك مسابقات في مجموعات فرعية (PB، SAT، MAX-SAT) وللبرمجة القيد، كما أشارت إجابات أخرى. يمكنك العثور على العديد من المسابقات ( تحديات Dimacs ، على سبيل المثال) مع مشاكل NP-Hard التي يمكن أن تكون وضعت ك IP، أيضا.

لذلك، لماذا لا توجد مسابقات مثل هذه المسابقات؟ تخميني الشخصي هو أنه يأتي إلى:

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

Answer 3

كان هناك منافسة حلول سولفر الزائفة من الفترة 2005-2012، ولكن (بقدر ما أستطيع أن أقول) لا شيء منذ ذلك الحين.البرمجة الخطية العددية هي مجموعة فرعية من البرمجة الزائفة المنطقية.راجع 2012 صفحة المنافسة للحصول على نتائج وروابط لنتائج المنافسة الأخرى.