Изменения

{{Определение|definition=Язык <tex>X</tex> является Говоря про <tex>\mathrm{P}</tex>-[[Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи#Определения трудных и полных задач|полнымполноту]], если:# <tex>X \in \mathrm{P}</tex>;# <tex>\forall Y \in \mathrm{P} \Rightarrow Y \leq_L X</tex> (то есть любой язык из класса мы, как правило, подразумеваем <tex>\mathrm{P}</tex> -[[Сведение относительно класса функций. Сведение по Карпу. Трудные и полные задачи#Определения трудных и полных задач|сводитсяполноту]] к относительно <tex>X\widetilde{\mathrm{L}}</tex> с использованием -сведения.<texref>O(log(n))[[Классы L, NL, coNL. NL-полнота задачи о достижимости]]</texref> памяти).}}