141
правка
Изменения
Определение в нужное место; "Но, " - нафиг
== Определение =={{Определение|definition='''Класс''' <tex>P</tex> {{---}} класс языков (задач), разрешимых на детерминированной машине Тьюринга за полиномиальное время, то есть :<tex>P=\bigcup\limits_{i=0}^{p \inftyin poly} DTIME(in^ip(n)=\bigcup\limits_{i=0}^{\infty}\bigcup\limits_{k=0}^{\infty} DTIME(in^k)</tex>. }}
Язык L лежит в классе <tex>P</tex> тогда и только тогда, когда существует такая детерминированная машина Тьюринга <tex>m</tex>, что:
# <tex>m</tex> завершает свою работу за полиномиальное время на любых входных данных
== Задача равенства P и NP ==
