Nella programmazione lineare, un campo della matematica applicata, una soluzione di base è qualsiasi soluzione di un problema di programmazione lineare che soddisfa determinate condizioni tecniche specifiche.
Per un poliedro e un vettore , è una soluzione di base se:
Tutti i vincoli di uguaglianza che definiscono sono attivi a .
Tra tutti i vincoli attivi in quel punto, almeno di essi devono essere linearmente indipendenti. Ciò implica che almeno che almeno i vincoli devono essere attivi su quel vettore.[1]
Un vincolo è attivo per una particolare soluzione se è soddisfatta l'uguaglianza per quella soluzione.
Una soluzione di base che soddisfa tutti i vincoli che definiscono (o, in altre parole, uno che si trova all'interno ) è chiamata soluzione di base ammissibile.