Programmazione non-lineare

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

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

[modifica | modifica wikitesto]

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

[modifica | modifica wikitesto]

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.

Esempio bidimensionale

[modifica | modifica wikitesto]
L'intersezione tra lo spazio dei vincoli e la funzione obiettivo rappresenta la soluzione

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

[modifica | modifica wikitesto]
Le intersezioni tra i piani e le superfici centrali rappresentante i vincoli sono le soluzioni

Un altro problema elementare può essere definito dai vincoli

x12x22 + x32 ≤ 2
x12 + x22 + x32 ≤ 10

e dalla funzione obiettivo da massimizzare

f(x) = x1x2 + x2x3

con x = (x1, x2, x3)

Voci correlate

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
Software
Controllo di autoritàThesaurus BNCF 21957 · LCCN (ENsh85092331 · BNF (FRcb122677537 (data) · J9U (ENHE987007533977205171