Programmazione non-lineare
In matematica, programmazione non lineare è il processo di soluzione di un sistema di equazioni e disequazioni su un insieme di variabili reali incognite, con una funzione obiettivo da massimizzare o minimizzare.
Formulazione matematica del problema
modificaIl problema può essere impostato semplicemente come segue:
- per massimizzare una variabile, ad esempio la produzione ottenuta
oppure
- per minimizzare una funzione di costo,
dove
o
- .
Procedure di soluzione del problema
modificaSe la funzione obiettivo f è lineare, e lo spazio del vincolo è un politopo, allora siamo di fronte a un problema di programmazione lineare, che può essere risolto con metodi di programmazione lineare.
Anche quando la funzione obiettivo è convessa su tutte le funzioni di costo (guardando dal basso), si possono applicare soluzioni di programmazione lineare.
Per la soluzione di problemi non convessi ci sono molti metodi. Un approccio possibile è usare formulazioni particolari dei problemi di programmazione lineare. Un altro metodo coinvolge l'uso di tecniche branch and bound, con cui la programmazione è divisa in sottoclassi da risolvere con approssimazioni lineari che vanno a formare un limite inferiore per il costo totale all'interno della suddivisione. Con suddivisioni successive, a un certo punto si otterrà una soluzione effettiva il cui costo è minore o uguale del valore più basso ottenuto per ogni soluzione approssimativa. Questa soluzione è ottimale, anche se non necessariamente unica. L'algoritmo può anche essere fermato prima, se si ha certezza che la miglior soluzione ottenibile non superi che di una data percentuale una soluzione già trovata. Questo vale soprattutto per problemi grandi, difficili, o dai costi non certi.
Le condizioni di Kuhn-Tucker forniscono le condizioni necessarie perché una soluzione sia ottimale.
Esempi
modificaEsempio bidimensionale
modificaUn problema elementare può essere definito dai vincoli
- x1 ≥ 0
- x2 ≥ 0
- x12 + x22 ≥ 1
- x12 + x22 ≤ 4
e da una funzione obiettivo da massimizzare
- f(x) = x1 + x2
con x = (x1, x2)
Esempio tridimensionale
modificaUn altro problema elementare può essere definito dai vincoli
- x12 − x22 + x32 ≤ 2
- x12 + x22 + x32 ≤ 10
e dalla funzione obiettivo da massimizzare
- f(x) = x1x2 + x2x3
con x = (x1, x2, x3)
Bibliografia
modifica- Nocedal, Jorge and Wright, Stephen J. (1999). Numerical Optimization. Springer. ISBN 0387987932.
- Bazaraa, Mokhtar S. and Shetty, C. M. (1979). Nonlinear programming. Theory and algorithms. John Wiley & Sons. ISBN 0471786101.
Voci correlate
modifica- Metodo dei minimi quadrati
Altri progetti
modifica- Wikizionario contiene il lemma di dizionario «programmazione non-lineare»
Collegamenti esterni
modifica- Amato Herzel, PROGRAMMAZIONE NON LINEARE, in Enciclopedia Italiana, IV Appendice, Istituto dell'Enciclopedia Italiana, 1981.
- Amato Herzel, PROGRAMMAZIONE NON LINEARE, in Enciclopedia Italiana, V Appendice, Istituto dell'Enciclopedia Italiana, 1994.
- Programmazione non lineare, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) nonlinear programming, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- Nonlinear programming FAQ, su www-unix.mcs.anl.gov. URL consultato il 21 giugno 2006 (archiviato dall'url originale il 17 febbraio 2009).
- Mathematical Programming Glossary, su carbon.cudenver.edu. URL consultato il 21 giugno 2006 (archiviato dall'url originale il 25 maggio 2006).
- Nonlinear Programming Survey OR/MS Today, su lionhrtpub.com. URL consultato il 21 giugno 2006 (archiviato dall'url originale il 24 luglio 2009).
- Software
- AIMMS Optimization Modeling AIMMS — contiene soluzioni di programmazione non lineare in ambito industriale (versione di prova disponibile);
- AMPL solver software - gratuito per gli studenti (interfaccia grafica disponibile)
- GAMS General Algebraic Modeling System – versione gratuita per studenti disponibile
- OptimJ Java based modeling language for optimization OptimJ - Versione con glpk lp_solve e gratuito per qualsiasi utente. Premium anche gratuito con Mosek, CPLEX y Gurobi per studenti e insegnanti.
Controllo di autorità | Thesaurus BNCF 21957 · LCCN (EN) sh85092331 · BNF (FR) cb122677537 (data) · J9U (EN, HE) 987007533977205171 |
---|