'''Класс''' <tex>\mathrm{P}</tex> {{---}} класс языков (задач), разрешимых надетерминированной на детерминированной машине Тьюринга за полиномиальное время, то есть:
<tex>\mathrm{P} = \bigcup\limits_{p \in poly}DTIME(p(n))</tex><ref>[[Сложностные классы. Вычисления с оракулом]]</ref>.