Risolvere i programmi interi vincoli I programmi di risoluzione dei vincoli Integer è un framework per la programmazione integro vincolo.
Scarica ora

Risolvere i programmi interi vincoli Classifica e riepilogo

Risolvere i programmi interi vincoli Tag

costante quadro di programmazione numero intero Programmazione integer Constant Integer. SCIP

Risolvere i programmi interi vincoli Descrizione

La risoluzione dei programmi Integer Integer è un framework per la programmazione integro vincolo. La risoluzione dei programmi Integer Integer è un framework per la programmazione integro vincolo. Per risolvere programmi interi e programmi di vincolo, viene utilizzata una tecnica molto simile: il problema viene consegnato in modo successivamente suddiviso in subproblemi più piccoli (ramificazione) che sono risolti in modo ricorsivo. L'altra mano, la programmazione integrante e la programmazione dei vincoli hanno diversi punti di forza: la programmazione integer utilizza i relax di LP E i piani di taglio per fornire forti limiti doppi, mentre la programmazione dei vincoli può gestire vincoli arbitrari (non lineari) e utilizza la propagazione per stringere i domini della variabile. SCIP è un framework per il vincolo di programmazione integro orientato alle esigenze degli esperti di programmazione matematica che vogliono avere il controllo totale del processo di soluzione e accedere alle informazioni dettagliate fino al budello del risolutore. Scip può anche essere utilizzato come puro risolutore MIP o come quadro per il taglio del ramo-e il prezzo. Ecco alcune caratteristiche chiave di "risolvere i programmi interi di vincoli": · È un quadro per ramificazione, taglio, prezzi e propagazione. È altamente flessibile attraverso molti possibili plugin utente: · Guariscaldari per implementare vincoli arbitrari, · I prezzi variabili per creare dinamicamente variabili problematiche, · Propagatori del dominio per applicare propagazioni indipendenti vincoli sui domini delle variabili, · Tagliare i separatori per applicare aerei da taglio sul rilassamento LP, · Rilassanti per fornire relax e doppio limite oltre al rilassamento LP, · Euristica primaria per cercare soluzioni fattibili con supporto specifico per il sondaggio e le immersioni, · Selettori nodi per guidare la ricerca, · Regole di ramificazione per dividere il problema nei sottoproblemi, · Presolver per semplificare il problema risolto, · I lettori di file per analizzare diversi formati di file di input, · I gestori di eventi da informare su eventi specifici, ad es. Quando un nodo è stato risolto, è stata trovata una variabile specifica, è stata trovata una nuova soluzione primitiva, · Visualizza i gestori per creare colonne aggiuntive nell'output del risolutore. · Guastrici di dialogo per estendere il guscio di comando incluso. · Ogni unità esistente è implementata come plug-in, portando a un'interfaccia abbastanza flessibile per soddisfare le esigenze della maggior parte delle estensioni degli utenti aggiuntive. · È inclusa una gestione dinamica del pool di taglio. · L'utente può mescolare variabili problematiche pre-elaborate e attive nelle espressioni: vengono trasformate automaticamente per corrispondenti variabili di problemi attivi. · Arbitrariamente molti bambini per nodo possono essere creati, ei diversi bambini possono essere definiti arbitrariamente. · Ha un supporto SOLVER LP aperto (attualmente supportando ILog Clex, Dash Xpress-MP, Soplex e CLP. · Il rilassamento LP non deve essere risolto in ogni singolo nodo (può anche essere disattivato completamente, imitando un solver di costrizione puro). · È possibile includere ulteriori rilassanti (ad esempio, rilassarsi semidimensivi o relax lagrangiani). · L'analisi dei conflitti può essere applicata per imparare da subproblemi infassibili. · La gestione dinamica della memoria riduce il numero di chiamate di sistema operativo con rilevamento automatico della perdita di memoria in modalità Debug. Cosa c'è di nuovo in questa versione: · Nuovi gestori di costrizione per i vincoli SOS. · Migliore supporto per la compilazione di progetti utilizzando Scip. · Scip può ora contare soluzioni interi. · È stato aggiunto un esempio di generazione di colonna per la colorazione del grafico. · Capacità di produzione estese. · Supporto per problemi pseudo-booleani. · Nuovi din euristici. Nuovo separatore del piano di taglio MCF. · Funzioni di ordinamento migliorate. Pre-elaborazione riveduto. · Chiamate di temporizzazione rielaborate. · Interfacce LP adattate a CLP e SPLEX. · Molti miglioramenti di prestazioni interne e bugfix.

Risolvere i programmi interi vincoli Software correlato