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:

${\displaystyle \max _{x\in X}f(x)}$ per massimizzare una variabile, ad esempio la produzione ottenuta

oppure

${\displaystyle \min _{x\in X}f(x)}$ per minimizzare una funzione di costo,

dove

${\displaystyle f:\mathbb {R} ^{n}\to \mathbb {R} }$

o

${\displaystyle f:X\subseteq \mathbb {R} ^{n}\to \mathbb {R} }$.

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

L'intersezione tra lo spazio dei vincoli e la funzione obiettivo rappresenta la soluzione

Un problema elementare può essere definito dai vincoli

x₁ ≥ 0

x₂ ≥ 0

x₁² + x₂² ≥ 1

x₁² + x₂² ≤ 4

e da una funzione obiettivo da massimizzare

f(x) = x₁ + x₂

con x = (x₁, x₂)

Esempio tridimensionale

Le intersezioni tra i piani e le superfici centrali rappresentante i vincoli sono le soluzioni

Un altro problema elementare può essere definito dai vincoli

x₁² − x₂² + x₃² ≤ 2

x₁² + x₂² + x₃² ≤ 10

e dalla funzione obiettivo da massimizzare

f(x) = x₁x₂ + x₂x₃

con x = (x₁, x₂, x₃)

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

• 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