die Komplexitätsklasse aller durch polynomiale Algorithmen (polynomialer Algorithmus) lösbaren Probleme.

Ein Problem ist bzgl. der worst case Rechenzeit nur dann effizient lösbar, wenn es in P enthalten ist. Im Rahmen der Theorie der NP-Vollständigkeit wird P auf Entscheidungsprobleme (Entscheidungsproblem) eingeschränkt, ohne dies in der Notation kenntlich zu machen.