ما هي MathOpt

Mathopt هي مكتبة لنمذجة وحل مسائل التحسين الرياضي، مثل مسائل البرمجة الخطية (LPs) أو مسائل برمجة الأعداد الصحيحة المختلطة (MIPs). تفصل شركة MathOpt بين النمذجة والحلّ، ما يسمح للمستخدمين بالتبديل بين طرق الحلّ من خلال تغيير التعداد (وتبعية الإصدار) لاختيار أداة الحلّ الخاصة بهم.

يمكنك مشاهدة هذا الفيديو للاطّلاع على مقدمة موجزة عن MathOpt من العرض التقديمي لمؤتمر JuMP 2023.

ميزات MathOpt

يمكن أن تحتوي نماذج MathOpt على:

  • عدد صحيح أو متغيرات مستمرة
  • القيود الخطية أو التربيعية
  • الأهداف الخطية أو التربيعية
  • أهداف هرمية متعددة
  • قيود MIP متخصصة (اتصالات الطوارئ، مؤشر، المزيد في المستقبل)
  • بعض القيود المخروطية (مخروط من الدرجة الثانية، ويأتي المزيد)

يتم تعريف النماذج بشكل مستقل عن أي أداة حلّ ويمكن التبديل بينها بالتبادل. تتوافق MathOpt مع أدوات الحلّ التالية:

توفر شركة MathOpt مكتبات للعملاء بلغة C++ وPython لإنشاء نموذج التحسين الخاص بك.

يدعم MathOpt العديد من الميزات المتقدمة، بما في ذلك:

  • تحليل القصور (مجموعة غير قابلة للتصغير أو IIS)، Gurobi فقط
  • الحل التزايدي
  • عمليات معاودة الاتصال
  • الازدواجية
  • الأشعة الأولية والأشعة المزدوجة
  • الحلول الأولية والمزدوجة دون الأمثل
  • عمليات حذف المتغيرات والقيود
  • عمليات إعادة التشغيل البطيء (حسب الحل أو الأساس)
  • السبب التفصيلي للإغلاق
  • أولوية التفريع
  • المقاطعة
  • العديد من المعلَمات المستقلة للحلّ