The P = NP problem can be restated in terms of expressible certain classes of logical statements, as a result of work in descriptive complexity.
Το πρόβλημα P = NP μπορεί να αναπροσαρμοστεί από την άποψη ότι μπορεί να εκφραστεί ως ορισμένες κατηγορίες λογικών δηλώσεων, ως αποτέλεσμα των εργασιών στην περιγραφική πολυπλοκότητα.