Lösen von CONSTRINT INTEGER-Programmen Lösen von Constraint Integer-Programmen ist ein Framework für die CONSTRINT INTEGER-Programmierung.
Jetzt downloaden

Lösen von CONSTRINT INTEGER-Programmen Ranking & Zusammenfassung

Lösen von CONSTRINT INTEGER-Programmen Stichworte

Konstante Programmierrahmen ganze Zahl Ganzzahlprogrammierung. ständige ganze Zahl. Scip

Lösen von CONSTRINT INTEGER-Programmen Beschreibung

Das Lösen von CONSTRINT INTEGER-Programmen ist ein Framework für die CONSTRINT INTEGER-Programmierung. Das Lösen von CONSTRINT INTEGER-Programmen ist ein Framework für die CONSTRINT INTEGER-Programmierung. Für das Lösen von Integer-Programmen und Constraint-Programmen wird eine sehr ähnliche Technik verwendet: Das Problem wird nacheinander in kleinere Unterprobleme (Verzweigung) unterteilt, die rekursiv gelöst werden und Schneidflugzeuge, um starke Doppelgrenzen bereitzustellen, während die Constraint-Programmierung beliebige (nichtlineare) Einschränkungen verarbeiten kann und die Ausbreitung verwendet, um die Domänen der Variablen festzuziehen. Scip ist ein Rahmen für die Constraint-Integer-Programmierung, die auf die Bedürfnisse mathematischer Programmierungsexperten ausgerichtet ist, die eine totale Kontrolle über den Lösungsprozess haben möchten, und auf detaillierte Informationen zu den Mut des Solvers zugreifen möchten. Scip kann auch als reiner MIP-Solver oder als Rahmen für den Branchen- und Preis-Preis verwendet werden. Hier sind einige wichtige Funktionen von "Lösungseinschränkungen integer Programme": · Es ist ein Rahmen für die Verzweigung, Schneiden, Preise und Ausbreitung. Es ist sehr flexibel durch viele mögliche Benutzer-Plugins: · Einschränkungshandler, um beliebige Einschränkungen umzusetzen, · Variable Pricers, um Problemvariablen dynamisch zu erstellen, · Domain-Propagatoren, um Einschränkungen unabhängige Ausbreitungen auf den Domänen der Variablen anzuwenden, · Trennträger schneiden, um Schneidflugzeuge auf der LP-Entspannung anzuwenden, · Relaxatoren zur Entspannung und doppelten Grenzen zusätzlich zur LP-Entspannung, · Primale Heuristiken, um nach realisierbaren Lösungen mit spezifischer Unterstützung zum Prüfen und Tauchen zu suchen, · Node-Selektoren, um die Suche zu leiten, · Verzweigungsregeln, um das Problem in Unterprobleme aufzuteilen, · Presether, um das gelöste Problem zu vereinfachen, · Dateileser, um verschiedene Eingabedateiformate zu analysieren, · Ereignishandler, die über bestimmte Ereignisse informiert werden sollen, z. B. wenn ein Knoten gelöst wurde, änderte eine bestimmte Variable ihre Grenzen, oder eine neue Primallösung wurde gefunden, · Anzeigen von Handlern, um zusätzliche Spalten in der Ausgabe des Solvers zu erstellen. · Dialoghander, um die mitgelieferte Befehlsschale zu erweitern. · Jede vorhandene Einheit wird als Plugin implementiert, was zu einer Schnittstelle ist, die flexibel genug ist, um die Anforderungen der meisten zusätzlichen Benutzererweiterungen zu erfüllen. · Ein dynamisches Cut Pool-Management ist enthalten. · Der Benutzer kann vorverarbeitete und aktive Problemvariablen in Ausdrücken mischen: Sie werden automatisch in entsprechende aktive Problemvariablen umgewandelt. · Belieft viele Kinder pro Knoten können erstellt werden, und die verschiedenen Kinder können willkürlich definiert werden. · Es hat eine offene LP-Solver-Unterstützung (derzeit unterstützt ILOG CPLEX, dash Xpress-MP, SOPLEX und CLP. · Die LP-Entspannung muss an jedem einzelnen Knoten nicht gelöst werden (es kann sogar vollständig ausgeschaltet werden, um einen reinen Einschränkungslöser zu ahnen). · Zusätzliche Entspannungen (z. B. semidefinitelische Entspannungen oder Lagrangian-Entspannungen) können in einbezogen werden, die parallel oder verschachtelt arbeiten. · Konfliktanalyse kann angewendet werden, um von unmöglichen Unterproblemen zu lernen. · Das dynamische Speichermanagement reduziert die Anzahl der Betriebssystemanrufe mit der automatischen Speicherablagerung im Debug-Modus. Was ist neu in dieser Version: · Neue Einschränkungshandler für SOS-Einschränkungen. · Bessere Unterstützung für die Zusammenstellung von Projekten mit Scip. · Scip kann jetzt ganze Lösungen zählen. · Ein Spaltenerzeugungsbeispiel für die Diagrammfarbe wurde hinzugefügt. · Erweiterte Ausgabefunktionen. · Unterstützung für pseudo-boolesche Probleme. · Neue heuristische Dins. Neuer Schneidflugzeug-Separator MCF. · Verbesserte Sortierfunktionen. Überarbeitete Vorverarbeitung. · Überarbeitete Timing-Anrufe. · LP-Schnittstellen an CLP und SOPLEX angepasst. · Viele interne Leistungsverbesserungen und Bugfixes.

Lösen von CONSTRINT INTEGER-Programmen Zugehörige Software