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.