lΤα
προβλήματα αυτά ανήκουν σε μια κατηγορία προβλημάτων για τα οποία δεν υπάρχει αλγόριθμος ο οποίος να τα
επιλύει σε πολυωνυμικό χρόνο.
l
lΓια
παράδειγμα, στο μοντέλο p-διάμεσος
οι πιθανές λύσεις, αν εξετάζονται ένα εκατομμύριο συνδυασμοί το δευτερόλεπτο, είναι:
n = 50, p = 10
> 3 ώρες υπολογισμών, και
n = 100,
p = 15
> 8 χιλιετίες υπολογισμών
l
lΕπομένως
εξετάζονται μέσω μη
καθορισμένων πολυωνυμικά ολοκληρωμένων προσεγγίσεων
l
lΤα οποία
δεν εγγυώνται την ανεύρεση μιας συνολικά βέλτιστης λύσης, αλλά αντίθετα, κάποιου τοπικού βέλτιστου της αντικειμενικής συνάρτησης.
l
lΟι μέθοδοι
επίλυσης μπορούν να διαφοροποιηθούν σε δύο βασικές κατηγορίες: σε κατά προσέγγιση ευριστικούς αλγόριθμους και σε ακριβείς τεχνικές επίλυσης.