הוֹצָאַת סְפָבָהפתרון תכניות שלם אילוצים | |
הורד עכשיו |
הוֹצָאַת סְפָבָה דירוג וסיכום
פרסומת
- רישיון:
- Freeware
- שם המפרסם:
- Zuse Institute Berlin
- מערכות הפעלה:
- Windows All
- גודל הקובץ:
- 1.5 MB
הוֹצָאַת סְפָבָה תגים
- מספר שלם פּוֹתֵר מִסגֶרֶת פְּתִירָה רשימת אגרוף אילוץ SharePoint אילוץ אילוץ המגרש תאר מספר שלם ממיר שלם שלם רצף ספריית שלום שלם אריתמטיקה FIFO מספר שלם מחסנית תכנות אילוץ ספריית אילוץ מספר שלם חישוב שלם ערוך מספר שלם מספר שלם אוניברסלי להמיר מספר שלם לטקסט וקטור של מספר שלם אילץ אילץ שפה פותר אילוץ יוצר מספרים שלמים פותר תכנות שלם מסגרת תכנות של מספרים שלמים מספר שלם אילוץ תכנות שלם תכנות ליניארי שלם מספר שלם ליניארי דיוק שלם שלם דיוק שרירותי IP למספר שלם מספר שלם ל- IP. מחשבון שלם ידית שלום לא חתום שלם לא חתום Char כדי מספר שלם תוכנה לניהול אילוץ
הוֹצָאַת סְפָבָה תיאור
Scip הוא כרגע אחד המהירים ביותר לא מסחרי מעורב תכנות שלם פותר. זה גם מסגרת עבור אילוצים תכנות שלם סניף לחתוך- ומחיר. זה מאפשר שליטה מלאה על תהליך הפתרון ואת הגישה של מידע מפורט עד האומץ של פותר. תן SCIP לנסות לראות איך זה יעזור לך לפתור בעיות תכנות שלם. תכונות עיקריות: זה מסגרת עבור הסתעפות, חיתוך, תמחור, התפשטות. זה מאוד גמיש דרך רבים אפשריים תוספים משתמשים: מטפלים אילוצים ליישם אילוצים שרירותיים, PRICERS משתנה כדי ליצור באופן דינמי משתנים לבעיה, PropArtators תחום כדי להחיל אילוצים עצמאיים דומיינים על דומיינים של משתנים, גזור מפרידים ליישם מטוסים חיתוך על הרפיה LP, Relaxates כדי לספק הרפיה כפול גבולות בנוסף הרפיה LP, Heuristics ראשוני לחפש פתרונות אפשריים עם תמיכה ספציפית לבדיקה וצלילה, סלקטור הצומת כדי להנחות את החיפוש, ענף כללים כדי לפצל את הבעיה לתוך subproblems, Presolvers כדי לפשט את הבעיה נפתרת, הקוראים קובץ לנתח פורמטים שונים קלט קלט, מטפלים באירוע כדי לקבל מידע על אירועים ספציפיים, למשל, לאחר נפתרה הצומת, משתנה ספציפי משנה את גבולותיה, או פתרון ראשוני חדש נמצא, להציג מטפלים כדי ליצור עמודות נוספות בפלט של פותר. מטפלים דו-שיח כדי להרחיב את פגז הפקודה הכלול. כל יחידה קיימת מיושמת כתוסף, המוביל לממשק גמיש מספיק כדי לענות על הצרכים של רוב הרחבות המשתמש הנוספות. ניהול בריכה חיתוך דינמי כלול. המשתמש עשוי לערבב משתני בעיות מעובדות ומפעילים בביטויים: הם הופכים אוטומטית למשתני הבעיה הפעילים המתאימים. ניתן ליצור באופן שרירותי רבים לכל הצומת, והילדים השונים יכולים להיות מוגדרים באופן שרירותי. יש תמיכה פתוחה LP. זה כרגע תומך: cplex Gurobi Xpress-MP MOSEK soplex QSOPT CLP. צורך הרפית LP שלא ייפתר בכול צומת יחיד (זה יכול אפילו להיות כבוי לחלוטין, Mimicing פותר תכנות אילוץ טהור). הקלות נוספות (למשל, קלויות semidefinite או הקלות לגרנג) יכולות להיכלל, עבודה במקבילה או משולבת. ניתוח קונפליקט ניתן ליישם וללמוד subproblems מעשית. ניהול זיכרון דינאמי מפחית את מספר שיחות מערכת הפעלה עם גילוי דליפות זיכרון אוטומטי במצב debug.
הוֹצָאַת סְפָבָה תוכנה קשורה