Partim de models i analitzem la dificultat computacional de cada problema: els problemes tractables admeten solucions exactes i els difícils requereixen solucions aproximades. Totes dues vies porten a aplicacions reals.
Teoria de la complexitat computacional
Problemes tractables (P)
Problemes difícils (NP-hard)