Scip LOSSING CONSTRAINT INTEGER-programma's
Download nu

Scip Rangschikking & Samenvatting

Scip Tags

geheel getal oplosser Kader oplossen lijst beperking Sharepoint-beperking dwang pitch-beperking Beschrijf gehele getal Integer-converter geheel getalsequentie Integer-bibliotheek Geheel getal rekenkundig FIFO Integer Stack programmering beperkt bibliotheek Geheel getal Integer-berekening Bewerk integer Universeel geheel getal Converteer integer naar tekst getal vector Object Constraint Language constraint Solver integere schepper Integer Programming Solver integer programmeerframework beperkte integer Integer-programmering Integer lineaire programmering integer lineair geheel getal precisie Arbitrair Precision Integer IP naar geheel getal Geheel getal naar IP Integer Calculator Behandel Unsigned Integer Niet-ondertekend geheel getal Char to integer Constraint Management Software

Scip Beschrijving

SCIP is momenteel een van de snelste niet-commerciële mixed integer programming solver. Het is ook een kader voor Constraint Integer Programming en tak-cut-and-prijs. Het maakt het mogelijk totale controle van de oplossing proces en de toegang van gedetailleerde informatie tot aan de ingewanden van de solver. Geef SCIP een keer te proberen om te zien hoe het zal u helpen bij het oplossen van integer programmering problemen. Belangrijkste kenmerken: Het is een raamwerk voor het vertakken, snijden, prijzen en vermeerdering. Het is zeer flexibel door vele gebruikers mogelijk plugins: beperking handlers willekeurige beperkingen implementeren, variabele pricers om dynamisch probleem variabelen domein plantenkwekers constraint onafhankelijke propagations toepassing op domeinen de variabelen, cut scheiders snijvlakken passen op de LP relaxatie, relaxators om relaxaties en dubbele grenzen bieden naast de LP relaxatie, oer heuristiek zoeken naar haalbare oplossingen met specifieke steun voor het aftasten en duiken, knooppunt selectors met gids zoekopdracht vertakking regels om het probleem te splitsen in deelproblemen, presolvers het probleem opgelost vereenvoudigen file lezers om verschillende input bestandsformaten ontleden, gebeurtenishandlers te worden op bepaalde gebeurtenissen, bijvoorbeeld nadat een knoop werd opgelost, een specifieke variabele verandert grenzen, of een nieuwe primaire oplossing wordt gevonden, scherm handlers extra kolommen output van de oplosser is. dialoogvenster handlers de meegeleverde command shell uit te breiden. Elke bestaande eenheid is geïmplementeerd als een plug-in, wat leidt tot een interface flexibel genoeg zijn om aan de behoeften van de meeste extra uitbreidingen door de gebruikers te voldoen. Een dynamisch cut poolmanagement is inbegrepen. De gebruiker kan mix voorbewerkte actieve probleem variabelen expressies. Ze automatisch omgezet in overeenkomstige actieve probleem variabelen Willekeurig veel kinderen per knooppunt kan worden gecreëerd, en de verschillende kinderen kan willekeurig worden bepaald. Het heeft een LP solver support. Het ondersteunt op dit moment: CPLEX Gurobi XPress-MP Mosek SoPlex QSopt CLP. LP relaxatie hoeft niet te worden opgelost op elk knooppunt (het kan zelfs volledig worden uitgeschakeld, mimicing een zuivere constraint programming solver). Aanvullende relaxaties (bijvoorbeeld semidefinite relaxaties of Lagrangiaanse relaxaties) kunnen, parallel werken of verweven. Conflicten analyse kan worden toegepast op leren onhaalbaar subproblemen. Dynamisch geheugenbeheer vermindert het aantal oproepen besturingssysteem met automatische geheugen lekdetectie in debug modus.

Scip Gerelateerde software