The P = NP problem can be restated in terms of expressible certain classes of logical statements, as a result of work in descriptive complexity.
Problema P = NP poate fi reformulată în termenii anumitor clase de afirmații logice, ca un rezultat al activității din domeniul complexității descriptive⁠(d).