انفعال حل البرامج الصحيحة القيد
التحميل الان

انفعال الترتيب والملخص

انفعال العلامات

عدد صحيح حلالا إطار العمل حل قائمة القيد قيود SharePoint قيد قيود الملعب وصف عدد صحيح محول عدد صحيح تسلسل عدد صحيح مكتبة عدد صحيح الحساب الصحيحة FIFO عدد صحيح برمجة القيد مكتبة القيد عدد صحيح حساب عدد صحيح تحرير عدد صحيح عدد صحيح عالمي تحويل عدد صحيح إلى النص عدد صحيح لغة القيد الكائن القيد سيلفر منشئ عدد صحيح عدد صحيح البرمجة Solver. إطار البرمجة الصحيح عدد صحيح القيد برمجة صحيحة عددا صحيح البرمجة الخطية صحيح الخطية الدقة عدد صحيح عدد صحيح الدقة التعسفي IP إلى عدد صحيح عدد صحيح إلى الملكية الفكرية حاسبة عدد صحيح التعامل مع عدد صحيح غير ماني عدد صحيح غير موقعة شار إلى عدد صحيح برنامج إدارة القيد

انفعال وصف

SCIP هي حاليا واحدة من أسرع حامل البرمجة العددية المختلطة غير التجارية. إنه أيضا إطار لإطار البرمجة الصحيحة القيد والفرع والسعر. يسمح بالتحكم التام في عملية الحل ووصول معلومات مفصلة إلى الشجاعة من Solver. إعطاء Scip حاول أن ترى كيف ستساعدك في حل مشاكل البرمجة الصحيحة. الخصائص الرئيسية: هو إطار للتفرعين والقطع والتسعير والانتشار. مرونة للغاية من خلال العديد من الإضافات المستخدمة ممكنة: معالجات القيد لتنفيذ القيود التعسفي، تقشير متغير لإنشاء متغيرات المشكلة ديناميكيا، مكاتب المجال لتطبيق عمليات النشر المستقلة على القيود على نطاقات المتغيرات، خفض الفواصل لتطبيق طائرات القطع على الاسترخاء LP، المحمولة لتوفير الاسترخاء والحدود المزدوجة بالإضافة إلى الاسترخاء LP، الاستدلال البدائية للبحث عن حلول مجدية مع دعم محدد للتحقيق والغوص، محدد العقدة لتوجيه البحث، قواعد المتفرعة لتقسيم المشكلة إلى المشاكل الفرعية، حاسوب المعلومات المنصوص عليها في تبسيط مشكلة حل، لقراء الملف لتحليل تنسيقات ملفات الإدخال المختلفة، يمكن إبلاغ معالجات الأحداث على أحداث محددة، على سبيل المثال، بعد حل العقدة، تغيير متغير محدد حدوده، أو تم العثور على حل بدائي جديد، معالجات عرض لإنشاء أعمدة إضافية في إخراج الحلول. معالجات الحوار لتوسيع قذيفة الأوامر المضمنة. يتم تنفيذ كل وحدة حالية كمجد، مما يؤدي إلى واجهة مرنة بما يكفي لتلبية احتياجات معظم ملحقات المستخدم الإضافية. يتم تضمين إدارة بركة قطع ديناميكية. يجوز للمستخدم مزج المتغيرات المشكلات المعجمة والفعالة في التعبيرات: يتم تحويلها تلقائيا إلى متغيرات المشكلات النشطة المقابلة. يمكن إنشاء العديد من الأطفال في العقدة بشكل تعسفي، ويمكن تعريف الأطفال المختلفين بشكل تعسفي. لديه دعم مفتوح الحلول LP. يدعم حاليا: cplex Gurobi xpress-mp مورش soplex QSOPT CLP. لا يحتاج الاسترخاء LP إلى حلها في كل عقدة واحدة (يمكن إيقاف تشغيلها بالكامل، وتذبذب حلال برمجة قيود نقية). يمكن تضمين الاسترخاء الإضافي (على سبيل المثال، الاسترخاءات شبه الفاصلة أو الاسترخاء Lagrangian)، والعمل بالتوازي أو المشتراة. يمكن تطبيق تحليل الصراع على التعلم من المشاركات الفرعية غير المروعة. إدارة الذاكرة الديناميكية تقلل من عدد مكالمات نظام التشغيل مع كشف تسرب الذاكرة التلقائي في وضع التصحيح.

انفعال برامج ذات صلة