ˌiðietˈeru ˌenðiafˈerodˌos sto plˈesjo aftˈo ˌine i klˈasis (en)pˈiː(el) (en)dɪtˌɜːmɪnˈɪstɪk pˌɒlɪnˈəʊmɪəl tˈaɪm(el) ke (en)ˈɛn pˈiː(el) (en)nˈɒn dɪtˌɜːmɪnˈɪstɪk pˌɒlɪnˈəʊmɪəl tˈaɪm(el).jˌenikˈa θa borˈusamˌe na pˈume ˈoti i klˈasi (en)ˈɛn pˈiː(el) pˌerilamvˈani ta pˌerissˈoterˌa provlˈimatˌa tis (en)pˈiː(el).θa prˌoxorˈisumˌe se pçˈo tˌipikˈus ˌorismˈus i opˈii ˌepaliθˈevun di ðiˈesθisˌi ˈoti (en)pˈiː ˈɛn pˈiː(el).θa prˈepi na tonˈisumˌe ˈoti i klˈasis (en)pˈiː(el) ke (en)ˈɛn pˈiː(el) orˈizodˌe ˈos prˈos provlˈimat apˈofasˌis, ðˌilaðˈi provlˈimatˌa sta opˈia kalˈumastˌe n ˌapadˈisumˌe mɲa sˌiŋɡekrimˈeni erˈotisˌi me nˌiˌalfaiˈota i ˌomikrˌonçˌiiˈota.
Ιδιαιτέρου ενδιαφέροντος στο πλαίσιο αυτό είναι οι κλάσεις P(Deterministic Polynomial Time) και NP(Non Deterministic Polynomial Time).Γενικά θα μπορούσαμε να πούμε ότι η κλάση NP περιλαμβάνει τα περισσότερα προβλήματα της P.Θα προχωρήσουμε σε πιο τυπικούς ορισμούς οι οποιοι επαλυθεύουν τη διαίσθηση ότι P⊆NP.Θα πρέπει να τονίσουμε ότι οι κλάσεις P και NP ορίζονται ως προς προβλήματα απόφασης, δηλαδή προβλήματα στα οποία καλούμαστε να απαντήσουμε μια συγκεκριμένη ερώτηση με ΝΑΙ ή ΟΧΙ.