Изменения

|definition=<tex>\mathrm{A} \in \mathrm{PCP} </tex>-complete <tex>\Leftrightarrow \mathrm{A} \in \mathrm{P}</tex> и <tex>\forall \mathrm{B} \in \mathrm{P} </tex> верно, что <tex>\mathrm{B} \leq_{\widetilde{L}} \mathrm{A}</tex>.