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
Il 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
Se 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
Esempio bidimensionale
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c2/Nonlinear_programming_jaredwf.png/220px-Nonlinear_programming_jaredwf.png)
Un 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
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/48/Nonlinear_programming_3D_jaredwf.png/220px-Nonlinear_programming_3D_jaredwf.png)
Un 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
- 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
- Metodo dei minimi quadrati
Altri progetti
Altri progetti
- Wikizionario
Wikizionario contiene il lemma di dizionario «programmazione non-lineare»
Collegamenti esterni
- 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 |
---|