Solving Constraint Integer-programma's Solving Constraint Integer-programma's is een raamwerk voor het programmeren van integer.
Download nu

Solving Constraint Integer-programma's Rangschikking & Samenvatting

Solving Constraint Integer-programma's Tags

constante programmeer raamwerk geheel getal Integer-programmering constante integer SCIP

Solving Constraint Integer-programma's Beschrijving

Het oplossen van Constraint Integer-programma's is een raamwerk voor het programmeren van beperkte integer. Het oplossen van Constraint Integer-programma's is een raamwerk voor het programmeren van beperkte integer. Voor het oplossen van integerprogramma's en beperkingsprogramma's, wordt een zeer vergelijkbare techniek gebruikt: het probleem is achtereenvolgens verdeeld in kleinere subproblemen (vertakt) die recursively zijn opgelost. Aan de andere kant, integer programmering en beperkingsprogrammering hebben verschillende sterke punten: integer programmeren gebruikt LP-programmering en het snijden van vliegtuigen om sterke dubbele grenzen te bieden, terwijl de programmering van de beperking van arbitraire (niet-lineaire) beperkingen aankan en de voortplanting gebruikt om de domeinen van de variabele aan te draaien. Scip is een kader voor de programmering van Constraint-integer-programmering op basis van de behoeften van wiskundige programmeerdeskundigen die totale controle willen hebben over het oplossingsproces en toegang tot gedetailleerde informatie naar de lef van de oplosser. Scip kan ook worden gebruikt als pure MIP-oplosser of als raamwerk voor tak-cut-en-prijs. Hier zijn enkele belangrijke functies van "Solving Constraint Integer-programma's": · Het is een raamwerk voor vertakking, snijden, prijzen en voortplanting. Het is zeer flexibel door veel mogelijke gebruikers-plug-ins: · Constraint-handlers om willekeurige beperkingen te implementeren, · Variabele prijzen om probleemvariabelen dynamisch te maken, · Domeinpropagers om constraintonafhankelijke propagaties toe te passen op de domeinen van de variabelen, · Separators snijden om snijvlakken op de LP-ontspanning aan te brengen, · Ontspanning om te ontspannen en dubbele grenzen naast de LP-ontspanning, · Primal heuristieken om te zoeken naar haalbare oplossingen met specifieke ondersteuning voor sondering en duiken, · Knooppuntselectoren om de zoekopdracht te begeleiden, · Vertakkingsregels om het probleem in subproblemen te splitsen, · Verduiden om het opgeloste probleem te vereenvoudigen, · Bestandslezers om verschillende invoerbestandsindelingen te ontleden, · Evenementenhandelaars die op specifieke evenementen worden geïnformeerd, b.v. wanneer een knooppunt is opgelost, veranderde een specifieke variabele de grenzen of werd een nieuwe primaire oplossing gevonden · Handlers weergeven om extra kolommen in de uitvoer van de oplosser te maken. · Dialooghandelaars om de meegeleverde opdrachtschaal uit te breiden. · Elke bestaande eenheid wordt geïmplementeerd als een plug-in, wat leidt tot een interface flexibel genoeg om aan de behoeften van de meeste extra gebruikersextensies te voldoen. · Een dynamisch gesneden poolbeheer is inbegrepen. · De gebruiker kan voorbewerkt en actieve probleemvariabelen in uitdrukkingen mengen: ze worden automatisch getransformeerd naar overeenkomstige actieve probleemvariabelen. · Arbitary veel kinderen per knooppunt kunnen worden gemaakt en de verschillende kinderen kunnen willekeurig worden gedefinieerd. · Het heeft een Open LP-oplosserondersteuning (die momenteel ilog CPlex, Dash Xpress-MP, Soplex en CLP ondersteunt. · De LP-ontspanning hoeft niet op elk enkel knooppunt te worden opgelost (het kan zelfs volledig worden uitgeschakeld, het najuichen van een zuivere beperkingsoplosser). · Aanvullende ontspanning (bijvoorbeeld semidefinietontspanning of Lagrangiaanse ontspanning) kunnen worden opgenomen, parallel werken of door elkaar verbouwen. · Conflictanalyse kan worden toegepast om te leren van onhaalbare subproblemen. · Dynamisch geheugenbeheer vermindert het aantal bedieningssysteemoproepen met automatische geheugenlekdetectie in de debug-modus. Wat is er nieuw in deze release: · Nieuwe beperkingshandelaars voor SOS-beperkingen. · Betere ondersteuning voor compilatie van projecten met scip. · Scip kan nu integer-oplossingen tellen. · Een voorbeeld van de kolomgeneratie voor grafiekkleuring is toegevoegd. · Uitgebreide uitvoermogelijkheden. · Ondersteuning voor pseudo-booleaanse problemen. · Nieuwe heuristische dins. Nieuwe snijscheider Separator MCF. · Verbeterde sorteerfuncties. Herzien voorbewerking. · Herwerkte timing-oproepen. · LP-interfaces aangepast aan CLP en Soplex. · Veel interne prestatie-verbeteringen en bugfixes.

Solving Constraint Integer-programma's Gerelateerde software