Risolvere sistemi lineari

Consideriamo il problema

con , e . Il problema è ben posto se esiste unica la soluzione, ovvero se è invertibile. A livello teorico, per calcolare la soluzione possiamo usare la formula di Cramer:

con il determinante della matrice dove alla colonna è stata sostituito il vettore noto . Tuttavia questa formula è assai inefficiente: calcolare il determinante ricorsivamente costa è dell’ordine .

Per questo motivo sono stati sviluppati metodi numerici alternativi alla regola di Cramer, che vengono detti diretti se conducono alla soluzione del sistema dopo un numero finito di passi o iterativi se ne richiedono (teoricamente) un numero infinito.

Sistemi triangolari

Data la loro semplice struttura richiedono flops per essere risolti.

La matrice è non singolare se e solo se gli elementi diagonali (sono i pivot). In questo caso possiamo sequenzialmente trovare il vettore soluzione:

In generale, sia triangolare inferiore e non singolare, il problema:

può essere risolto come prima, forward substitution:

Analgomanete per sistemi triangolari inferiori:

con la backward substitution, che invece inizia calcoalndo .

Costo computazionale

Questi algoritmi effettuano divisioni/moltiplicazioni e addizioni/sottrazioni, quindi in totale FLOPS.